A Lightweight Methodology for Safety Case Assembly
Purchase on Springer.com
$29.95 / €24.95 / £19.95 *
* Final gross prices may vary according to local VAT.
Abstract
We describe a lightweight methodology to support the automatic assembly of safety cases from tabular requirements specifications. The resulting safety case fragments provide an alternative, graphical, view of the requirements. The safety cases can be modified and augmented with additional information. In turn, these modifications can be mapped back to extensions of the tabular requirements, with which they are kept consistent, thus avoiding the need for engineers to maintain an additional artifact. We formulate our approach on top of an idealized process, and illustrate the applicability of the methodology on excerpts of requirements specifications for an experimental Unmanned Aircraft System.
Continue reading...
To view the rest of this content please follow the download PDF link above.
