QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model


Quantitative verification is an effective technique for analyzing quantitative aspects of a safety critical system's design, and safety analysis is a significant aspect of safety critical system. However, they are often conducted separately. In this paper, we propose a new methodology, QaSten, fastens quantitative verification to safety analysis for… (More)
DOI: 10.1109/TASE.2015.10


11 Figures and Tables