Model Base Design and Test
Model Based Design and Testing of Cyber Physical Systems
Cyber-physical systems (SFS) are systems in which a physical mechanism is controlled or monitored by computer-based algorithms. In cyber-physical systems, physical and software components are deeply intertwined, can work at different spatial and temporal scales, exhibit multiple and different behavioral modalities, and interact with each other in context-varying ways. Examples of SFS include smart grid, autonomous car systems, medical monitoring, industrial control systems, robotic systems and autopilot avionics projects.