SPP 1040: Entwurf und Entwurfsmethodik eingebetteter Systeme

SPP 1040：嵌入式系统的设计和设计方法

• 批准号: 5468239
• 金额: --
• 依托单位: Fachbereich IV: Informatik
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 1997
• 资助国家: 德国
• 起止时间: 1996-12-31 至 2002-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/5468239?language=en
• 关键词: SPP; 1040; Entwurf; und; Entwurfsmethodik

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.

优先项目“嵌入式系统的设计和设计方法”已经确定，以寻找具有挑战性的复杂嵌入式系统设计的验证方法。新设计方法的研究及其在现实世界系统设计中的应用相结合是本优先方案的一个特殊目标。复杂嵌入式系统的设计是一项具有挑战性的任务，因为不同的设计目标：除了功能嵌入式系统必须符合时间，安全，成本或其他要求。优先计划中的项目涉及嵌入式系统设计周期中的不同问题，如规范，综合，验证，集成或兼容性。优先计划本身的任务是协调各项活动，以便为一类特殊的嵌入式系统（例如，汽车应用）。因此，建立了各种双边合作和内部讲习班。