Fail-Safe Testing of Safety-Critical Systems. Gario, A., Andrews, & Mayrhauser, A. In Software Engineering Conference (ASWEC), 2014 23rd Australian, pages 190--199, April, 2014. doi abstract bibtex 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. A case study from the literature illustrates how to apply the approach.
@inproceedings{ gario_fail-safe_2014,
title = {Fail-{Safe} {Testing} of {Safety}-{Critical} {Systems}},
doi = {10.1109/ASWEC.2014.19},
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. A case study from the literature illustrates how to apply the approach.},
booktitle = {Software {Engineering} {Conference} ({ASWEC}), 2014 23rd {Australian}},
author = {Gario, Ahmed and Andrews, Avon Mayrhauser},
month = {April},
year = {2014},
keywords = {Behavioral Model, CEFSM, FTA, Fault model, Fault trees, Integration, Logic gates, Safety, Safety-Critical, Software, Testing, Unified modeling language, _done, analytical models, finite state machine},
pages = {190--199}
}
Downloads: 0
{"_id":"bJMNWxRoTtQYGZ2Zm","bibbaseid":"gario-andrews-mayrhauser-failsafetestingofsafetycriticalsystems-2014","downloads":0,"creationDate":"2015-04-15T11:01:18.480Z","title":"Fail-Safe Testing of Safety-Critical Systems","author_short":["Gario, A.","Andrews","Mayrhauser, A."],"year":2014,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/troeger","bibdata":{"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. A case study from the literature illustrates how to apply the approach.","author":["Gario, Ahmed","Andrews","Mayrhauser, Avon"],"author_short":["Gario, A.","Andrews","Mayrhauser, A."],"bibtex":"@inproceedings{ gario_fail-safe_2014,\n title = {Fail-{Safe} {Testing} of {Safety}-{Critical} {Systems}},\n doi = {10.1109/ASWEC.2014.19},\n 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. A case study from the literature illustrates how to apply the approach.},\n booktitle = {Software {Engineering} {Conference} ({ASWEC}), 2014 23rd {Australian}},\n author = {Gario, Ahmed and Andrews, Avon Mayrhauser},\n month = {April},\n year = {2014},\n keywords = {Behavioral Model, CEFSM, FTA, Fault model, Fault trees, Integration, Logic gates, Safety, Safety-Critical, Software, Testing, Unified modeling language, _done, analytical models, finite state machine},\n pages = {190--199}\n}","bibtype":"inproceedings","booktitle":"Software Engineering Conference (ASWEC), 2014 23rd Australian","doi":"10.1109/ASWEC.2014.19","id":"gario_fail-safe_2014","key":"gario_fail-safe_2014","keywords":"Behavioral Model, CEFSM, FTA, Fault model, Fault trees, Integration, Logic gates, Safety, Safety-Critical, Software, Testing, Unified modeling language, _done, analytical models, finite state machine","month":"April","pages":"190--199","title":"Fail-Safe Testing of Safety-Critical Systems","type":"inproceedings","year":"2014","bibbaseid":"gario-andrews-mayrhauser-failsafetestingofsafetycriticalsystems-2014","role":"author","urls":{},"keyword":["Behavioral Model","CEFSM","FTA","Fault model","Fault trees","Integration","Logic gates","Safety","Safety-Critical","Software","Testing","Unified modeling language","_done","analytical models","finite state machine"],"downloads":0},"search_terms":["fail","safe","testing","safety","critical","systems","gario","andrews","mayrhauser"],"keywords":["behavioral model","cefsm","fta","fault model","fault trees","integration","logic gates","safety","safety-critical","software","testing","unified modeling language","_done","analytical models","finite state machine"],"authorIDs":[],"dataSources":["zHc5HdgBCDgkarEqH"]}