Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking
Recently, a hazard analysis technique STAMP/STPA has been widely accepted since it is recognized as being suitable for software-intensive systems. Using STAMP/STPA, we can find hazardous scenarios of the target system that cannot be obtained by other traditional hazard analysis methods and those scenarios can be used for validation testing. However, generally the number of obtained scenarios can be huge and the validation testing involves a considerable cost. In this study, we propose a method to prioritize hazardous scenarios identified by STAMP/STPA with the help of a statistical model-checking technique. We give a procedure for systematically transforming the model defined by STAMP/STPA to a formal model for a statistical model-checking tool. We also show the usefulness of the proposed method using an example of train gate control system.
Sat 24 OctDisplayed time zone: Lisbon change
11:00 - 12:30
Session IIITEQS 2020 at São João
Chair(s): Eduard Paul Enoiu Mälardalen University
ITEQS 2020 is held as a virtual workshop via Zoom. Contact firstname.lastname@example.org for the details.
|Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking|
Mitsuaki Tsuji Nara Institute of Science and Technology, Toshinori Takai Nara Institute of Science and Technology, Kazuki Kakimoto Nara Institute of Science and Technology, Naoki Ishihama Japan Aerospace Exploration Agency, Masafumi Katahira Japan Aerospace Exploration Agency, Hajimu Iida Nara Institute of Science and TechnologyLink to publication DOI
|Generating Tests for the Discovery of Security Flaws in Product Variants|
Francisco Araújo LASIGE, Faculdade de Ciências da Universidade de Lisboa, Ibéria Medeiros LaSIGE, Faculdade de Ciências da Universidade de Lisboa, Nuno Neves DI FC ULLink to publication DOI
|Test Data Generation for False Data Injection Attack Testing in Air Traffic Surveillance *Best Paper*|
Aymeric Cretin Femto-ST Institute, Alexandre Vernotte Femto-ST Institute, Antoine Chevrot Femto-ST Institute, Fabien Peureux Institut FEMTO-ST (UMR CNRS 6174) and Smartesting S&S, Bruno Legeard FEMTO-ST / DISCLink to publication DOI