A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA

A Comprehensive Safety Engineering Approach for Software-Intensive Systems Based on STPA

Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against it...

Full description

Bibliographic Details
Main Authors:	Abdulkhaleq, Asim (Author), Wagner, Stefan (Author), Leveson, Nancy G (Contributor)
Other Authors:	Massachusetts Institute of Technology. Department of Aeronautics and Astronautics (Contributor)
Format:	Article
Language:	English
Published:	Elsevier, 2017-04-18T19:50:27Z.
Subjects:	Article
Online Access:	Get fulltext

Similar Items

Modeling and Hazard Analysis Using Stpa
by: Ishimatsu, Takuto, et al.
Published: (2013)

Requirement Generation for Highly Integrated Aircraft Systems Through STPA: An Application
by: Scarinci, Andrea, et al.
Published: (2019)

Satellite System Safety Analysis Using STPA
by: Dunn, Nicholas Connor
Published: (2014)

WebSTAMP: a Web Application for STPA & STPA-Sec
by: Souza Fellipe G.R., et al.
Published: (2019-01-01)

Application of CAST and STPA to railroad safety in China
by: Dong, Airong, S.M. Massachusetts Institute of Technology
Published: (2013)

Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems
by: Stringfellow, Margaret V., et al.
Published: (2011)

Engineering for humans : a new extension to STPA
by: France, Megan Elizabeth
Published: (2017)

A novel real-time safety level calculation approach based on STPA
by: Zeleskidis Apostolos, et al.
Published: (2020-01-01)

Safety Assessment of the Reconfigurable Integrated Modular Avionics Based on STPA
by: Changxiao Zhao, et al.
Published: (2021-01-01)

Software Challenges in Achieving Space Safety
by: Leveson, Nancy G.
Published: (2010)

Fast Augmented STPA
by: Haugen Odd Ivar, et al.
Published: (2019-01-01)

Engineering a Safer World : Systems Thinking Applied to Safety
by: Leveson, Nancy G.
Published: (2016)

Data-flow-based adaption of the System-Theoretic Process Analysis for Security (STPA-Sec)
by: Jinghua Yu, et al.
Published: (2021-02-01)

STPA-Based Analysis of the Process Involved in Enforcing Road Safety in Austria
by: Marianne Kraut, et al.
Published: (2021-05-01)

The Need for New Paradigms in Safety Engineering
by: Leveson, Nancy G.
Published: (2010)

Integrating Systems Safety into Systems Engineering during Concept Development
by: Fleming, Cody H., et al.
Published: (2018)

A systems approach to risk management through leading safety indicators
by: Leveson, Nancy G
Published: (2017)

STPA-Inspired Safety Analysis of Driver-Vehicle Interaction in Cooperative Driving Automation
by: Stoltz-Sundnes, Max
Published: (2019)

Use of STAMP/STPA to Model Organizational Risk and Safety Management at Cruise and Ferry Companies
by: Williams Stuart
Published: (2019-01-01)

Using STPA and CAST to design for serviceability and diagnostics
by: Slominski, Hannah M.
Published: (2021)

Using STPA to inform developmental product testing
by: Montes, Daniel R. (Daniel Ramon)
Published: (2016)

Application of STPA to the integration of multiple control systems : a case study and new approach
by: Placke, Matthew Seth
Published: (2014)

Application of STPA-Sec for analyzing cybersecurity of autonomous mining systems
by: Sidhu, Amardeep Singh.
Published: (2019)

A system-theoretic, control-inspired view and approach to process safety
by: Leveson, Nancy G., et al.
Published: (2014)

A Novel Hazard Analysis and Risk Assessment Approach for Road Vehicle Functional Safety through Integrating STPA with FMEA
by: Lei Chen, et al.
Published: (2020-10-01)

Extending the human controller methodology in systems- Theoretic Process Analysis (STPA)
by: Thornberry. Cameron L. (Cameron Louis)
Published: (2014)

Modeling Process Leaks Offshore Using STAMP and STPA
by: Hoel, Filip
Published: (2012)

Modeling Blowouts During Drilling Using STAMP and STPA
by: Budde, Silje Frost
Published: (2012)

System Theoretic Safety Analysis of the Sewol-Ho Ferry Accident in South Korea
by: Leveson, Nancy, et al.
Published: (2018)

A Hazard Analysis Approach for the SOTIF in Intelligent Railway Driving Assistance Systems Using STPA and Complex Network
by: Shijie Zhang, et al.
Published: (2021-08-01)

Advancing a sociotechnical systems approach to workplace safety - developing the conceptual framework
by: Carayon, Pascale, et al.
Published: (2016)

Systems thinking for safety and security
by: Young, William Edward, et al.
Published: (2015)

Applying System Engineering to Pharmaceutical Safety
by: Couturier, Matthieu, et al.
Published: (2013)

Applying System Engineering to Pharmaceutical Safety
by: Nancy Leveson, et al.
Published: (2012-01-01)

An Automated Accident Causal Scenario Identification Method for Fully Automatic Operation System Based on STPA
by: Fei Yan, et al.
Published: (2021-01-01)

Application of hierarchy to STPA : a human factors study on vehicle automation
by: Cabosky, Rachel (Rachel Lynn)
Published: (2021)

The biophysical characterisation of the Enterobacterial nucleoid proteins H-NS and StpA
by: Ono, Shusuke
Published: (2005)

Operational Vulnerability Identification Procedure for Nuclear Facilities Using STAMP/STPA
by: Sang Hun Lee, et al.
Published: (2020-01-01)

Safety Analysis in Early Concept Development and Requirements Generation
by: Leveson, Nancy G
Published: (2020)

Incorporating safety risk in early system architecture trade studies
by: Dulac, Nicholas, et al.
Published: (2010)