Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach

Alexandre Arnold 1 Benoît Boyer 2 Axel Legay 3
2 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
3 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Ce document présente les résultats de la première année du projet Danse, un des premiers projets IP de recherche portant sur les systèmes de Systèmes (SoS en anglais). Concrètement, une chaîne d'outils a été développée de façon à spécifier à "haut niveau" puis à analyser formellement un SoS avec un ensemble prérequis, c'est à dire un ensemble de propriétés que le SoS doit valider. L'analyse du SoS repose sur l'utilisation d'outils efficaces de vérification formelle. À "haut niveau", le SoS est décrit en UPDML, le langage dédié à la modélisation des SoS que l'armée britannique à développé, alors que les prérequis du SoS sont spécifiés au moyen d'un langage de contrats décrivant les comportements attendus du systèmes. Cette spécification "haut niveau" est compilée en une représentation "bas-niveau" qui est simulée et analysée grâce à des outils émanant des récentes techniques de vérification statistique. L'approche a en particulier été appliquée sur un cas d'étude développé par EADS Innovation Works.
Type de document :
Rapport
[Research Report] 2013, pp.21
Liste complète des métadonnées


https://hal.inria.fr/hal-00778039
Contributeur : Benoît Boyer <>
Soumis le : vendredi 18 janvier 2013 - 15:40:52
Dernière modification le : vendredi 13 janvier 2017 - 14:16:58
Document(s) archivé(s) le : vendredi 19 avril 2013 - 04:03:46

Fichier

rreport.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00778039, version 1

Collections

Citation

Alexandre Arnold, Benoît Boyer, Axel Legay. Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach. [Research Report] 2013, pp.21. <hal-00778039>

Partager

Métriques

Consultations de
la notice

705

Téléchargements du document

407