Chapter
Towards Certified Analysis of Software Product Line Safety Cases
Abstract
Safety-critical software systems are in many cases designed and implemented as families of products, usually referred to as Software Product Lines (SPLs). Products within an SPL vary from each other in terms of which features they include. Applying existing analysis techniques to SPLs and their safety cases is usually challenging because of the potentially exponential number of products with respect to the number of supported features. In this …
Authors
Shahin R; Kokaly S; Chechik M
Book title
Computer Safety, Reliability, and Security
Series
Lecture Notes in Computer Science
Volume
12852
Pagination
pp. 130-145
Publisher
Springer Nature
Publication Date
2021
DOI
10.1007/978-3-030-83903-1_9