Life-critical system - Wikipedia, the free encyclopedia
A life-critical system or safety-critical system is a system whose failure or malfunction may result in: • death or serious injury to people, or • loss or severe damage to equipment or • environme...
en.wikipedia.org/wiki/Life-critical_system
|
|
2. WHAT ARE SAFETY-CRITICAL SYSTEMS? There are plenty of definitions of the term safety-critical system but the intuitive notion actually works quite well. The concern both intuitively and formally is with the consequences of failure.
|
www.cs.virginia.edu/~jck/publications/knight.state.of.t...
www.cs.virginia.edu/~jck/publications/knight.state.of.the.art.summary.pdf
|
|
|
|
Other code was specifically authored for deployment in safety-critical systems. One of the questions asked by this experimental research is whether the restrictions imposed by the source code analysis system are compatible with the requirements of typical safety-critical software.
|
www.embeddedtechmag.com/content/view/32/121/
|
|
|
safety-critical system A computer, electronic or electromechanical system whose failure may cause injury or death to human beings. E.g. an aircraft or nuclear power station control system. Common tools used in the design of safety-critical systems are redundancy and formal methods.
|
dictionary.die.net/safety-critical%20system
dictionary.die.net/safety-critical%20system
|
|
|
Safety-critical systems are found in almost every sector of industry. Faults in these systems will result in a breach of safe operating conditions and exposure to the possible risk of major loss of life or catastrophic damage to plant, equipment or the environment.
|
www.elsevier.com/wps/product/cws_home/676777
|
|
|
Safety-Critical Applications ... Do computers introduce new kinds of problems unlike those encountered in traditional control systems? What techniques exist now for creating safe and reliable computer-controlled systems, and could they be improved?
|
staff.washington.edu/jon/pubs/safety-critical.html
staff.washington.edu/jon/pubs/safety-critical.html
|
|
DTI/EPSRC Research and Development Programme in Safety Critical Systems (1991-1998). ... Results and Achievements from the DTI/EPSRC R&D Programme in Safety Critical Systems...
|
www.comp.lancs.ac.uk/computing/resources/scs/
|
|
This book is an introduction to the field of safety-critical computer systems written for any engineer who uses microcomputers within real-time embedded systems. It assumes no prior knowledge of safety, or of any specific computer hardware or programming language.
|
www.eng.warwick.ac.uk/~neil/safebook.htm
|
|
• Critical safety systems have the potential for disasters ... • Software used as a safety device, instead of hardware ... • Critical software systems must be programmed defensively...
|
www.chc-3.com/cs511/fall1999/safety_talk.htm
www.chc-3.com/cs511/fall1999/safety_talk.htm
|
|
