Towards an Argument Pattern for the Use of Safety Performance Indicators
<|reference_start|>Towards an Argument Pattern for the Use of Safety Performance Indicators: UL 4600, the safety standard for autonomous products, mandates the use of Safety Performance Indicators (SPIs) to continuously ensure the validity of safety cases by monitoring and taking action when violations are identified. Despite numerous examples of concrete SPIs available in the standard and companion literature, their contribution rationale for achieving safety is often left implicit. In this paper, we present our initial work towards an argument pattern for the use of SPIs to ensure validity of safety cases throughout the entire lifecycle of the system. Our aim is to make the implicit argument behind using SPIs explicit, and based on this, to analyze the situations that can undermine confidence in the chosen set of SPIs. To maintain the confidence in SPIs' effectiveness, we propose an approach to continuously monitor their expected performance by using meta-SPIs.<|reference_end|>
@article{ratiu2024towards,
    title={Towards an Argument Pattern for the Use of Safety Performance Indicators},
    author={Daniel Ratiu, Tihomir Rohlinger, Torben Stolte and Stefan Wagner},
    journal={978-3-031-68738-9 Published: 08 September 2024 Series ISSN
  0302-9743 Series E-ISSN 1611-3349 Edition Number1 Number of Pages 462},
    year={2024},
    archivePrefix={arXiv},
    eprint={2410.00578},
    primaryClass={cs.SE}
}