53 search results - page 3 / 11 » User-Centered Methods Are Insufficient for Safety Critical S... |
SCS
2003
13 years 8 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
FMICS
2009
Springer
14 years 2 months ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
FM
2005
Springer
14 years 1 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...
SCS
2001
13 years 8 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...
DFG
2004
Springer
14 years 27 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...