Title :
Towards a Component-Based Model Integration Approach for Embedded Computer Control System
Author :
Li, Fang ; Li, Di ; Wan, Jiafu ; Huang, Xin
Author_Institution :
Coll. of Mech. & Automobile Eng., South China Univ. of Technol., Guangzhou, China
Abstract :
A component-based model integration approach for the embedded computer control system (ECS) development is proposed in this paper. The three-layer architecture for modeling, verification as well as implementation is described. Model strategies such as multi-aspect & multi-view description method, DSML (domain specific modeling language) & FML(formal modeling language) description method as well as hierarchical component based modeling method are put forward. The focus of our approach is on creating an integrated embedded computer control system development environment for design, verification as well as implementation.
Keywords :
control engineering computing; embedded systems; formal verification; object-oriented programming; software reusability; specification languages; DSML; FML; component-based model integration approach; domain specific modeling language; embedded computer control system; formal modeling language; formal verification; multiaspect description method; multiview description method; software reusability; three-layer architecture; Computational modeling; Computer architecture; Control system synthesis; Domain specific languages; Embedded computing; Embedded software; Embedded system; Object oriented modeling; Real time systems; Unified modeling language;
Conference_Titel :
Computational Intelligence and Security, 2008. CIS '08. International Conference on
Conference_Location :
Suzhou
Print_ISBN :
978-0-7695-3508-1
DOI :
10.1109/CIS.2008.218
