29 search results - page 1 / 6 » Model checking flight control systems: The Airbus experience |
ICSE
2009
IEEE-ACM
13 years 3 months ago
2009
IEEE-ACM
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 ...
ICRA
1993
IEEE
13 years 10 months ago
1993
IEEE
A control system architecture is described for an autonomous flying vehicle. The vehicle, equipped with fourteen sensors, uses a model helicopter as an airframe. The control syste...
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
DSN
2002
IEEE
13 years 11 months ago
2002
IEEE
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
FMOODS
2006
13 years 7 months ago
2006
We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...