Abstract
This paper is a general overview of current practice regarding safety analysis problem and software safety engineering and assessment process. Generic safety development pattern is shown. Some work in progress is mentioned: OF-FMEA and Safety and Trust Cases development methods and tools.
Keywords
The Author is currently an Internal Safety Assessor and a member of Quality and Safety Group of Bombardier. He received a Ph.D. from Electronics, Telecommunication and Informatics Department of the Gdansk University of Technology in Gdansk, Poland. The full paper was prepared in December 2004 (e-mail: anta13@plusnet.pl, www: http://www.anta13.neostrada.pl/tadeusz.html).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
7. References
Bishop P. G. and R.E. Bloomfield, A Methodology for Safety Case Development, Safety-critical Systems Symposium, Birmingham, UK, 1998.
Blechinger, Ch., ProCEN — A tool to manage the CENELEC RAMS Process, SIGNAL + DRAHT (96) 4/2004, p. 15–16.
Braband, J., The importance of a safety culture in railway signaling, SIGNAL + DRAHT (96) 5/2004, p. 33–36.
Cichocki, T. and J. Górski, Failure Mode and Effect Analysis for Safety-Critical Systems with Software Components, in: Floor Koornneef, Meine van der Meulen (eds.) Computer Safety, Reliability and Security, Proceedings of 19th International Conference SAFECOMP 2000, Rotterdam (The Netherlands), October 24–27, 2000, Springer Lecture Notes in Computer Science 1943, p. 382–394.
Cichocki, T. and J. Górski, Formal Support for Fault Modeling and Analysis, in: Udo Voges (ed.), Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP 2001, Budapest (Hungary), September 26–28, 2001, Springer Lecture Notes in Computer Science 2187, p. 190–199.
Cichocki, T. and J. Górski, OF-FMEA-an approach to safety analysis of object oriented software intensive system, The 9th International Conference on Advanced Computer Systems (ACS'2002), Miedzyzdroje (Poland), October 23–25, 2002 (published in The Kuwer International Series in Engineering and Computer Science — 752, ISBN: 1-4020-7396-8, September 2003, p. 271–280).
Cooper, M. D., Towards a Model of Safety Culture, Safety Science (2000): vol. 36, p. 111–136 (http://behavioural-safety.com/articles/Towards_A_Model_Of_Safety_Culture/).
Edmonds, B., Syntactic Measures of Complexity, Ph.D. thesis, The University of Manchester, 1999, (245 pp.).
J. van Katwijk, Bo Sandén, and J. Zalewski, An Approach to Evaluate Real-Time Software Architectures for Safety-Critical Systems, 2003, Proc. Workshop on Critical Systems Development with UML, San Francisco, Calif., October 21, 2003, 121–128 (http://www.eg3.com/real/safety.htm).
Leveson, N. G., Safeware: System Safety and Computers. Addison-Wesley Publishing Company, 1995, ISBN 0-201-11972-2, (680 pp.).
Leveson, N. G., A Systems-Theoretic Approach to Safety in Software-Intensive Systems, to appear in IEEE Trans. on Dependable and Secure Computing, 2004.
Littlewood, B., Assessing the dependability of Software-based systems: the importance role of confidence, KKIO 2004, Software Engineering Conference, Gdansk, 5–8 October, 2004, p. 13–14.
McDermid, J. A., A.J. Vickers, and S.P. Wilson, Managing Analytical Complexity of Safety Critical Systems using Viewpoints, Department of Computer Science, University of York, UK.
Project Management Institute, A Guide to the Project Management Body of Knowledge (PMBOK®Guide), November 2003, (257 pp.).
Redmill, F., Subjectivity in Risk Analysis. Risk Analysis and Safety Management of Technical Systems, Conference and Workshops, Gdansk-Gdynia, 25–27, June 2001, p. 75–89.
Redmill, F., Risk-based test planning during system development. KKIO 2004, Software Engineering Conference, Gdansk, 5–8 October, 2004, p. 15–29.
Robson, M., Problem-Solving in Groups, Gower Publishing Limited, Gower House, 2002, (185 pp.).
Sanz, R., and J. Zalewski, Pattern-Based Control Systems Engineering, IEEE Control Systems, vol. 23, No. 3, pp. 43–60, July 2003.
Senge, P. M., The Fifth Discipline, The Art and Practice of The Learning Organization, Doubleday, 1990, (389 pp.).
Sorensen, J. N., Safety culture: a survey of the state-of-the-art. Reliability Engineering and System Safety, 76 (2002), p. 189–204.
Speirs, F. and C. W. Johnson, Safety Culture in the face of industrial change: a case study from the UK Rail Industry, University of Glasgow, Scotland, May 29, 2002.
Strigini, L., Formalism and judgment in assurance cases, A position statement for the workshop on “Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities,” held at DSN 2004, International Conference on Dependable Systems and Networks, Florence, Italy, June 2004.
Weaver, R. A., The Safety of Software—Constructing and Assuring Argument, University of York, Department of Computer Science, Ph.D. Thesis, September 2003, (298 pp.).
Weinstock, Ch. B., J. B. Goodenough, and J. J. Hudak, Dependability Cases, May 2004, Technical Note, CMU/SEI-2004-TN-016, (31 pp.).
Zalewski, J., Real-Time Software Architectures and Design Patterns: Fundamental Concepts and Their Consequences, SCR 2003 (also: Annual Reviews in Control, vol. 25, No. 1, p. 133–146, July 2001).
Zalewski, J., W. Ehrenberger, F. Saglietti, J. Górski, and A. Kornecki, Safety of computer control systems: challenges and results in software development, Annual Reviews in Control, vol. 27, No. 1, p. 23–37, 2003.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this paper
Cite this paper
Cichocki, T. (2005). Safety Analysis Methods—Software Development Questions. In: Kowalik, J.S., Gorski, J., Sachenko, A. (eds) Cyberspace Security and Defense: Research Issues. NATO Science Series II: Mathematics, Physics and Chemistry, vol 196. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3381-8_6
Download citation
DOI: https://doi.org/10.1007/1-4020-3381-8_6
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3379-7
Online ISBN: 978-1-4020-3381-0
eBook Packages: Computer ScienceComputer Science (R0)