29 search results - page 5 / 6 » Model checking flight control systems: The Airbus experience |
DAC
1997
ACM
14 years 2 months ago
1997
ACM
We present our experiences with the formal verification of an automotive chip used to control the safety features in a car. We used a BDD based model checker in our work. We descr...
EMSOFT
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
IJRR
2002
13 years 10 months ago
2002
We describe simple one-dimensional models of passive (no energy input, no control), generally dissipative, vertical hopping and oneball juggling. The central observation is that i...
JUCS
2010
13 years 5 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...