Skip to main content

2019 | OriginalPaper | Buchkapitel

System Theoretic Process Analysis: A Literature Survey on the Approaches Used for Improving the Safety in Complex Systems

verfasst von : Saulo Rodrigues e Silva

Erschienen in: Information Systems for Industry 4.0

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Computer systems are becoming increasingly complex, especially interactive software systems, namely software user interfaces. The scientific community relies on different methods to assess their safety. This article provides an updated literature survey on hazard analysis approaches used to improve the safety of complex systems. To support the survey, we conceptualise complex systems, highlighting the challenge in terms of assessing their safety. We provide a brief overview on the approaches historically available to tackle issues in those systems, along with their most common methods. Finally, the article focuses in one method of a non-traditional approach, which is described in more details, along with some of its extensions, which seeks to improve the hazard analysis in complex systems.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
Zurück zum Zitat Abdulkhaleq, A., Vost, S., Wagner, S., & Thomas, J. (2016). An industrial case study on the evaluation of a safety engineering approach for software-intensive systems in the automotive domain. Abdulkhaleq, A., Vost, S., Wagner, S., & Thomas, J. (2016). An industrial case study on the evaluation of a safety engineering approach for software-intensive systems in the automotive domain.
Zurück zum Zitat Abdulkhaleq, A., Wagner, S., & Leveson, N. (2015). A comprehensive safety engineering approach for software-intensive systems based on STPA. Procedia Engineering, 128, 2–11. In Proceedings of the 3rd European STAMP Workshop October 5–6, 2015, Amsterdam. Abdulkhaleq, A., Wagner, S., & Leveson, N. (2015). A comprehensive safety engineering approach for software-intensive systems based on STPA. Procedia Engineering, 128, 2–11. In Proceedings of the 3rd European STAMP Workshop October 5–6, 2015, Amsterdam.
Zurück zum Zitat Antoine, B. (2013). Systems theoretic hazard analysis (STPA) applied to the risk review of complex systems: an example from the medical device industry. (Ph.D. thesis, Massachusetts Institute of Technology). Antoine, B. (2013). Systems theoretic hazard analysis (STPA) applied to the risk review of complex systems: an example from the medical device industry. (Ph.D. thesis, Massachusetts Institute of Technology).
Zurück zum Zitat Bowles, J. B., & Peláez, C. E. (1995). Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis. Reliability Engineering & System Safety, 50(2), 203–213.CrossRef Bowles, J. B., & Peláez, C. E. (1995). Fuzzy logic prioritization of failures in a system failure mode, effects and criticality analysis. Reliability Engineering & System Safety, 50(2), 203–213.CrossRef
Zurück zum Zitat Castilho, D. S., Urbina, L. M., & de Andrade, D. (2018). Stpa for continuous controls: A flight testing study of aircraft crosswind takeoffs. Safety Science, 108, 129–139.CrossRef Castilho, D. S., Urbina, L. M., & de Andrade, D. (2018). Stpa for continuous controls: A flight testing study of aircraft crosswind takeoffs. Safety Science, 108, 129–139.CrossRef
Zurück zum Zitat Dehlinger, J., & Lutz, R. R. (2004). Software fault tree analysis for product lines. In Proceedings Eighth IEEE International Symposium on High Assurance Systems Engineering, pp. 12–21. IEEE. Dehlinger, J., & Lutz, R. R. (2004). Software fault tree analysis for product lines. In Proceedings Eighth IEEE International Symposium on High Assurance Systems Engineering, pp. 12–21. IEEE.
Zurück zum Zitat Dokas, I. M., Feehan, J., & Imran, S. (2013). Ewasap: An early warning sign identification approach based on a systemic hazard analysis. Safety Science, 58, 11–26.CrossRef Dokas, I. M., Feehan, J., & Imran, S. (2013). Ewasap: An early warning sign identification approach based on a systemic hazard analysis. Safety Science, 58, 11–26.CrossRef
Zurück zum Zitat EN, B. (2006). 60812: 2006 analysis techniques for system reliability. Procedure for failure mode and effects analysis (FMEA). EN, B. (2006). 60812: 2006 analysis techniques for system reliability. Procedure for failure mode and effects analysis (FMEA).
Zurück zum Zitat Ericson, C. A. (2005). Event tree analysis. Hazard Analysis Techniques for System Safety, 223–234. Ericson, C. A. (2005). Event tree analysis. Hazard Analysis Techniques for System Safety, 223–234.
Zurück zum Zitat Ericson, C. A. et al. (2015). Hazard analysis techniques for system safety. Wiley. Ericson, C. A. et al. (2015). Hazard analysis techniques for system safety. Wiley.
Zurück zum Zitat France, M. E. (2017). Engineering for humans: a new extension to STPA (Ph.D. thesis, Massachusetts Institute of Technology). France, M. E. (2017). Engineering for humans: a new extension to STPA (Ph.D. thesis, Massachusetts Institute of Technology).
Zurück zum Zitat Haasl, D. F., Roberts, N., Vesely, W., & Goldberg, F. (1981). Fault tree handbook. Technical report, Nuclear Regulatory Commission, Washington, DC (USA). Office of Nuclear Regulatory Research. Haasl, D. F., Roberts, N., Vesely, W., & Goldberg, F. (1981). Fault tree handbook. Technical report, Nuclear Regulatory Commission, Washington, DC (USA). Office of Nuclear Regulatory Research.
Zurück zum Zitat Heinrich, H. W. et al. (1941). Industrial accident prevention. a scientific approach. In Industrial accident prevention. A scientific approach (2nd ed.). Heinrich, H. W. et al. (1941). Industrial accident prevention. a scientific approach. In Industrial accident prevention. A scientific approach (2nd ed.).
Zurück zum Zitat IEC, B. (2001). 61882: 2001: Hazard and operability studies (hazop studies). Application guide. British Standards Institute. IEC, B. (2001). 61882: 2001: Hazard and operability studies (hazop studies). Application guide. British Standards Institute.
Zurück zum Zitat Kenarangui, R. (1991). Event-tree analysis by fuzzy probability. IEEE Transactions on Reliability, 40(1), 120–124.CrossRef Kenarangui, R. (1991). Event-tree analysis by fuzzy probability. IEEE Transactions on Reliability, 40(1), 120–124.CrossRef
Zurück zum Zitat Lawley, H. (1974). Operability studies and hazard analysis. Chemical Engineering Progress, 70(4), 45–56. Lawley, H. (1974). Operability studies and hazard analysis. Chemical Engineering Progress, 70(4), 45–56.
Zurück zum Zitat Leveson, N. (2004). A new accident model for engineering safer systems. Safety Science, 42(4), 237–270.CrossRef Leveson, N. (2004). A new accident model for engineering safer systems. Safety Science, 42(4), 237–270.CrossRef
Zurück zum Zitat Leveson, N. (2011). Engineering a safer world: Systems thinking applied to safety. MIT press. Leveson, N. (2011). Engineering a safer world: Systems thinking applied to safety. MIT press.
Zurück zum Zitat Leveson, N., & Thomas, J. (2013). An STPA primer. Cambridge, MA. Leveson, N., & Thomas, J. (2013). An STPA primer. Cambridge, MA.
Zurück zum Zitat Leveson, N. G. et al. (2014). Extending the human controller methodology in systems-theoretic process analysis (STPA) (Ph.D. thesis, Massachusetts Institute of Technology). Leveson, N. G. et al. (2014). Extending the human controller methodology in systems-theoretic process analysis (STPA) (Ph.D. thesis, Massachusetts Institute of Technology).
Zurück zum Zitat Leveson, N. G., & Harvey, P. R. (1983). Software fault tree analysis. Journal of Systems and Software, 3(2), 173–181.CrossRef Leveson, N. G., & Harvey, P. R. (1983). Software fault tree analysis. Journal of Systems and Software, 3(2), 173–181.CrossRef
Zurück zum Zitat Lipol, L. S., & Haq, J. (2011). Risk analysis method: FMEA/FMECA in the organizations. International Journal of Basic & Applied Sciences, 11(5), 74–82. Lipol, L. S., & Haq, J. (2011). Risk analysis method: FMEA/FMECA in the organizations. International Journal of Basic & Applied Sciences, 11(5), 74–82.
Zurück zum Zitat Lutz, R. R., & Shaw, H.-Y. (1999). Applying adaptive safety analysis techniques (for embedded software). In Proceedings of 10th International Symposium on Software Reliability Engineering, 1999, pp. 42–49. IEEE. Lutz, R. R., & Shaw, H.-Y. (1999). Applying adaptive safety analysis techniques (for embedded software). In Proceedings of 10th International Symposium on Software Reliability Engineering, 1999, pp. 42–49. IEEE.
Zurück zum Zitat Masci, P., Zhang, Y., Jones, P., & Campos, J. C. (2017). A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices. In 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), volume LNCS, vol. 10469, Springer. Springer. Masci, P., Zhang, Y., Jones, P., & Campos, J. C. (2017). A hazard analysis method for systematic identification of safety requirements for user interface software in medical devices. In 15th International Conference on Software Engineering and Formal Methods (SEFM 2017), volume LNCS, vol. 10469, Springer. Springer.
Zurück zum Zitat NASA, N. (1966). S. Administration. Procedure for failure mode, effects and criticality analysis (FMECA), RM 63TMP-22. NASA, Tech. Rep. NASA, N. (1966). S. Administration. Procedure for failure mode, effects and criticality analysis (FMECA), RM 63TMP-22. NASA, Tech. Rep.
Zurück zum Zitat Rasmussen, N. C. (1981). Methods of hazard analysis and nuclear safety engineering. Annals of the New York Academy of Sciences, 365(1), 20–36.CrossRef Rasmussen, N. C. (1981). Methods of hazard analysis and nuclear safety engineering. Annals of the New York Academy of Sciences, 365(1), 20–36.CrossRef
Zurück zum Zitat Reason, J. (1990). Human error. Cambridge university press. Reason, J. (1990). Human error. Cambridge university press.
Zurück zum Zitat Reifer, D. J. (1979). Software failure modes and effects analysis. IEEE Transactions on Reliability, 28(3), 247–249.CrossRef Reifer, D. J. (1979). Software failure modes and effects analysis. IEEE Transactions on Reliability, 28(3), 247–249.CrossRef
Zurück zum Zitat Robson, C., & McCartan, K. (2016). Real world research. Wiley. Robson, C., & McCartan, K. (2016). Real world research. Wiley.
Zurück zum Zitat Rosewater, D., & Williams, A. (2015). Analyzing system safety in lithium-ion grid energy storage. Journal of Power Sources, 300, 460–471.CrossRef Rosewater, D., & Williams, A. (2015). Analyzing system safety in lithium-ion grid energy storage. Journal of Power Sources, 300, 460–471.CrossRef
Zurück zum Zitat Song, Y. (2012). Applying system-theoretic accident model and processes (STAMP) to hazard analysis (Ph.D. thesis). Song, Y. (2012). Applying system-theoretic accident model and processes (STAMP) to hazard analysis (Ph.D. thesis).
Zurück zum Zitat Stadler, J. J., & Seidl, N. J. (2013). Software failure modes and effects analysis. In Reliability and Maintainability Symposium (RAMS), 2013 Proceedings-Annual, pp. 1–5. IEEE. Stadler, J. J., & Seidl, N. J. (2013). Software failure modes and effects analysis. In Reliability and Maintainability Symposium (RAMS), 2013 Proceedings-Annual, pp. 1–5. IEEE.
Zurück zum Zitat Standard, U. M. (1980). MIL-STD-1629A. Procedures for Performing a Failure Mode, Effect and Criticality Analysis. Department of Defense, USA. Standard, U. M. (1980). MIL-STD-1629A. Procedures for Performing a Failure Mode, Effect and Criticality Analysis. Department of Defense, USA.
Zurück zum Zitat Stringfellow, M. V. (2010). Accident analysis and hazard analysis for human and organizational factors (PhD thesis, Massachusetts Institute of Technology). Stringfellow, M. V. (2010). Accident analysis and hazard analysis for human and organizational factors (PhD thesis, Massachusetts Institute of Technology).
Zurück zum Zitat Stringfellow, M. V., Leveson, N. G., & Owens, B. D. (2010). Safety-driven design for software-intensive aerospace and automotive systems. Proceedings of the IEEE, 98(4), 515–525.CrossRef Stringfellow, M. V., Leveson, N. G., & Owens, B. D. (2010). Safety-driven design for software-intensive aerospace and automotive systems. Proceedings of the IEEE, 98(4), 515–525.CrossRef
Zurück zum Zitat Thimbleby, H. (2010). Press on: Principles of interaction programming. The MIT Press. Thimbleby, H. (2010). Press on: Principles of interaction programming. The MIT Press.
Zurück zum Zitat Thomas, J., Lemos, F., & Leveson, N. (2012). Evaluating the safety of digital instrumentation and control systems in nuclear power plants. NRC Technical Research Report 2013. Thomas, J., Lemos, F., & Leveson, N. (2012). Evaluating the safety of digital instrumentation and control systems in nuclear power plants. NRC Technical Research Report 2013.
Zurück zum Zitat Thomas IV, J. P. (2013). Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis (PhD thesis, Massachusetts Institute of Technology). Thomas IV, J. P. (2013). Extending and automating a systems-theoretic hazard analysis for requirements generation and analysis (PhD thesis, Massachusetts Institute of Technology).
Zurück zum Zitat Yang, C. (2014). Software safety testing based on STPA. Procedia Engineering, 80, 399–406.CrossRef Yang, C. (2014). Software safety testing based on STPA. Procedia Engineering, 80, 399–406.CrossRef
Zurück zum Zitat Young, W. E. (2014). STPA-SEC for cyber security mission assurance. Eng Syst. Div. Syst. Eng. Res. Lab. Young, W. E. (2014). STPA-SEC for cyber security mission assurance. Eng Syst. Div. Syst. Eng. Res. Lab.
Zurück zum Zitat Zadeh, L. A. (1962). From circuit theory to system theory. Proceedings of the IRE, 50(5), 856–865.CrossRef Zadeh, L. A. (1962). From circuit theory to system theory. Proceedings of the IRE, 50(5), 856–865.CrossRef
Zurück zum Zitat Wiegers, K., & Beatty, J. (2013). Software requirements. Pearson Education. Wiegers, K., & Beatty, J. (2013). Software requirements. Pearson Education.
Metadaten
Titel
System Theoretic Process Analysis: A Literature Survey on the Approaches Used for Improving the Safety in Complex Systems
verfasst von
Saulo Rodrigues e Silva
Copyright-Jahr
2019
DOI
https://doi.org/10.1007/978-3-030-14850-8_7