Abstract
One of the key desiderata in component-based development for embedded systems is the ability to capture functional and extra-functional properties in component interfaces, and to verify and predict corresponding system properties. For real-time systems, this is perceived to be particularly important for properties such as timing and quality-of-service.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bouyssounouse, B., Sifakis, J. (2005). Components and Contracts. In: Embedded Systems Design. Lecture Notes in Computer Science, vol 3436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-31973-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-31973-3_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25107-1
Online ISBN: 978-3-540-31973-3
eBook Packages: Computer ScienceComputer Science (R0)