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

Volume

1

fYear

2008

fDate

13-17 Dec. 2008

Firstpage

495

Lastpage

499

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computational Intelligence and Security, 2008. CIS '08. International Conference on

Conference_Location

Suzhou

Print_ISBN

978-0-7695-3508-1

Type

conf

DOI

10.1109/CIS.2008.218

Filename

4724700