OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Is current incremental safety assurance sound ?

Cassano, Valentin and Grigorova, Silviya and Singh, Neeraj Kumar and Adedjouma, Morayo and Lawford, Mark and Maibaum, Thomas S. E. and Wassyng, Alan Is current incremental safety assurance sound ? (2015) In: Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, 22 September 2015 (Delft, Netherlands).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
183kB

Official URL: https://doi.org/10.1007/978-3-319-24249-1_34

Abstract

Incremental design is an essential part of engineering. Without it, engineering would not likely be an economic, nor an effective, aid to economic progress. Further, engineering relies on this view of incrementality to retain the reliability attributes of the engineering method. When considering the assurance of safety for such artifacts, it is not surprising that the same economic and reliability arguments are deployed to justify an incremental approach to safety assurance. In a sense, it is possible to argue that, with engineering artifacts becoming more and more complex, it would be economically disastrous to not “do” safety incrementally. Indeed, many enterprises use such an incremental approach, reusing safety artifacts when assuring incremental design changes. In this work, we make some observations about the inadequacy of this trend and suggest that safety practices must be rethought if incremental safety approaches are ever going to be fit for purpose. We present some examples to justify our position and comment on what a more adequate approach to incremental safety assurance may look like.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This paper appears in : Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol. 9338. Springer, Cham. ISBN 978-3-319-24249-1
HAL Id:hal-02354197
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > McMaster University (CANADA)
Statistics:download
Deposited By: Neeraj SINGH
Deposited On:07 Nov 2019 15:01

Repository Staff Only: item control page