Loading [MathJax]/extensions/MathZoom.js
Components and contracts for embedded software | IEEE Conference Publication | IEEE Xplore

Components and contracts for embedded software


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 sys...Show More

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.
Date of Conference: 04-07 April 2005
Date Added to IEEE Xplore: 18 April 2005
Print ISBN:0-7695-2308-0
Conference Location: Greenbelt, MD, USA

References

References is not available for this document.