2011 | OriginalPaper | Buchkapitel
A New Approach to creating Clear Safety Arguments
verfasst von : Richard Hawkins, Tim Kelly, John Knight, Patrick Graydon
Erschienen in: Advances in Systems Safety
Verlag: Springer London
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We introduce
assured safety arguments
, a new structure for arguing safety in which the
safety argument
is accompanied by a
confidence argument
that documents the confidence in the structure and bases of the safety argument. This structure separates the major components that have traditionally been confused within a single safety argument structure. Separation gives both arguments greater clarity of purpose, and helps avoid the introduction of superfluous arguments and evidence. In this paper we describe a systematic approach to establishing both arguments, illustrated with a running example.