Visible to the public A Model Management Approach for Assurance Case Reuse Due to System Evolution

TitleA Model Management Approach for Assurance Case Reuse Due to System Evolution
Publication TypeConference Paper
Year of Publication2016
AuthorsKokaly, Sahar, Salay, Rick, Cassano, Valentin, Maibaum, Tom, Chechik, Marsha
Conference NameProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems
Conference LocationNew York, NY, USA
ISBN Number978-1-4503-4321-3
Keywordsassurance cases, certification, composability, evolution, model management, pubcrawl, regulatory compliance, reuse, Scalability, software assurance

Evolution in software systems is a necessary activity that occurs due to fixing bugs, adding functionality or improving system quality. Systems often need to be shown to comply with regulatory standards. Along with demonstrating compliance, an artifact, called an assurance case, is often produced to show that the system indeed satisfies the property imposed by the standard (e.g., safety, privacy, security, etc.). Since each of the system, the standard, and the assurance case can be presented as a model, we propose the extension and use of traditional model management operators to aid in the reuse of parts of the assurance case when the system undergoes an evolution. Specifically, we present a model management approach that eventually produces a partial evolved assurance case and guidelines to help the assurance engineer in completing it. We demonstrate how our approach works on an automotive subsystem regulated by the ISO 26262 standard.

Citation Keykokaly_model_2016