Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People
Events

The Taub Faculty of Computer Science Events and Talks

TCE Guest Lecture: Model-based System Design for Cyber-Physical Systems
event speaker icon
T. John Koo (Emerging Technologies Institute The University of Hong Kong)
event date icon
Tuesday, 28.10.2014, 13:30
event location icon
EE Meyer Building 1061
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.