5.1.2 Designing Embedded Systems using Heterogeneous Rich Components1
Bernhard Josko, Qin Ma, Alexander Metzner · INCOSE International Symposium · 2008
Abstract This paper aims at boosting the level of re‐use in embedded system design. A key concept to achieve this goal is given by an appropriate heterogeneous rich component model – called HRC – which is (1) expressive enough to cover the complete development cycle from high‐level specifications to design models and which (2) addresses both functional and non‐functional aspects. HRC components are characterized by formal contracts allowing various analysis techniques to validate a design already in early design stages. The described approach has been developed jointly with the partners of the SPEEDS project.