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.