Components and contracts

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.