An executable interface specification for industrial embedded system design.

J. Huang, J.P.M. Voeten, S. Wolfs, M. Coopmans

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

175 Downloads (Pure)


Nowadays, designers resort to abstraction techniques to conquer the complexity of industrial embedded systems during the design process. However, due to the large semantic gap between the abstractions and the implementation, the designers often fails to apply the abstraction techniques. In this paper, an EIS-based (executable interface specification) approach is proposed for the embedded system design.The proposed approach starts with using interface state diagrams to specify system architectures. A set of rules is introduced to transfer these diagrams into an executable model (EIS model) consistently. By making use of simulation/verification techniques, many architectural design errors can be detected in the EIS model at an early design stage. In the end, the EIS model can be systematically transferred into an interpreted implementation or a compiled implementation based on the constraints of the embedded platform. In this way, the inconsistencies between the high-level abstractions and the implementation can largely be reduced.
Original languageEnglish
Title of host publicationThe Eighth International Conference on Quality Software, 2008 : QSIC '08 ; 12 - 13 Aug. 2008, Oxford, UK ; proceedings ; [in conjunction with] the Third International Workshop on Integration of Software Engineering and Agent Technologies (ISEAT 2008)
Place of PublicationPiscataway
PublisherInstitute of Electrical and Electronics Engineers
ISBN (Print)978-0-7695-3312-4
Publication statusPublished - 2008


Dive into the research topics of 'An executable interface specification for industrial embedded system design.'. Together they form a unique fingerprint.

Cite this