A Software Fault Tree Analysis Technique for Formal Requirement Specifications of Nuclear Reactor Protection Systems
Sejin Jung, Junbeom Yoo, Youngjun Lee
Topics & Concepts
Fault tree analysisComputer scienceReliability engineeringSoftwareFormal specificationFormal methodsSoftware requirements specificationConstruct (python library)Nuclear power plantSoftware systemSoftware engineeringSoftware constructionProgramming languageEngineeringPhysicsNuclear physicsSoftware Reliability and Analysis ResearchRisk and Safety AnalysisSafety Systems Engineering in Autonomy