Concepedia

Deriving verification objectives and scenarios for maritime systems using the systems-theoretic process analysis

Børge Rokseth, Ingrid Bouwer Utne, Jan Erik Vinnem

Reliability Engineering & System Safety · 2017 · 53 citations · 15 references

Open access

Concepts

EngineeringMarine EngineeringSystems EngineeringModel-based Systems EngineeringSystems AnalysisSystems ModelingDeductive VerificationExecutable System ModelsModel CheckingSystem RequirementsSystems-of-systems EngineeringVerificationFinite-state VerificationModel-based VerificationScenario-based VerificationSystem VerificationSystem-theoretic Process AnalysisSystems Engineering Processes

References

15

Risk management in a dynamic society: a modelling problem

Jens Rasmussen · Safety Science · 1997 · 2.9K citations

Business, Risk Management, Risk Analysis +8

A new accident model for engineering safer systems

Nancy Leveson · Safety Science · 2003 · 2.2K citations · Full text

Engineering, Risk Management, Systems Engineering +14

Engineering a safer world: systems thinking applied to safety

Nancy G. Leveson · Choice Reviews Online · 2012 · 1.6K citations · Full text

Engineering, Aerospace Engineering, Systems Engineering +17

Testing Software Design Modeled by Finite-State Machines

Tsun S. Chow · IEEE Transactions on Software Engineering · 1978 · 1.4K citations

Computing, Computer Science, Fault-tolerant Systems +15

Safeware: System Safety and Computers

Peter G. Neumann · ACM SIGSOFT Software Engineering Notes · 1995 · 657 citations

Engineering, Computer Science, Computer Systems +8