Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service

Akihiro Hata, Keijiro Araki, Shigeru Kusakabe, Yoichi Omori, Hsin Hung Lin

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

2 被引用数 (Scopus)

抄録

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++.

本文言語英語
ホスト出版物のタイトルProceedings - 2015 International Conference on Platform Technology and Service, PlatCon 2015
出版社Institute of Electrical and Electronics Engineers Inc.
ページ23-24
ページ数2
ISBN(電子版)9781479918881
DOI
出版ステータス出版済み - 4 3 2015
イベント2015 2nd International Conference on Platform Technology and Service, PlatCon 2015 - Jeju, 大韓民国
継続期間: 1 26 20151 28 2015

出版物シリーズ

名前Proceedings - 2015 International Conference on Platform Technology and Service, PlatCon 2015

その他

その他2015 2nd International Conference on Platform Technology and Service, PlatCon 2015
国/地域大韓民国
CityJeju
Period1/26/151/28/15

All Science Journal Classification (ASJC) codes

  • コンピュータ ネットワークおよび通信
  • 人間とコンピュータの相互作用
  • 情報システム
  • ソフトウェア

フィンガープリント

「Using hazard analysis STAMP/STPA in developing model-oriented formal specification toward reliable cloud service」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル