Add to ORKGThis paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification at design level. 1
Formal methods offer well-defined means for mathematical verification of the functional specificatio...
Communicated by Editor’s name Though model checking itself is a fully automated process, verifying c...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Aviation, both on-board systems and the National Airspace System, can be transformed by many current...
Abstract. Model checking is an important method to verify state machine based system. In this paper,...
Airbus is pursuing innovation in its way of designing systems, by both incorporating state-of-the-ar...
International audienceThis paper presents a parametric model-based monitoring technique for ...
As modern systems continue to increase in size and complex-ity, they pose increasingly significant s...
A feasibility study was performed on a representative aerospace system to determine the following: (...
When designing and developing systems in safety critical or cost intensive environments it is import...
Verification of safety critical digital instrumentation and control (I&C) systems is challenging...
International audienceThe introduction of new technologies to build ‘More Electric Aircraft’ induces...
Model validation is an important but often neglected aspect of the engineering design process. In t...
This paper presents a high-fidelity generic twin engine civil aircraft model developed by Airbus for...
International audienceThe paper presents several examples on model and signal based fault ...
Formal methods offer well-defined means for mathematical verification of the functional specificatio...
Communicated by Editor’s name Though model checking itself is a fully automated process, verifying c...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...
Aviation, both on-board systems and the National Airspace System, can be transformed by many current...
Abstract. Model checking is an important method to verify state machine based system. In this paper,...
Airbus is pursuing innovation in its way of designing systems, by both incorporating state-of-the-ar...
International audienceThis paper presents a parametric model-based monitoring technique for ...
As modern systems continue to increase in size and complex-ity, they pose increasingly significant s...
A feasibility study was performed on a representative aerospace system to determine the following: (...
When designing and developing systems in safety critical or cost intensive environments it is import...
Verification of safety critical digital instrumentation and control (I&C) systems is challenging...
International audienceThe introduction of new technologies to build ‘More Electric Aircraft’ induces...
Model validation is an important but often neglected aspect of the engineering design process. In t...
This paper presents a high-fidelity generic twin engine civil aircraft model developed by Airbus for...
International audienceThe paper presents several examples on model and signal based fault ...
Formal methods offer well-defined means for mathematical verification of the functional specificatio...
Communicated by Editor’s name Though model checking itself is a fully automated process, verifying c...
Instrumentation and control (I&C) systems play a vital role in the operation of safety critical ...