12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) Components and Contracts for Embedded Software Greenbelt, Maryland April 04-April 07 ISBN: 0-7695-2308-0
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.27
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.
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 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||