Title :
A Formal Model for Component-Based Embedded Software Development
Author :
Li, Changde ; Zhou, Xingshe ; Dong, Yunwei ; Yu, Zhiwen
Author_Institution :
Northwestern Polytech. Univ., Xi´´an
Abstract :
This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.
Keywords :
embedded systems; formal specification; object-oriented programming; program verification; software quality; QoS view; component-based embedded software development; formal composition model; formal specification model; formal verification model; functional view; refinement rule; synchronization view; syntactical view; Application software; Computer industry; Connectors; Contracts; Costs; Embedded software; Embedded system; Programming; Safety; Software quality; component; connector; contract; embedded software; non-functional properties;
Conference_Titel :
Embedded Software and Systems, 2009. ICESS '09. International Conference on
Conference_Location :
Zhejiang
Print_ISBN :
978-1-4244-4359-8
DOI :
10.1109/ICESS.2009.51
