A data-centric approach to composing embedded, real-time software components

Authors:
Roel Wuyts;Stéphane Ducasse;Oscar Nierstrasz
Affiliations:
Software Composition Group, Institut für Informatik (IAM), Universität Bern, Neubrueckstrasse 10, Bern 3012, Switzerland;Software Composition Group, Institut für Informatik (IAM), Universität Bern, Neubrueckstrasse 10, Bern 3012, Switzerland;Software Composition Group, Institut für Informatik (IAM), Universität Bern, Neubrueckstrasse 10, Bern 3012, Switzerland
Venue:
Journal of Systems and Software - Special issue: Automated component-based software engineering
Year:
2005

Citing 12
Cited 2

Communicating sequential processes

Communicating sequential processes
On visual formalisms

Communications of the ACM
An incremental constraint solver

Communications of the ACM
A practical use of Jackson's preemptive schedule for solving the job shop problem

Annals of Operations Research
A practitioner's handbook for real-time analysis

A practitioner's handbook for real-time analysis
Real-time object-oriented modeling

Real-time object-oriented modeling
Executable formal models of distributed transaction systems based on event processing

Executable formal models of distributed transaction systems based on event processing
Enterprise JavaBeans

Enterprise JavaBeans
Acme: architectural description of component-based systems

Foundations of component-based systems
Petri Nets

ACM Computing Surveys (CSUR)
A Component Model for Field Devices

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
A formal approach to software architecture

A formal approach to software architecture

Composition and compositionality in a component model for autonomous robots

SC'10 Proceedings of the 9th international conference on Software composition
On the revival of dynamic languages

SC'05 Proceedings of the 4th international conference on Software Composition

Quantified Score

Hi-index	0.00

Visualization

Abstract

Software for embedded systems must cope with a variety of stringent constraints, such as real-time requirements, small memory footprints, and low power consumption. It is usually implemented using low-level programming languages, and as a result has not benefitted from component-based software development techniques. This paper describes a data-centric component model for embedded devices that (i) minimizes the number of concurrent tasks needed to implement the system, (ii) allows one to verify whether components meet their deadlines by applying rate monotonic analysis, and (iii) can generate and verify schedules using constraint logic programming. This model forms the foundation for a suite of tools for specifying, composing, verifying and deploying embedded software components developed in the context of the PECOS project.