Open Access. Powered by Scholars. Published by Universities.®

Digital Commons Network

Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics

Western Michigan University

Theses/Dissertations

2018

Assurance case

Articles 1 - 1 of 1

Full-Text Articles in Entire DC Network

Support Assurance-Based Software Development For Mission Critical Domains Using The Model Driven Architecture, Chung-Ling Lin Apr 2018

Support Assurance-Based Software Development For Mission Critical Domains Using The Model Driven Architecture, Chung-Ling Lin

Dissertations

In the past decades, software development for mission critical applications has drawn great attention not only in various mission critical communities but also software engineering communities. One of the important reasons is that the failure of these systems can lead to some serious consequences such as huge financial loss and even loss of life. Therefore, software certification has become an important activity for mission critical applications in that software assurance for such a system should be certified. With the increasing complexity of a software system in mission critical sectors, certifiers have found hard time to understand how a software system …