198 search results - page 11 / 40 » The Ethics of Safety-Critical Systems |
150
click to vote
SCS
2001
15 years 7 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...
190
click to vote
FMICS
2009
Springer
16 years 17 days 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...
150
click to vote
DFT
2000
IEEE
15 years 10 months ago
2000
IEEE
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...
187
click to vote
SIGCSE
2002
ACM
15 years 5 months ago
2002
ACM
In the Fall of 1999 the Center for Excellence in Undergraduate Teaching (CEUT) and the International Office at Virginia Tech provided a small grant to support the incorporation of...
181
click to vote
ICSE
2009
IEEE-ACM
15 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 ...