-
Dependability Evaluation of an Air Traffic Control Computing System
International audience -
Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus
International audience -
Combination of Safety and Security Analysis - Finding Security Problems That ...
International audience -
Unified Functional Safety Assessment of Industrial Automation Systems
The IEC 61499 standard allows a model-based esign approach to build complex industrial automation systems. However, the existing design ow does not adequately address... -
Formal Fault Tree Analysis: Practical Experiences
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This...
