2 papers
cs.SE2022
A Hierarchical HAZOP-Like Safety Analysis for Learning-Enabled Systems
Yi Qi, Philippa Ryan Conmy, Wei Huang +2
Hazard and Operability Analysis (HAZOP) is a powerful safety analysis technique with a long history in industrial process control domain. With the increasing use of Machine Learnin…
cs.SE2015
Assisted Coverage Closure
Adam Nellis, Pascal Kesseli, Philippa Ryan Conmy +3
The malfunction of safety-critical systems may cause damage to people and the environment. Software within those systems is rigorously designed and verified according to domain spe…