A tool for component based design of embedded software

Authors:
David Urting;Yolande Berbers;Stefan Van Baelen;Tom Holvoet;Yves Vandewoude;Peter Rigole
Affiliations:
Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium;Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium;Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium;Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium;Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium;Catholic University of Leuven, Celestijnenlaan 200A, B-3001 Leuven, Belgium
Venue:
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Year:
2002

Citing 8
Cited 6

Real-time object-oriented modeling

Real-time object-oriented modeling
Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Making Components Contract Aware

Computer
Efficient Run-Time Monitoring of Timing Constraints

RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Specifying and Measuring Quality of Service in Distributed Object Systems

ISORC '98 Proceedings of the The 1st IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Formal Specification of Real-time Systems

Formal Specification of Real-time Systems
The design of the TAO real-time object request broker

Computer Communications

A Contract-Based Component Model for Embedded Systems

QSIC '04 Proceedings of the Quality Software, Fourth International Conference
BOTS: a constraint-based component system for synthesizing scalable software systems

Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems
CARAT: a toolkit for design and performance analysis of component-based embedded systems

Proceedings of the conference on Design, automation and test in Europe
Supporting Run-Time Evolution In Seescoa

Journal of Integrated Design & Process Science
Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates

IEEE Transactions on Software Engineering
COCONES: an approach for components and contracts in embedded systems

Component-Based Software Development for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper a new approach for building embedded applications is presented. The approach is based on the composition of reusable components with the addition of a contract principle for modelling non-functional constraints. Non-functional constraints are an important aspect of embedded systems, and this is why they are modelled separately. As such, the component view presented here differs from traditional component based views, where focus is laid on the functional part. The ideas discussed in the paper have been implemented in a tool. This tool enables the construction of embedded software by means of components and contracts. Currently, runtime mechanisms - that enable runtime monitoring of the contracts - are being included.