A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

A System-Theoretic Safety Engineering Approach for Software-Intensive Systems

Author: Asim Ali Ahmed Abdulkhaleq

Publisher: Cuvillier Verlag

Published: 2017-02-23

Total Pages: 221

ISBN-13: 3736984928

DOWNLOAD EBOOK

Software safety is a crucial aspect during the development of modern safety-critical systems. However, safety is a system level property, and therefore, must be considered at the system-level to ensure the whole system’s safety. In the software development process, formal verification and functional testing are complementary approaches which are used to verify the functional correctness of software; however, even perfectly reliable software could lead to an accident. The correctness of software cannot ensure the safe operation of safety-critical software systems. Therefore, developing safety-critical software requires a more systematic software and safety engineering process that enables the software and safety engineers to recognize the potential software risks. For this purpose, this dissertation introduces a comprehensive safety engineering approach based on STPA for Software-Intensive Systems, called STPA SwISs, which provides seamless STPA safety analysis and software safety verification activities to allow the software and safety engineers to work together during the software development for safety-critical systems and help them to recognize the associated software risks at the system level.


Hazard Analysis Techniques for System Safety

Hazard Analysis Techniques for System Safety

Author: Clifton A. Ericson, II

Publisher: John Wiley & Sons

Published: 2015-06-12

Total Pages: 643

ISBN-13: 1119101727

DOWNLOAD EBOOK

Explains in detail how to perform the most commonly used hazard analysis techniques with numerous examples of practical applications Includes new chapters on Concepts of Hazard Recognition, Environmental Hazard Analysis, Process Hazard Analysis, Test Hazard Analysis, and Job Hazard Analysis Updated text covers introduction, theory, and detailed description of many different hazard analysis techniques and explains in detail how to perform them as well as when and why to use each technique Describes the components of a hazard and how to recognize them during an analysis Contains detailed examples that apply the methodology to everyday problems


Roadside Design Guide

Roadside Design Guide

Author:

Publisher: Amer Assn of State Hwy

Published: 1996-01-01

Total Pages: 352

ISBN-13: 9781560510314

DOWNLOAD EBOOK

This document presents a synthesis of current information and operating practices related to roadside safety and is developed in metric units. The roadside is defined as that area beyond the traveled way (driving lanes) and the shoulder (if any) of the roadway itself. The focus of this guide is on safety treatments that minimize the likelihood of serious injuries when a driver runs off the road. This guide replaces the 1989 AASHTO "Roadside Design Guide."


Spacecraft Systems Engineering

Spacecraft Systems Engineering

Author: Peter Fortescue

Publisher: John Wiley & Sons

Published: 2011-08-24

Total Pages: 700

ISBN-13: 111997836X

DOWNLOAD EBOOK

This fourth edition of the bestselling Spacecraft Systems Engineering title provides the reader with comprehensive coverage of the design of spacecraft and the implementation of space missions, across a wide spectrum of space applications and space science. The text has been thoroughly revised and updated, with each chapter authored by a recognized expert in the field. Three chapters – Ground Segment, Product Assurance and Spacecraft System Engineering – have been rewritten, and the topic of Assembly, Integration and Verification has been introduced as a new chapter, filling a gap in previous editions. This edition addresses ‘front-end system-level issues’ such as environment, mission analysis and system engineering, but also progresses to a detailed examination of subsystem elements which represents the core of spacecraft design. This includes mechanical, electrical and thermal aspects, as well as propulsion and control. This quantitative treatment is supplemented by an emphasis on the interactions between elements, which deeply influences the process of spacecraft design. Adopted on courses worldwide, Spacecraft Systems Engineering is already widely respected by students, researchers and practising engineers in the space engineering sector. It provides a valuable resource for practitioners in a wide spectrum of disciplines, including system and subsystem engineers, spacecraft equipment designers, spacecraft operators, space scientists and those involved in related sectors such as space insurance. In summary, this is an outstanding resource for aerospace engineering students, and all those involved in the technical aspects of design and engineering in the space sector.


Safety and Reliability of Complex Engineered Systems

Safety and Reliability of Complex Engineered Systems

Author: Luca Podofillini

Publisher: CRC Press

Published: 2015-09-03

Total Pages: 4627

ISBN-13: 1315648415

DOWNLOAD EBOOK

Safety and Reliability of Complex Engineered Systems contains the Proceedings of the 25th European Safety and Reliability Conference, ESREL 2015, held 7-10 September 2015 in Zurich, Switzerland. Including 570 papers on theories and methods in the area of risk, safety and reliability, and their applications to a wide range of industrial, civil and social sectors, this book will be of interest to academics and professionals involved or interested in aspect of risk, safety and reliability in various engineering areas.


Highway Safety Manual

Highway Safety Manual

Author:

Publisher: AASHTO

Published: 2010

Total Pages: 886

ISBN-13: 1560514779

DOWNLOAD EBOOK

"The Highway Safety Manual (HSM) is a resource that provides safety knowledge and tools in a useful form to facilitate improved decision making based on safety performance. The focus of the HSM is to provide quantitative information for decision making. The HSM assembles currently available information and methodologies on measuring, estimating and evaluating roadways in terms of crash frequency (number of crashes per year) and crash severity (level of injuries due to crashes). The HSM presents tools and methodologies for consideration of 'safety' across the range of highway activities: planning, programming, project development, construction, operations, and maintenance. The purpose of this is to convey present knowledge regarding highway safety information for use by a broad array of transportation professionals"--p. xxiii, vol. 1.