15 citations · 21 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Safety Analysis of Autonomous Railway Systems: An Introduction to the SACRED Methodology
Josh Hunter, John McDermid, Simon Burton
As the railway industry increasingly seeks to introduce autonomy and machine learning (ML), several questions arise. How can safety be assured for such systems and technologies? Wh…
cs.SE2014★ 1 cited
Nothing is Certain but Doubt and Tests
John A. McDermid
Effective software safety standards will contribute to confidence, or assurance, in the safety of the systems in which the software is used. It is infeasible to demonstrate a corre…