An executable interface specification for industrial embedded system design.

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

101 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.
Originele taal-2Engels
TitelThe 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)
Plaats van productiePiscataway
UitgeverijInstitute of Electrical and Electronics Engineers
ISBN van geprinte versie978-0-7695-3312-4
StatusGepubliceerd - 2008

Vingerafdruk Duik in de onderzoeksthema's van 'An executable interface specification for industrial embedded system design.'. Samen vormen ze een unieke vingerafdruk.

Citeer dit