Skip to Main content Skip to Navigation
Conference papers

Is current incremental safety assurance sound ?

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Open Archive Toulouse Archive Ouverte (oatao) <>
Submitted on : Thursday, November 7, 2019 - 4:01:08 PM
Last modification on : Wednesday, March 17, 2021 - 9:44:04 AM
Long-term archiving on: : Sunday, February 9, 2020 - 12:54:38 AM


Files produced by the author(s)


  • HAL Id : hal-02354197, version 1
  • OATAO : 23594


Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, et al.. Is current incremental safety assurance sound ?. Computer Safety, Reliability, and Security - SAFECOMP 2015 Workshops, ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings, Sep 2015, Delft, Netherlands. pp.397-408. ⟨hal-02354197⟩



Record views


Files downloads