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

fYear

2009

fDate

25-27 May 2009

Firstpage

19

Lastpage

23

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Embedded Software and Systems, 2009. ICESS '09. International Conference on

Conference_Location

Zhejiang

Print_ISBN

978-1-4244-4359-8

Type

conf

DOI

10.1109/ICESS.2009.51

Filename

5066626