An executable interface specification for industrial embedded system design
conference paper
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.
Topics
TNO Identifier
953996
ISSN
15506002
ISBN
9780769533
Publisher
IEEE
Article nr.
4601526
Source title
Proceedings - International Conference on Quality Software, 8th International Conference on Quality Software, QSIC 2008, 12 August 2008 through 13 August 2008
Pages
37-44
Files
To receive the publication files, please send an e-mail request to TNO Repository.