4930 search results - page 6 / 986 » Testing a Safety-Critical Application |
FM
2005
Springer
15 years 3 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
IFIP13
2004
14 years 11 months ago
2004
: This paper describes a method aiming to support the design of interactive-safety critical systems. The method proposes an original integration of approaches usually considered se...
SCS
2001
14 years 11 months ago
2001
This paper describes the extension and evaluation of Hussey's pattern language for safety-critical user interface development [Hussey and Mahemoff, 1999]. The patterns were u...
INTERACT
2003
14 years 11 months ago
2003
: This paper describes the process of developing an interactive mobile system for use in a safety-critical domain. The system was developed to inquire into the extent of which coor...
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
The latest generation of the ERT560 Digital Radio Altimeter (DRA) developed for the Airbus A380 is the result of Thales’ 40 years experience. Over 40,000 radio-altimeters have b...