Design Methodology of Embedded Systems

Description:

Topics include:

Even if you cannot see them – embedded systems are everywhere. Very often, the only time that we take notice of them is when they no longer function properly: All of a sudden, the expensive new car refuses to go any further. Doors in the shopping mall do not open or close anymore at closing time. The barrier in the parking garage remains closed. The smart phone cannot login to the network. Not only can certain bugs take away comfortable functions, incorrectly designed systems can be extremely dangerous and become very expensive. For example, there were certain incidents when rockets that had expensive satellites on board had to be blown up because they lost their intended trajectories and became a threat. One of the most cost-intensive mistakes throughout the history of embedded systems was the explosion of an “Ariane” rocket in 1996. The damage reached 370 Million US$ and was caused by an overflow of a register which on the other hand was the outcome of the fact that Ariane 5 accelerated quicker than the predecessor Ariane 4. Embedded Systems became so complex during the course of the last decades that methods of computer-assisted design have to be applied. This module deals with the building of models and the analysis of embedded systems, focusing on the design of a uniform model for event-driven real-time systems.

The course focuses mainly on:

• Model-based design of embedded systems
• Time and real-time systems
• Modelling of embedded systems: event models and graphs
• Intrinsic analysis of real-time systems
• Extrinsic analysis of real-time systems
• Complexity and approximation of the extrinsic analysis
• Optimization and Design Space Exploration