SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme

点击翻译按钮获取中文摘要

The priority programme "Design and Design Methodology of Embedded Systems" has been settled in order to search for verified methods for challenging complex embedded system designs. The combination of research for new design methodologies and their application in the design of real-world systems is a special goal within this priority programme. The design of complex embedded systems is a challenging task due to different design goals: Besides the functionality embedded systems have to comply with timing, safety, cost or other requirements.The projects within the priority programme work on quite different problems of the design cycle of an embedded system, like specification, synthesis, validation, integration or maintainance. The task of the priority programme itself is to coordinate the activities in order to provide quite complete design methodologies for a special class of embedded systems (e.g., automotive applications). Therefore a variety of bilateral collaborations as well as internal workshops has been established.