Abstract
As modern systems are becoming complex and large rapidly, the dependability of these systems are important. Standards and regulations for developing software of these systems usually need restricted programming language and formal methods. For reasons of scale and complexities of these large systems it is preferable to use the modern object-oriented technique during the development, such as Unified Modern Language (UML). While using UML models, the notation and associated techniques should ensure to be dependable. We have proposed the method for developing a Dependability-Case (D-case) based on UML models. In this paper, the HAZOP will be used for hazard analysis and presents a systematic way of performing HAZOP on UML models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ISSRE, The 3rd International Workshop on Open Systems Dependability: Adaptation to Changing World (2013), http://www.ubicg.ynu.ac.jp/wosd/wosd2013/index.html
松野裕,高井利憲,山本修一郎,D-Case入門〜ディペンダビリティ・ケースをかいてもよう!〜.株式会社ダイテックホールディング (2012) ISBN978-4-86293-079-8
Matsuno, Y., Yamamoto, S.: Consensus building and in-operation assurance for service dependability. In: Quirchmayr, G., Basl, J., You, I., Xu, L., Weippl, E. (eds.) CD-ARES 2012. LNCS, vol. 7465, pp. 639–653. Springer, Heidelberg (2012)
Matsuno, Y., Nakazawa, J., Takeyama, M., Sugaya, M., Ishikawa, Y.: Toward a language for communication among stakeholders. In: Proc. of the 16th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2010), pp. 93–100 (2010)
Object-oriented systems analysis and design using UML, Bennett S, pp.21–50
Leveson, N.G., Heimdahl, M.P.E., Reese, J.D.: Designing specification languages for process control systems: Lessons learned and steps to the future. In: Wang, J., Lemoine, M. (eds.) ESEC/FSE 1999. LNCS, vol. 1687, pp. 127–146. Springer, Heidelberg (1999)
Reifer, D.: Software Failure Modes and Effects Analysis. IEEE Transactions on Reliability R-38(3) (1979)
Ministry of Defence. HAZOP studies on systems containing programmable electronics. Defence Standard 00-58, Parts 1 and 2, Issue 2 (May 2000)
Hansen, K.M., Wells, L., Maier, T.: HAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems
Habli, I., Ibarra, I., Rivett, R., Kelly, T.: Model-Based Assurance for Justifying Automotive Functional Safety
山本修一郎, 松野裕,ユースケース分析に基づくディペンダビリティケース作成法の提 案, KBSE 研究会,信学技報, BSE2012-61, vol. 112(419), pp. 19-24, (2013); KBSE2012-61, 年1 月
Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice, 2nd edn. Addison-Wesley (2003)
Hansen, K.M., Wells, L., Maier, T.: HAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems
Sequence Diagram Wikipedia, http://en.wikipedia.org/wiki/Sequence_diagram
Lano, K., Clark, D., Androutsopoulos, K.: Safety and security analysis of object-oriented models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol. 2434, pp. 82–93. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Ding, F., Yamamoto, S., Abrahim, N. (2014). The Method of D-Case Development Using HAZOP Analysis on UML Models. In: Kravets, A., Shcherbakov, M., Kultsova, M., Iijima, T. (eds) Knowledge-Based Software Engineering. JCKBSE 2014. Communications in Computer and Information Science, vol 466. Springer, Cham. https://doi.org/10.1007/978-3-319-11854-3_54
Download citation
DOI: https://doi.org/10.1007/978-3-319-11854-3_54
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11853-6
Online ISBN: 978-3-319-11854-3
eBook Packages: Computer ScienceComputer Science (R0)