Concepedia

The application of HAZOP studies to integrated requirements models for control systems

Clive Fencott, Barry Hebbron

ISA Transactions · 1995 · 17 citations · 3 references

Concepts

EngineeringSystems EngineeringModel-based Systems EngineeringRequirements EngineeringSystems ModelingModel FormulationRequirements AnalysisRequirements ManagementRequirements ModelingRequirements SpecificationSystem RequirementsControl RequirementsHazop StudyRequirements Model ValidationSafety Requirement ModelingSpecification ModelingSystem Requirements SpecificationSystems Requirements Analysis

References

3

A development of hazard analysis to aid software design

John McDermid, David Pumfrey · 2002 · 76 citations

Engineering, Computer Science, Design +17

Issues in developing software for safety critical systems

John McDermid · Reliability Engineering & System Safety · 1991 · 32 citations

Engineering, Computer Systems, Systems Engineering +12

The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems

1994 · 17 citations · Full text

Computing, Computer Science, Computer Systems +17