DocumentCode
2842402
Title
Components and contracts for embedded software
Author
Li, Shuyu ; Li, Xiaojiang ; Wu, Jian
Author_Institution
Northwestern Polytech. Univ., Xi´´an, China
fYear
2005
fDate
4-7 April 2005
Firstpage
19
Lastpage
24
Abstract
Component-based development is a key technology in the development of software for modern embedded systems. However, components can be difficult to deploy in embedded systems because of unclear description. This paper presents an approach to building software for embedded systems, based on the use of component in combination with contracts. The contracts specify both the functional properties and QoS properties of the different components in the system. By capturing all relevant information explicitly in the contracts, we can raise the level of abstraction for the designer and facilitate system development.
Keywords
embedded systems; formal specification; object-oriented programming; quality of service; QoS properties; component-based development; contracts; embedded systems; Buildings; Contracts; Costs; Embedded computing; Embedded software; Embedded system; Real time systems; Software engineering; Software systems; System testing; ESIM; component; contract; embedded;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems, 2005. ECBS '05. 12th IEEE International Conference and Workshops on the
Print_ISBN
0-7695-2308-0
Type
conf
DOI
10.1109/ECBS.2005.27
Filename
1409897
Link To Document