CoConES: An Approach for Components and Contracts in Embedded Systems

Abstract. This chapter presents COCONES (Components and Contracts for Em-bedded Software), a methodology for the development of embedded software, supported by a tool chain. The methodology is based on the composition of reusable components with the addition of a contract principle for modeling non-functional constraints. Non-functional constraints are an important aspect of em-bedded systems, and need to be modeled explicitly. The tool chain contains CCOM, a tool used for the design phase of software development, coupled with DRACO, a middleware layer that supports the component-based architecture at run-time.