Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software Quality Journal
Erschienen in: Software Quality Journal 1/2018

23.07.2015

Fail-safe testing of safety-critical systems: a case study and efficiency analysis

verfasst von: Ahmed Gario, Anneliese Andrews, Seana Hagerman

Erschienen in: Software Quality Journal | Ausgabe 1/2018

Einloggen

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

search-config
loading …

Abstract

This paper proposes an approach for testing of safety-critical systems. It is based on a behavioral and a fault model. The two models are analyzed for compatibility, and necessary changes are identified to make them compatible. Then, transformation rules are used to transform the fault model into the same model type as the behavioral model. Integration rules define how to combine them. This approach results in an integrated model which then can be used to generate tests using a variety of testing criteria. The paper illustrates this general framework using a CEFSM for the behavioral model and a fault tree for the fault model. We apply the technique to an aerospace launch system. We also investigate the scalability of the approach and compare its efficiency with integrating a state chart and a fault tree.
Vorheriger Artikel In this issue
Nächster Artikel Predicting failures in agile software development through data analytics

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

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
For readability, we omit some of the variables for the gates.
 
2
This front-end tool is a collaboration between the University of Denver and the University of North Dakota.
 
Literatur
Amberkar, S., Murray, M. T., Demerly, J. D., D’Ambrosio, J. G., & Czerny, B. J. (2001). A comprehensive hazard analysis technique for safety-critical automotive systems.
Angeletti, D., Giunchiglia, E., Narizzano, M., Puddu, A., & Sabina, S. (2009). Automatic test generation for coverage analysis of ERTMS software. In International Conference on Software Testing Verification and Validation, 2009. ICST ’09 (pp. 303–306). Washington, DC, USA.
Bobbio, A., Portinale, L., Minichino, M., & Ciancamerla, E. (2001). Improving the analysis of dependable systems by mapping fault trees into bayesian networks. Reliability Engineering and System Safety, 71(3), 249–260.CrossRef
Boroday, S., Petrenko, A., Groz, R., & Quemener, Y. M. (2002). Test generation for CEFSM combining specification and fault coverage. In Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV, TestCom ’02 (pp. 355–372). Deventer: Kluwer, B.V.
Boudali, H., & Dugan, J. B. (2005). A discrete-time bayesian network reliability modeling and analysis framework. Reliability Engineering and System Safety, 87, 337–349.CrossRef
Bourhfir, C., Aboulhamid, E., Dssouli, R., & Rico, N. (2001). A test case generation approach for conformance testing of SDL systems. Computer Communications, 24(3–4), 319–333.CrossRef
Bourhfir, C., Dssouli, R., Aboulhamid, E. M., & Rico, N. (1998). A guided incremental test case generation procedure for conformance testing for CEFSM specified protocols. In Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems, IWTCS (pp. 275–290). Deventer: Kluwer, B.V.
Bourhfir, C., Dssouli, R., Aboulhamid, M., & Rico, N. (1999). A test case generation tool for conformance testing of SDL systems. In SDL forum (pp. 405–420).
Buchacker, K., & Friedrich Alexander Universitht, I. (1999). Combining fault trees and petri nets to model safety-critical systems. In Society for Computer Simulation International (pp. 439–444).
Byun, Y. (2003). Pattern-based design and validation of communication protocols. Ph.D. thesis, University of Florida, Gainesville, FL, USA.
Byun, Y., Beverly, S., & Chung, K. (2002). A pattern language for communication protocols. In Proceedings of the 9th Conference on Pattern Languages of Programs (PLoP).
Byun, Y., & Sanders, B. A. (2005). A pattern-based development methodology for communication protocols. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, & Roger L. Wainwright, (Eds.) SAC (pp. 1524–1528). ACM.
Byun, Y., & Sanders, B. A. (2006). A pattern-based development methodology for communication protocols. Journal of Information Science and Engineering, 22(2), 315–335.
Byun, Y., Sanders, B. A., & Keum, C. (2001). Design patterns of communicating extended finite state machines in sdl. In In proceedings of the 8th Conference on Pattern Languages if Programs.
Cheng, K. T., & Krishnakumar, K. S. (1993). Automatic functional test generation using the extended finite state machine model. In 30th Conference on Design Automation (pp. 86–91).
Czerny, B. J., Ambrosio, J. G., Murray, B. T., & Sundaram, P. (2005) Effective application of software safety techniques for automotive embedded control systems. Engineering, 1(724).
Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G.C., et al. (1999). Model-based testing in practice. In ICSE (pp. 285–294).
Ek, A., Grabowski, J., Hogrefe, D., Jerome, R., Koch, B., & Schmitt II, M. (1997). Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications. In SDL forum (pp. 245–260).
El Ariss, O., Xu, D., & Wong, W. E. (2011). Integrating safety analysis with functional modeling. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 41(4), 610–624.CrossRef
Ericson, C. A. (2005). Hazard analysis techniques for system safety. New Jersey: wiley-interscience.CrossRef
Flammini, F., Marrone, S., Iacono, M., Mazzocca, N., & Vittorini, V. (2014). A multiformalism modular approach to ERTMS/ETCS failure modeling. International Journal of Reliability, Quality and Safety Engineering, 21(01), 1–29.CrossRef
Flammini, F., Mazzocca, N., Iacono, M., & Marrone, S. (2005). Using repairable fault trees for the evaluation of design choices for critical repairable systems. In Proceedings of the Ninth IEEE International Symposium on High-Assurance Systems Engineering, HASE ’05 (pp. 163–172). Washington, DC, USA, 2005. IEEE Computer Society.
France, R., & Rumpe, B. (2007). Model-driven development of complex software: A research roadmap. In 2007 future of software engineering, FOSE ’07 (pp. 37–54). Washington, DC: IEEE Computer Society.
Garavel, H., Helmstetter, C., Ponsini, O., & Serwe, W. (2009). Verification of an industrial systemC/TLM model using LOTOS and CADP. In MEMOCODE (pp. 46–55).
Garavel, H., Lang, F., Mateescu, R., & Serwe, W. (2013). CADP 2011: a toolbox for the construction and analysis of distributed processes. The International Journal on Software Tools for Technology Transfer (STTT), 15(2), 89–107.CrossRefMATH
Garavel, H., Mateescu, R., & Serwe, W. (2013). Large-scale distributed verification using CADP: Beyond clusters to grids. Electronic Notes Theory Computer Science, 296, 145–161.CrossRef
Gario, A. (2014). Fail-Safe testing of safety-critical systems. PhD thesis, University of Denver, Denver, CO, USA, 11.
Gario, A., & Andrews, A. (2014). Fail-safe testing of safety-critical systems. In Software Engineering Conference (ASWEC), 2014 23rd Australian (pp. 190–199). IEEE.
Gario, A., Andrews, A., & Hagerman, S. (2014). Testing of safety-critical systems: An aerospace launch application. In Aerospace Conference, 2014 IEEE (pp. 1–17). IEEE.
Ghazel, M. (2014). Formalizing a subset of ERTMS/ETCS specifications for verification purposes. Transportation Research Part C: Emerging Technologies, 42, 60–75.CrossRef
Di Giorgio, A., & Liberati, F. (2011). Interdependency modeling and analysis of critical infrastructures based on dynamic bayesian networks. In 19th Mediterranean Conference on Control Automation (MED), 2011 (pp. 791–797).
Henniger, O., Lu, M., & Ural, H. (2004). Automatic generation of test purposes for testing distributed systems. In Alexandre Petrenko & Andreas Ulrich (Eds.), Formal approaches to software testing (Vol. 2931, pp. 1105–1105). Lecture Notes in Computer Science Berlin/Heidelberg: Springer.
Hessel, A., & Pettersson, P. (2007). A global algorithm for model-based test suite generation. Electronic Notes in Theoretical Computer Science, 190(2), 47–59.CrossRef
Kaiser, B. (2003). A fault-tree semantics to model software-controlled systems. Softwaretechnik-Trends, 23(3), 33–39.
Kaiser, B. (2005). Extending the expressive power of fault trees. In Proceedings on Reliability and Maintainability Symposium, 2005 (pp. 468–474). Alexandria, Virginia.
Kaiser, B., Gramlich, C., & Förster, M. (2007). State/event fault trees—A safety analysis model for software-controlled systems. Reliability Engineering and System Safety, 92(11), 1521–1537.CrossRef
Kaiser, B., Liggesmeyer, P., & Mäckel, O. (2003). A new component concept for fault trees. In Proceedings of the 8th Australian workshop on Safety critical systems and software, volume 33 of SCS ’03 (pp. 37–46). Darlinghurst: Australian Computer Society Inc.
Kim, H., Wong, W. E., Debroy, V., & Bae, D. (2010). Bridging the gap between fault trees and UML state machine diagrams for safety analysis. In 17th Asia Pacific Software Engineering Conference (APSEC) (pp. 196–205).
Kloos, J., Hussain, T., & Eschbach, R. (2011). Risk-based testing of safety-critical embedded systems driven by fault tree analysis. In IEEE International Conference on Software Testing Verification and Validation Workshop (ICSTW 2011) (pp. 26–33). Los Alamitos, CA: IEEE Computer Society.
Kovács, G., Pap, Z., & Csopaki, G. (2002). Automatic test selection based on CEFSM specifications. Acta Cybernet, 15(4), 583–599.MATH
Leaphart, E. G., Czerny, B. J., Ambrosio, J. G. D., Denlinger, C. L., & Littlejohn, D. (2005). Survey of software failsafe techniques for safety-critical automotive applications. Engineering, 1(724).
Lee, D., & Yannakakis, M. (1996). Principles and methods of testing finite state machines- a survey. Proceedings of the IEEE, 84(8), 1090–1123.CrossRef
Leveson, N. G., & Harvey, P. R. (1983). Analyzing software safety. IEEE Transactions on Software Engineering, SE–9(5), 569–579.CrossRef
Li, J. J., & Wong, W. E. (2002). Automatic test generation from communicating extended finite state machine (CEFSM)-based models. In Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2002) Proceedings (pp. 181–185).
Marrone, S., Flammini, F., Mazzocca, N., Nardone, R., Vittorini, V. (2014). Towards model-driven V&V assessment of railway control systems. International Journal on Software Tools for Technology Transfer (pp. 669–683).
Medikonda, B. S., Ramaiah, P. S., & Gokhale, A. A. (2011). FMEA and fault tree based software safety analysis of a railroad crossing critical system. Global Journal of Computer Science and Technology GJCST, 11, 57–62.
Montani, S., Portinale, L., Bobbio, A., & Codetta-Raiteri, D. (2008). Radyban: A tool for reliability analysis of dynamic fault trees through conversion into dynamic bayesian networks. Reliability Engineering and System Safety, 93(7), 922–932.CrossRef
Nazier, R., & Bauer, T. (2012). Automated risk-based testing by integrating safety analysis information into system behavior models. In IEEE 23rd International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 213–218).
Ortmeier, F., Güdemann, M., & Wolfgang, R. (2007). Formal failure models. In Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS 07). Elsevier.
Petricic, A., Crnkovic, I., & Zagar, M. (2008). Models transformation between UML and a domain specific language. In Eight Conference on Software Engineering Research and Practice in Sweden (SERPS 08).
Petricic, A., Lednicki, L., & Crnkovic, I. (2009). Using UML for domain-specific component models. In Proceedings of the 14th International Workshop on Component-Oriented Programming.
Raiteri, D. C., Franceschinis, G., Iacono, M., & Vittorini, V. (2004). Repairable fault tree for the automatic evaluation of repair policies. In 2004 International Conference on Dependable Systems and Networks (pp. 659–668).
Sánchez, M., & Felder, M. (2003). A systematic approach to generate test cases based on faults. In Argentine Symposium in Software Engineering, Buenos Aires, Argentina.
Savage, P., Walters, S., & Stephenson, M. (1997). Automated test methodology for operational flight programs. In Aerospace Conference, 1997. Proceedings, IEEE (Vol. 4, pp. 293–304).
Sinha, A., & Smidts, C. (2006). An experimental evaluation of a higher-ordered-typed-functional specification-based test-generation technique. Empirical Software Engineering, 11(2), 173–202.CrossRef
Teradyne Software and Systems Test, (1999). Testmaster: User’s guide. New Hampshire: Empirix Inc.
Tretmans, J. (2008). Model based testing with labeled transition systems. In Formal methods and testing (pp. 1–38).
Tribble, A. C., & Miller, S. P. (2004). Software intensive systems safety analysis. IEEE Aerospace and Electronic Systems Magazine, 19(10), 21–26.CrossRef
Utting, M., & Legeard, B. (2007). Practical model-based testing: A tools approach. San Francisco, CA: Morgan Kaufmann Publishers Inc.
Vesely, W., Dugan, J., Fragola, J., Minarick, & Railsback, J. (2002). Fault tree handbook with aerospace applications. Washington, DC: Handbook, National Aeronautics and Space Administration.
Vaos, J. M., & McGraw, G. (1998). Software fault injection: Inoculating programs against errors. New Jersey: Wiley Computer Pub.
Wada, H., Suzuki, J., & Takada, S. (2005). A model transformation framework for domain specific languages: An approach using UML and attribute-Oriented programming. In In Proceedings of the 9th World Multi-Conference on Systemics, Cybernetics and Informatics.
Wang, D., & Pan, J. (2010). An optimization to automatic fault tree analysis and failure mode and effect analysis approaches for processes. In 2010 International Conference on Computer Design and Applications (ICCDA) (Vol. 3, pp. 153–157).
Xiang, J., Futatsugi, K., & He, Y. (2004). Formal fault tree construction and system safety analysis. In IASTED Conference on Software Engineering (pp. 378–384).
Metadaten
Titel
Fail-safe testing of safety-critical systems: a case study and efficiency analysis
verfasst von
Ahmed Gario
Anneliese Andrews
Seana Hagerman
Publikationsdatum
23.07.2015
Verlag
Springer US
Erschienen in
Software Quality Journal / Ausgabe 1/2018
Print ISSN: 0963-9314
Elektronische ISSN: 1573-1367
DOI
https://doi.org/10.1007/s11219-015-9283-5

Weitere Artikel der Ausgabe 1/2018

Software Quality Journal 1/2018 Zur Ausgabe

ReviewPaper

A systematic literature review on quality criteria for agile requirements specifications

EditorialNotes

In this issue

OriginalPaper

Tackling class overlap and imbalance problems in software defect prediction

OriginalPaper

Predicting failures in agile software development through data analytics

OriginalPaper

Towards automation of IT systems repairs

OriginalPaper

How do developers react to API evolution? A large-scale empirical study