A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Making Software Safety Assessable and Transparent
[chapter]
2013
Communications in Computer and Information Science
Most formal assessment and evaluation techniques and standards assume that software can be analysed like any physical item. In safety-critical systems, software is an important component providing functionality. Often it is also the most difficult component to assess. Balanced use of process assessment and product evaluation methods is needed, because lack of transparency in software must be compensated with a more formal development process. Safety case is an effective approach to demonstrate
doi:10.1007/978-3-642-39179-8_1
fatcat:rxh4vrohsndkrblogixq5kidj4