COCONES: an approach for components and contracts in embedded systems

Authors:
Yolande Berbers;Peter Rigole;Yves Vandewoude;Stefan Van Baelen
Affiliations:
DistriNet, Department of Computer Science, KULeuven, Heverlee;DistriNet, Department of Computer Science, KULeuven, Heverlee;DistriNet, Department of Computer Science, KULeuven, Heverlee;DistriNet, Department of Computer Science, KULeuven, Heverlee
Venue:
Component-Based Software Development for Embedded Systems
Year:
2005

Citing 12
Cited 1

Real-time object-oriented modeling

Real-time object-oriented modeling
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects

IEEE Transactions on Software Engineering
Component Software: Beyond Object-Oriented Programming

Component Software: Beyond Object-Oriented Programming
Building Reliable Component-Based Software Systems

Building Reliable Component-Based Software Systems
A tool for component based design of embedded software

CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Components for embedded software: the PECOS approach

CASES '02 Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems
Making Components Contract Aware

Computer
VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems

EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
A Component Model for Field Devices

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Bluetooth Enabled Interaction in a Distributed Camera Surveillance System

HICSS '04 Proceedings of the Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS'04) - Track 9 - Volume 9
Modeling of sensor nets in Ptolemy II

Proceedings of the 3rd international symposium on Information processing in sensor networks

Composing domain-specific physical models with general-purpose software modules in embedded control software

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 non-functional 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.