DeVa: Design for validation

• Unité de recherche: PCRD EU
• Numéro de projet: 95.0526
• Titre du projet anglais: DeVa: Design for validation

Mots-clé (Anglais)

Formal specification; object-orientation; test

Autre Numéro de projet (Anglais)

EU project number: EP 20.072

Programme de recherche (Anglais)

EU-programme: 4. Frame Research Programme - 1.3 Telematic systems

Description succincte (Français)

Veuillez consulter l'abstract

Partenaires et organisations internationales (Français)

Coordinator: University of Newcastle upon Tyne (UK)

Résumé des résultats (Abstract) (Français)

Le projet DeVa a pour objectif d'apporter une contribution majeure aux problèmes de validation de systèmes informatiques critiques. DeVa se focalise sur les problèmes de validation principalement par rapport aux critères de sûreté de fonctionnement et se concentre sur les questions liées à la structuration des logiciels par l'approche de l'orientation objet.

La contribution de l'EPFL est principalement centrée sur les aspects liés à l'usage de méthodes formelles structurées par l'approche objet dans le contexte du développement et de la vérification de logiciel au moyen de techniques de tests.

Principaux résultats acquis durant le projet:
· Nous avons déterminé l'adéquation de notre formalisme (CO-OPN/2) pour le développement formel de systèmes critiques.
· Nous avons élaboré une méthodologie de test pour systèmes orientés objets ainsi qu'une théorie et des outils pour la sélection pratique des ces jeux de tests.
· Nous avons contribué de manière significative à la formalisation détaillée du mécanisme de conception de systèmes transactionnels supportant la tolérance aux fautes développés par nos partenaires.
· Le développement d'un exemple commun (Production Cell) entre les différents partenaires du projet a permis une comparaison fructueuse des différentes approches et a montré leur complémentarité.

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. [phone]
Swiss Project-Number: 95.0526