On the Systematic Conformance Check of Software Artefacts

In this paper we present a systematic check of the conformance of the implemented and the intended software architecture. Nowadays industry is confronted with rapidly evolving embedded systems. In order to effectively reuse design artefacts such as requirements, architectural views and analysis, as well as the code base, it is important to have a consistent overview in each phase of the development process. In this paper we propose a conformance check framework that combines a colloquial engineering model and a conformance check system based on commodity technology, albeit the model and the system can be used in their own right. An academic experiment exemplifies the application of our framework.