The Taub Faculty of Computer Science Events and Talks

Cyber-Physical Systems (CPS) are embedded systems in which computational and physical systems are heavily interconnected for performing critical applications including avionics, automotive electronics, manufacturing systems, power networks, medical devices and transportation systems. The high-profile and critical nature of CPShas fostered a large and growing body of works on formal methods for supporting model-based system design in the systems development life cycle. The physical environment, the embedded software and the hardware architecture in CPS are represented by various classes of models with their concurrent semantics realized by arich set of models of computation. Providing a mathematical framework, system design tools, to understand, compose and orchestrate models would prove invaluable to system architects. In this talk, we will present our recent works in collaboration with TEA(Tim, Events and Architectures) research team at Inria.