SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

System safety assessment based on STPA and model checking · Study

ArticleShelves

ArticleSystem safety assessment based on STPA and model checking

Alheri Longji Dakwat2018

Article2018

System safety assessment based on STPA and model checking

Alheri Longji Dakwat · Emília Villani

69 citations·0/0 files stored·Safety Science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Formal Methods in Verification Safety Systems Engineering in Autonomy

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 69 citations exist upstream.

Cited by

2021Comparison of the HAZOP, FMEA, FRAM, and STPA Methods for the Hazard Analysis of Automatic Emergency Brake Systems 2023A proposed validation framework for the system theoretic process analysis (STPA) technique 2024A risk assessment framework for water electrolysis systems: Mapping System Theoretic Process Analysis (STPA) and Event Tree Analysis (ETA) into Fuzzy Bayesian Networks (FBN)2022Reliability assessment of autonomous vehicles based on the safety control structure 2021A data-driven approach of quantifying function couplings and identifying paths towards emerging hazards in complex systems 2022Safety Assessment of Transport Aircraft Heavy Equipment Airdrop: An Improved STPA-BN Mechanism 2022A systems-theoretic hazard analysis for safety-critical medical gas pipeline and oxygen supply systems 2022Risk assessment based on a STPA–FMEA method: A case study of a sweeping robot

Details

Year2018

Typearticle

Published2018-06-04

VenueSafety Science

ISSN-L0925-7535

Languageen

Citations69

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.1016/j.ssci.2018.05.009

openalex_workW2808418454

Links

Imported from OpenAlex (CC0) — nothing here is generated.