Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Improving the quality of embedded systems through the systematic combination of construction and analysis activities

: Bunse, C.; Denger, C.

Klein, T.; Rumpe, Bernhard; Schätz, Bernhard ; TU Braunschweig, Institut für Software Systems Engineering:
Dagstuhl-Workshop Modellbasierte Entwicklung eingebetteter Systeme, MBEES 2005. Tagungsband
Braunschweig, 2005 (TU Braunschweig, Institut für Software Systems Engineering. Technischer Bericht TUBS-SSE-2005-01)
pp.85-96 : Ill., Lit.
Workshop on Model-Based Development of Embedded Systems (MBEES) <2005, Schloss Dagstuhl>
Conference Paper
Fraunhofer IESE ()
inspection; embedded system; quality; component-based development; MARMOT

The reliable attainment of quality requirements is still a weakness in model-based development projects, especially in the embedded systems domain. A major reason for this situation is the isolated use of construction and subsequent analysis activities. This paper describes a practical strategy for addressing this problem. The strategy relies on an effective combination of development and modelling guidelines as provided by the MARMOT method for component-based development of embedded and real-time systems and rigorous quality checks of the resulting models by means of the architecture-centric inspection (ACI) approach. This paper describes a strategy for combining analytic and constructive techniques in component-based development via an initial defect classifications for UML design documents. The effects of such a combination are on the one hand high quality component implementations, and on the other hand a significantly increased confidence that the desired quality levels are attained.