poster - PaRISTIC

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