loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 The Eighth International Conference on Quality Software
An Executable Interface Specification for Industrial Embedded System Design
August 12-August 13
ISBN: 978-0-7695-3312-4
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.
Citation:
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Coopmans, "An Executable Interface Specification for Industrial Embedded System Design," qsic, pp.37-44, 2008 The Eighth International Conference on Quality Software, 2008
Usage of this product signifies your acceptance of the Terms of Use.