Abstract
It is necessary to integrate practical software development and operation body of knowledge to deploy development and operation methods for assuring safety. In this paper, an approach based on the method architecture is proposed to develop a Knowledge integration method for describing various software related bodies of knowledge and the safety case for assuring software life cycle and operation processes.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Kelly, T.P.: A Six-Step Method for the Development of Goal Structures. York Software Engineering (1997)
Kelly, T.P.: Arguing Safety, A Systematic Approach to Managing Safety Cases. PhD Thesis, Department of Computer Science, University of York (1998)
Bloomfield, P., Bishop, P.: Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective (2010)
OMG, Essence – Kernel and Language for Software Engineering Methods, ad/2013-02-01 (2013), http://www.omg.org/spec/Essence/1.0
The Open Group, TOGAF V.9 A Pocket Guide (2008)
The Open Group, The Open Group Real-Time & Embedded Systems Forum, Dependability through AssurednessTM Standard (O-DA) (2013)
Guide to the Software Engineering Body of Knowledge (SWEBOK V3), http://www.computer.org/portal/web/swebok/home
PMBOK Guide, http://www.pmi.org/
CMMI, CMU/SEI-2010-TR-033 (2010)
IIBA, Japan Chapter, A Guide to the Business Analysis Body of Knowledge (2009)
Japan Information Technology Services Industry Association, REBOK Working Group, Requirements Engineering Body of Knowledge, http://www.seto.nanzan-u.ac.jp/~amikio/NISE/eng/REBOK/REBOK-APSEC2011-Tutorial-2011-12-05.pdf
ITIL, itSMF Japan, http://www.itsmf-japan.org/itil
iTSMF, ITIL V3 Foundation Handbook (2009)
Boegh, J.: A New Standard for Quality Requirements. IEEE Software, 20–27 (January/February 2008)
Jacobson, I., Ng, P.-W., McMahon, P.E., Spence, I., Lidman, S.: The Essence of Software Engineering – Applying the SEMAT Kernel. Addison-Wesley Pearson Education (2013)
Yamamoto, S., Matsuno, Y.: d* framework: Inter-Dependency Model for Dependability. DSN (2012)
Yamamoto, S., Matsuno, Y.: A Review Method based on a Matrix Interpretation of GSN. JCKBSE (2012)
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)
Yamamoto, S., Kaneko, T., Tanaka, H.: A Proposal on Security Case based on Common Criteria. In: Asia ARES 2013 (2013)
Yamamoto, S., Matsuno, Y.: An Evaluation of Argument Patterns to Reduce Pitfalls of Applying Assurance Case. In: 1st International Workshop on Assurance Cases for Software-intensive Systems, Assure 2013 (2013)
Matsuno, Y., Yamamoto, S.: An Implementation of GSN Community Standard. In: 1st International Workshop on Assurance Cases for Software-intensive Systems, Assure 2013 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 IFIP International Federation for Information Processing
About this paper
Cite this paper
Yamamoto, S. (2014). A Knowledge Integration Approach for Safety-Critical Software Development and Operation Based on the Method Architecture. In: Teufel, S., Min, T.A., You, I., Weippl, E. (eds) Availability, Reliability, and Security in Information Systems. CD-ARES 2014. Lecture Notes in Computer Science, vol 8708. Springer, Cham. https://doi.org/10.1007/978-3-319-10975-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-10975-6_2
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10974-9
Online ISBN: 978-3-319-10975-6
eBook Packages: Computer ScienceComputer Science (R0)