Home
Scholarly Works
Is Current Incremental Safety Assurance Sound?
Conference

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.

Authors

Cassano V; Grigorova S; Singh NK; Adedjouma M; Lawford M; Maibaum TSE; Wassyng A

Series

Lecture Notes in Computer Science

Volume

9338

Pagination

pp. 397-408

Publisher

Springer Nature

Publication Date

January 1, 2015

DOI

10.1007/978-3-319-24249-1_34

Conference proceedings

Lecture Notes in Computer Science

ISSN

0302-9743

Labels

View published work (Non-McMaster Users)

Contact the Experts team