| 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.
|
 Additional Information
|
Index Terms- component, embedded, contract, ESIM
Citation:
Shuyu Li, XiaoJiang Li, Jian Wu,
"Components and Contracts for Embedded Software,"
ecbs,
pp. 19-24,
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05),
2005
|
