SZodixStudyAcademic Library
ShelvesOpen access
Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated
A formal approach to support the identification of unsafe control actions of STPA for nuclear protection systems
4 references·1 citing·19 second hop
A formal approach to support the identification of unsafe control actions of STPA for nuclear protection systems (2021)A formal approach to support the identifi…A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems (2020)A Software Fault Tree Analysi…An integrated hazard identification method based on the hierarchical Colored Petri Net (2016)An integrated hazard identifi…Engineering a safer world: systems thinking applied to safety (2012)Engineering a safer world: sy…Hazard analysis techniques for system safetyHazard analysis techniques fo…Extending the STPA to model the control structure with Finite State Machine (2025)Extending the STPA to model t…Hazard Analysis Techniques for System Safety (2005)Industrial non-routine operation process risk assessment using job safety analysis (JSA) and a revised Petri net (2018)A novel layered fuzzy Petri nets modelling and reasoning method for process equipment failure risk assessment (2019)A survey on the suitability of risk identification techniques in the current networked environment (2021)An overview of fault tree analysis and its application in model based dependability analysis (2017)Fault tree analysis of cargo leakage from manifold connection in fuzzy environment: A novel case of anhydrous ammonia (2021)Reliability analysis of dynamic fault trees with Priority-AND gates based on irrelevance coverage model (2022)Towards a Systematic Description of Fault Tree Analysis Studies Using Informetric Mapping (2022)Hazard Analysis and Safety Requirements for Small Drone Operations: To What Extent Do Popular Drones Embed Safety? (2017)Regulation and innovation: How should small unmanned aerial vehicles be regulated? (2017)Cybernetics. Or Control and Communication in the Animal and the Machine (1949)Judgment under Uncertainty: Heuristics and Biases (1974)Organizational culture and leadership (2012)Moral Crumple Zones: Cautionary Tales in Human-Robot Interaction (2019)Bridging the Gap Between Ethics and Practice (2020)Closing the AI accountability gap (2020)The bowtie method: A review (2016)An extension to Fuzzy Developed Failure Mode and Effects Analysis (FDFMEA) application for aircraft landing system (2017)Safety bounds in human robot interaction: A survey (2020)
this work references cited by second hop

References

  • 2012Engineering a safer world: systems thinking applied to safety1,566 cited
  • n.d.Hazard analysis techniques for system safety738 cited
  • 2016An integrated hazard identification method based on the hierarchical Colored Petri Net46 cited
  • 2020A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems33 cited

Cited by

  • 2025Extending the STPA to model the control structure with Finite State Machine5 cited

Only edges whose both ends are imported exist here. Widen the year window, or show the whole map. Back to the work