DeVa: Design for validation

• Research unit: EU RFP
• Project number: 95.0526

Key words (English)

Formal specification; object-orientation; test

Alternative project number (English)

EU project number: EP 20.072

Research programs (English)

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

Short description (French)

Veuillez consulter l'abstract

Partners and International Organizations (French)

Coordinator: University of Newcastle upon Tyne (UK)

Abstract (French)

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é.

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: 95.0526