|
|
|
 |
Détail de la publication |
|
| |
|
Catégorie
|
: |
SIA/Articles techniques
|
| Titre | : | Integration of formal fault analysis in ASSERT: Case studies and lessons learnt |
| Date | : | 29/01/2008 |
| Auteur | : | JP.Blanquart - Astrium Satellites Toulouse
F.Tardy - Dassault Aviation
J.Lucotte - INSA Lyon
P.Bieber , G.Durrieu - ONERA Toulouse |
| Langue | : | English |
| Format | : | Fichier PDF 0,52 Mo
( livraison exclusivement par télechargement )
|
| Nbre de pages | : | 9 |
| Code | : | R-2008-01-2B04 |
|
|
|
The ASSERT European Integrated Project (Automated proof-based System and Software Engineering for Real-Time systems; EC FP6, IST- 004033) has investigated, elaborated and experimented advanced methods based on the AltaRica language and support tool OCAS for architecture and fault approach propagation description analysis, and integrated in the complete ASSERT process.
The paper describes lessons learnt from three case studies: safety critical spacecraft, autonomous deep exploration spacecraft, and civil aircraft.
|
|
