The 6W1H Model as a Basis for Systems Assurance Argument
The basis of an assurance argument must be built on top of explicit specification of the target system. Nevertheless, identification of a municipal disaster management system out of existing documents is a non-trivial task. We propose an approach applying 6W1H models. A 6W1H model is a tree of actions equipped with “6Ws” (Who, What, Whom, When, Where, Why) that provide necessary explication of the system for assurance argument. The approach is exemplified by identifying a system and building an assurance case out of water supply activities prescribed in the Local Disaster Management Plan of Hiratsuka city.
KeywordsAssurance argument Systems modelling Disaster management
The authors thank the staff of the disaster management department of Hiratsuka city office for clarification of the details of LDMP and fruitful discussions. Dr. Makoto Takeyama gave critical yet insightful and constructive comments on early manuscript of this paper. The authors are also grateful to the support of Mr. KojOkuno.
This work was partially supported by the Research Initiative on Advanced Software Engineering (RISE) by the Information-technology Promotion Agency (IPA), Japan.
- 1.Tokoro, M. (ed.): Open Systems Dependability: Dependability Engineering for Ever-Changing Systems, 2nd edn. CRC Press, Boca Raton (2015)Google Scholar
- 2.Cabinet Office, Government of Japan.: Disaster management in Japan (2015). URL: http://www.bousai.go.jp/1info/pdf/saigaipamphlet_je.pdf (in English and Japanese)
- 3.Ministry of Internal Affairs and Communications, Government of Japan.: Disaster countermeasures basic act (2015). URL: http://law.e-gov.go.jp/htmldata/S36/S36HO223.html (in Japanese)
- 4.Safety and Disaster Management Department of Kanagawa Prefectural Government.: Earthquake Damage Estimation (2015). URL: http://www.pref.kanagawa.jp/cnt/f5151/p15579.html (in Japanese)
- 5.Disaster Management Department of Hiratsuka City Office (ed.): Hiratsuka local disaster management plan (2015). URL: http://www.city.hiratsuka.kanagawa.jp/bousai/plan.htm (in Japanese)
- 6.Kinoshita, Y., Takeyama, M.: Assurance case as a proof in a theory: towards formulation of rebuttals. In: Assuring the Safety of Systems - Proceedings of the Twenty-First Safety-critical Systems Symposium, Bristol, UK, pp. 205–230, 5–7 February 2013Google Scholar
- 7.IEC 62853/Ed1.0: Open Systems Dependability, Work in progress by IEC TC56 PT4.8Google Scholar
- 8.ISO, IEC, IEEE 15288: 2015 Systems and software engineering - System life cycle processesGoogle Scholar