Improving the quality of embedded systems through the systematic combination of construction and analysis activities
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.