Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Iterative refinement of specification for component based embedded systems

: Shahbaz, Muzammil; Shashidhar, K.C.; Eschbach, Robert

Fulltext urn:nbn:de:0011-n-1765787 (605 KByte PDF)
MD5 Fingerprint: ec0d6ec95a47860b148fbb92ad5c52cb
Created on: 17.8.2011

Kaiserslautern, 2011, 10 pp.
IESE-Report, 030.11/E
Reportnr.: 030.11/E
Report, Electronic Publication
Fraunhofer IESE ()
component-based system; interoperability; reverse engineering; system validation

The current practice of component based engineering raises concerns in industry when the specification of proprietary components suffers from inaccuracy and incompleteness. The engineers face difficulties in producing quality systems since they lack knowledge on the interoperability of components. In order to address this issue, we present a novel framework for iterative refinement of specification for component based systems. The novelty is the use of a preliminary behavioral model as a source for triggering refinement iterations. Moreover, it exploits rigorous formal techniques to achieve high-level system validation as an integral part of the refinement procedure. The framework has been evaluated on an automotive system in which the embedded software control units were developed by third-party vendors. The final results produced an improved formal system specification that identified several behaviors that were previously unknown.