A formal framework for component-based embedded systems

Author

Tu, Yuqing ; Li, Di ; Li, Fang ; Zheng, Shixiong

Author_Institution

Coll. of Mech. & Automobile Eng., South China Univ. of Technol., Guangzhou, China

fYear

2010

fDate

6-9 July 2010

Firstpage

414

Lastpage

419

Abstract

In this paper, a formal framework for component-based embedded systems is presented. Resorting to such a framework, the soundness, congruence and completeness of system structures and behaviors can be derived. The framework involves various MoCs reflecting interacting rules and operational semantics for system behaviors and a formal language specifying definitions, axioms, transition rules or equations/inequations for MoCs as a meta model. The formal language is composed of extended process algebra (EPA) and ordinary differential equation (ODE), both concerning about discrete time and continuous time behaviors.

Keywords

differential algebraic equations; embedded systems; formal languages; formal specification; meta data; programming language semantics; MoC; axioms; component based embedded systems; continuous time; discrete time; extended process algebra; formal language specification; meta model; models of computation; operational semantics; ordinary differential equation; transition rules; Algebra; Computational modeling; Embedded systems; Formal languages; Mathematical model; Semantics;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Intelligent Mechatronics (AIM), 2010 IEEE/ASME International Conference on

Conference_Location

Montreal, ON

Print_ISBN

978-1-4244-8031-9

Type

conf

DOI

10.1109/AIM.2010.5695836

Filename

5695836