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 …
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
2015
DOI
10.1007/978-3-319-24249-1_34
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743