Title :
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
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;
Conference_Titel :
Advanced Intelligent Mechatronics (AIM), 2010 IEEE/ASME International Conference on
Conference_Location :
Montreal, ON
Print_ISBN :
978-1-4244-8031-9
DOI :
10.1109/AIM.2010.5695836