CoConES: An Approach for Components and Contracts in Embedded Systems
Author(s) -
Yolande Berbers,
Peter Rigole,
Yves Vandewoude,
Stefan Van Baelen
Publication year - 2005
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
ISBN - 3-540-30644-7
DOI - 10.1007/11591962_11
Subject(s) - computer science , component (thermodynamics) , middleware (distributed applications) , component based software engineering , layer (electronics) , software development , software , software engineering , embedded software , software architecture , embedded system , distributed computing , operating system , chemistry , physics , organic chemistry , thermodynamics
This chapter presents CoCoNES (Components and Contracts for Embedded 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 nonfunctional constraints. Non-functional constraints are an important aspect of embedded 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.status: publishe
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom