PECOS: Pervasive component systems

• Research unit: EU RFP
• Project number: 00.0170

Key words (English)

Components; embedded systems

Alternative project number (English)

EU project number: IST-1999-20398

Research programs (English)

EU-programme: 5. Frame Research Programme - 1.2.4 Essential technologies and infrastructures

Short description (English)

See abstract

Partners and International Organizations (English)

OTI, Amsterdam (NL), FZI, Karlsruhe (D), ABB, Heidelberg (D), University of Berne (CH)

Abstract (English)

PECOS enables component-based software development of embedded systems by providing an environment that supports the specification, composition, configuration checking, and deployment of embedded systems built from software components. While focusing on architectural issues, it touches upon the whole software development cycle and addresses the major technological deficiencies of state-of-art component technology with respect to embedded systems by developing:
· a data-driven Component Model for embedded systems that supports the verification of non-functional requirements (timing and memory consumption) and verification of schedules.
· an Integrated Development Environment (using IBM's Eclipse environment) for composing embedded applications from components, validating functional (e.g., interfaces) and non-functional compositional constraints (e.g. power-consumption, code size), and generating the application executable for the embedded device.
· a Runtime Environment to run, test, and profile component-based applications.
· a process description of a development process to apply the PECOS results in practice
· a handbook to be used by developers that want to apply the PECOS process and tools. It contains an overview of the model, the component description language (Coco), code generation and verification of compositions, as well as a detailed application of PECOS on a real-world application.

References in databases (English)

Swiss Database: Euro-DB of the
State Secretariat for Education and Research
Hallwylstrasse 4
CH-3003 Berne, Switzerland
Tel. [phone]
Swiss Project-Number: 00.0170