Development of cyber-physical systems using a model-based approach
Supervisor : Gabriel Wainer
Team size: Minimum 2, Maximum 7
| CSE | SE | Comm | Biomed | EE | Aero | Special |
|---|---|---|---|---|---|---|
| Yes | Yes | Yes | Yes | No | No | No |
Description
Cyber-physical systems are built as sets of components interacting with their environment. In most cases (including robotics, traffic control, manufacturing and industrial applications, etc.), these applications must satisfy "hard" timing constraints. If these constraints are not met, systems decisions (even correctly computed) can lead to catastrophic consequences for goods or lives. The development of cyber-physical controllers in distributed environments has been proven a very complex task, in terms of both development difficulties and related costs. We have provided a new systematic method and associated automated tools to develop hard cyber-physical control applications reducing both development costs and delivery time. We use a simulation-based methodology for development, incrementally replacing simulated components by their real counterparts interacting with the surrounding environment. The students will follow a methodology for developing cyber-physical embedded application. A target application will be identified (to be discussed with the candidate according to his/her background and interests), and a complete application will be developed from scratch using our techniques and tools (which include advanced visualization tools, a development environment, and specialized hardware).