Construction and analysis of transition systems with MEC
Construction and analysis of transition systems with MEC
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
The AltaRica formalism for describing concurrent systems
Fundamenta Informaticae - Special issue prepared in tribute to Peter Ernst on the occasion of his retirement
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Designing safe, reliable systems using scade
ISoLA'04 Proceedings of the First international conference on Leveraging Applications of Formal Methods
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Model-based safety analysis of simulink models using SCADE design verifier
SAFECOMP'05 Proceedings of the 24th international conference on Computer Safety, Reliability, and Security
Safety demonstration and software development
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.00 |
Safety assessment of complex systems traditionally requires the combination ofv arious results derived from various models. The Altarica language was designed to formally specify the behaviour of systems when faults occurs. A unique Altarica model can be assessed by means of complementary tools such as fault tree generator and model-checker. This paper reports how the Altarica language was used to model a system in the style oft he hydraulic system oft he Airbus A320 aircraft family. It presents how fault tree generation and model-checking can be used separately then combined to assess safety requirements.