Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Computer architecture. Operating systems --- informatica --- computerbesturingssystemen --- software engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Safety of Systems contains the invited papers presented at the fifteenth annual Safety-critical Systems Symposium, held at Bristol, UK in February 2007. The papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial experience and recent developments, and are presented under the headings: Interdependence of Safety and Security, Demonstrating Safety, Safety Management, Trends in Safety Case Development, Lessons in Safety Assessment, and High Integrity from Specification to Code.

Industrial safety --- Automatic control --- Computer software --- Management --- Reliability --- Industrial accidents --- Industries --- Job safety --- Occupational hazards, Prevention of --- Occupational health and safety --- Occupational safety and health --- Prevention of industrial accidents --- Prevention of occupational hazards --- Safety, Industrial --- Safety engineering --- Safety measures --- Safety of workers --- Accidents --- System safety --- Prevention --- Information Technology --- Software Engineering --- Software engineering. --- Computer system performance. --- Software Engineering. --- System Performance and Evaluation. --- Computer software engineering --- Engineering --- Computer system failures. --- Computer failures --- Computer malfunctions --- Computer systems --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures --- Safety critical systems