Model checking flight control systems: The Airbus experience

13 years 2 months ago

Download homepages.laas.fr

This 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.

Thomas Bochot, Pierre Virelizier, Hél&egrav

Real-time Traffic

Design Level | Formal Verification | ICSE 2009 | Safety Critical System | Software Engineering |

claim paper

» Randomized Differential Testing as a Prelude to Formal Verification

» Model Checking Safety Properties of ServoLoop Control Systems

» Modeling and Validation of a Software Architecture for the Ariane5 Launcher

» Geometric Algorithms for Optimal Airspace Design and Air Traffic Controller Workload Balan...

» Control of a Quadrotor Helicopter using Visual Feedback

» Statistical Model Checking of BlackBox Probabilistic Systems

» Anticipative Control of Voluntary Action Towards a Computational Model

» Software certification coding code and coders

Post Info
More Details (n/a)

Added	19 Feb 2011
Updated	19 Feb 2011
Type	Journal
Year	2009
Where	ICSE
Authors	Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels

Comments (0)

Sciweavers

Model checking flight control systems: The Airbus experience

Design Level | Formal Verification | ICSE 2009 | Safety Critical System | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers