Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles

Résumé : Le projet TACOS (Trustworthy Assembling of Components: frOm requirements to Specifications) propose une approche par composants pour la spécification de systèmes sûrs, depuis l'expression des besoins jusqu'à une spécification formelle, en utilisant ou adaptant des langages et des outils existants. Le domaine d'application choisi est celui du transport. Les systèmes de ce domaine, à la fois distribués et embarqués, nécessitent l'expression de propriétés fonctionnelles et non fonctionnelles. Le projet vise à répondre aux questions suivantes : Comment prendre en compte des propriétés non-fonctionnelles dès les premières étapes du développement ? Comment exploiter la méthode d'analyse des besoins KAOS (Knowledge Acquisition in Automated Specification) ? Est-il possible d'utiliser la méthode formelle B avec des extensions et/ou en coopération avec d'autres formalismes tels de SysML, CSP ? Comment tenir compte des propriétés non-fonctionnelles dans les modèles à composants comme Fractal ? Comment vérifier la compatibilité entre composants dans les modèles d'interface ? Trois études de cas ont été menées pour le composant de localisation du véhicule CyCab et du convoi de véhicules (platooning).
Type de document :
Article dans une revue
Génie logiciel, C & S, 2010, pp.13-18
Liste complète des métadonnées

https://hal.inria.fr/inria-00565772
Contributeur : Jean-Pierre Jacquot <>
Soumis le : lundi 14 février 2011 - 14:52:24
Dernière modification le : jeudi 22 mars 2018 - 23:26:05

Identifiants

  • HAL Id : inria-00565772, version 1

Citation

Jean-Pierre Jacquot, Régine Laleau, Hassan Mountassir, Vincent Poirriez. Assemblage de composants digne de confiance : de l'expression des besoins aux spécifications formelles. Génie logiciel, C & S, 2010, pp.13-18. 〈inria-00565772〉

Partager

Métriques

Consultations de la notice

148