Choose an application

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

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

Choose an application

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

Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial – on Formalization in Safety Cases – held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium’s sessions: Perspectives on Systems Safety, Managing Safety-Related Projects, Transport Safety, Safety Standards, Safety Competencies and Safety Methods. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Computer architecture. Operating systems --- Computer. Automation --- computers --- informatica --- computerbesturingssystemen --- software engineering --- computerbeveiliging

Choose an application

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

Advances in Systems Safety contains the papers presented at the nineteenth annual Safety-Critical Systems Symposium, held at Southampton, UK, in February 2011. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The 17 papers in this volume are presented under the headings of the Symposium's sessions: Safety Cases; Projects, Services and Systems of Systems; Systems Safety in Healthcare; Testing Safety-Critical Systems; Technological Matters and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

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

Choose an application

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

Making Systems Safer contains the papers presented at the eighteenth annual Safety-critical Systems Symposium, held at Bristol, UK, in February 2010. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial - on Formalization in Safety Cases - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: Perspectives on Systems Safety, Managing Safety-Related Projects, Transport Safety, Safety Standards, Safety Competencies and Safety Methods. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Computer architecture. Operating systems --- Computer. Automation --- computers --- informatica --- computerbesturingssystemen --- software engineering --- computerbeveiliging

Choose an application

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

Safety-Critical Systems: Problems, Process and Practice contains the papers presented at the seventeenth annual Safety-critical Systems Symposium, held at Brighton, UK, in February 2009. The Symposium is for engineers, managers and academics in the field of system safety, across all industry sectors, so the papers making up this volume offer a wide-ranging coverage of current safety topics, and a blend of academic research and industrial experience. They include both recent developments in the field and discussion of open issues that will shape future progress. The first paper reflects a tutorial - on Hazard Analysis - held on the first day of the Symposium. The subsequent 14 papers are presented under the headings of the Symposium's sessions: the Economics of Safety, Transport Safety, Safety in Society, New Challenges, Safety Assessment and Safety Standards. The book will be of interest to both academics and practitioners working in the safety-critical systems arena.

Automatic control -- Reliability. --- Automatic control --Reliability --Congresses. --- Industrial safety --Congresses. --- Industrial safety. --- Industrial safety --- Automatic control --- Computer Science --- Technology - General --- Engineering & Applied Sciences --- Reliability --- Computer science. --- Computer system failures. --- Software engineering. --- Computer security. --- Computer Science. --- Systems and Data Security. --- System Performance and Evaluation. --- Software Engineering. --- Computer system performance. --- Computer software engineering --- Engineering --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Data protection --- Security systems --- Hacking --- Protection --- Security measures --- Computer failures --- Computer malfunctions --- Failure of computer systems --- System failures (Engineering) --- Fault-tolerant computing --- Failures