Title :
Using Hazard Analysis STAMP/STPA in Developing Model-Oriented Formal Specification toward Reliable Cloud Service
Author :
Hata, Akihiro ; Araki, Keijiro ; Kusakabe, Shigeru ; Omori, Yoichi ; Hsin-Hung Lin
Author_Institution :
Kyushu Univ., Fukuoka, Japan
Abstract :
Formal methods have been used in the development of the reliable software system. However, one of the issues in using formal methods is how to model the system by considering what kind of system requirements and restrictions we should describe. In order to address this issue, we use a hazard model STAMP and an analytical method STPA based on STAMP. STAMP/STPA is proposed to overcome difficulties in approving conventional hazard analysis techniques for software-centric systems. In this report, we explain our approach and discuss our case study to develop implicit specifications for the cloud service in a model-oriented formal specification language, VDM++.
Keywords :
cloud computing; formal specification; program diagnostics; specification languages; systems analysis; STAMP hazard model; STPA analytical method; VDM++; cloud service; formal methods; hazard analysis; model-oriented formal specification language; software system; system requirements; Analytical models; Databases; Formal specifications; Hazards; Servers; Software; Model-orientedformalspecifications; STAMP/STPA; Software development; VDM++;
Conference_Titel :
Platform Technology and Service (PlatCon), 2015 International Conference on
Conference_Location :
Jeju
Print_ISBN :
978-1-4799-1887-4
DOI :
10.1109/PlatCon.2015.14
