Titel
Accueil
Navigation principale
Contenu
Recherche
Aide
Fonte
Standard
Gras
Identifiant
Interrompre la session?
Une session sous le nom de
InternetUser
est en cours.
Souhaitez-vous vraiment vous déconnecter?
Interrompre la session?
Une session sous le nom de
InternetUser
est en cours.
Souhaitez-vous vraiment vous déconnecter?
Accueil
Plus de données
Partenaires
Aide
Mentions légales
D
F
E
La recherche est en cours.
Interrompre la recherche
Recherche de projets
Projet actuel
Projets récents
Graphiques
Identifiant
Titel
Titel
Unité de recherche
PCRD EU
Numéro de projet
00.0170
Titre du projet
PECOS: Pervasive component systems
Titre du projet anglais
PECOS: Pervasive component systems
Données de base
Textes
Participants
Titel
Textes relatifs à ce projet
Allemand
Français
Italien
Anglais
Mots-clé
-
-
-
Autre Numéro de projet
-
-
-
Programme de recherche
-
-
-
Description succincte
-
-
-
Partenaires et organisations internationales
-
-
-
Résumé des résultats (Abstract)
-
-
-
Références bases de données
-
-
-
Textes saisis
Catégorie
Texte
Mots-clé
(Anglais)
Components; embedded systems
Autre Numéro de projet
(Anglais)
EU project number: IST-1999-20398
Programme de recherche
(Anglais)
EU-programme: 5. Frame Research Programme - 1.2.4 Essential technologies and infrastructures
Description succincte
(Anglais)
See abstract
Partenaires et organisations internationales
(Anglais)
OTI, Amsterdam (NL), FZI, Karlsruhe (D), ABB, Heidelberg (D), University of Berne (CH)
Résumé des résultats (Abstract)
(Anglais)
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.
Références bases de données
(Anglais)
Swiss Database: Euro-DB of the
State Secretariat for Education and Research
Hallwylstrasse 4
CH-3003 Berne, Switzerland
Tel. +41 31 322 74 82
Swiss Project-Number: 00.0170
SEFRI
- Einsteinstrasse 2 - 3003 Berne -
Mentions légales