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.
展开▼