cyber-physical systems

Cross-Layer Security of Embedded and Cyber-Physical Systems

Prof. Mohammad Alfaruque, University of California, Irvine, USA.

-

B2 5220

Abstract Cyber-physical systems (CPS) are engineered systems that are built from, and depend upon, the seamless integration of computation and physical components . Embedded systems comprising of hardware and software systems are the major enabling technology for these cyber-physical systems. Today, CPSs can be found in security-sensitive areas such as aerospace, automotive, energy, healthcare, manufacturing transportation, entertainment, and consumer appliances. Compared to the traditional information processing systems, due to the tight interactions between cyber and physical components

Model-based Design of Cyber-physical Systems with Learning Components

Prof. Panagiotis Katsaros, Aristotle University of Thessaloniki

-

B2 5220

Abstract Cyber-physical system design involves heterogeneous components for sensing, control, actuation, networking and relies on models for the system’s physical dynamics, and all interactions with its environment. Since safety and security are critical, model-based engineering methods are often used to increase the confidence and guide the validation testing of the system under design. An abundant of results from modern system theory (discrete, continuous and hybrid) provides the foundations for modeling, simulation, testing and formal verification. Mature tools and languages offer advanced