Embedded software development: Components and contracts
David Urting, Stefan Van Baelen, Tom Holvoet, Yolande Berbers · 2001
This paper presents a new approach to building software for embedded systems, based on the use of components in combination with contracts. The contracts specify the non-functional (resource) requirements of the different components in the system. This is especially important in embedded systems, since these systems are resource-constrained. Our approach includes tool support for building embedded software and runtime support using a component system. The tool enables the construction of applications by connecting components and associating contracts to them. The runtime component system is responsible for contract management.