poster - PaRISTIC

Développement de composants sûrs de fonctionnement
Élaboration d'un patron de conception permettant
l'expression des exigences de sûreté de
fonctionnement (SdF) et leur traçabilité tout au long
du développement du composant
Absence d'exigences de SdF dans les
technologies à base de composants
Processus de certification actuel
inadapté aux nouvelles approches par
composants
Systèmes
Modèles
Semi-formel
Tests
critiques
UML
formel
Preuves
UN PARTENARIAT
Validation
Exigences sûreté
Spécification
Modélisations
Tests
Conceptions pour le test
UNE DÉMARCHE
Spécification abstraite
UML + OCL
Abstraction
B
Transformation de modèles
semi-formels en modèles formels
(UML + B)
Modèle de tests
abstrait
Transformations UML
(Processus MDE)
Spécification
concrète
Raffinement
B
Génération
automatique
de code
UML + OCL
Modèle de composants
UML
(contrats + tests)
Traçabilité des
exigences
Modèle de tests
concret
Composant Java
+ contrats
+ tests
(Fractal/Java)
UNE ÉTUDE DE CAS FERROVIAIRE
SAFECODE
TUCS