Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1109/ICSTW50294.2020.00032 | 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
Keywords | DocType | ISSN |
STAMP/STPA,statistical model checking,risk analysis | Conference | 2159-4848 |
ISBN | Citations | PageRank |
978-1-7281-1076-9 | 0 | 0.34 |
References | Authors | |
0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mitsuaki Tsuji | 1 | 0 | 0.34 |
Toshinori Takai | 2 | 1 | 1.73 |
Kazuki Kakimoto | 3 | 0 | 0.34 |
Naoki Ishihama | 4 | 0 | 0.34 |
Masafumi Katahira | 5 | 46 | 6.17 |
Hajimu Iida | 6 | 286 | 31.95 |