A fault model for fault injection analysis of dynamic UML specifications. Ammar, H., Yacoub, S., & Ibrahim, A In 12th International Symposium on Software Reliability Engineering, 2001. ISSRE 2001. Proceedings, pages 74--83, November, 2001. doi abstract bibtex Verification and validation (V\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\&V are proposed at the code level. In this paper, we address V\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.
@inproceedings{ ammar_fault_2001,
title = {A fault model for fault injection analysis of dynamic {UML} specifications},
doi = {10.1109/ISSRE.2001.989460},
abstract = {Verification and validation (V\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\&V are proposed at the code level. In this paper, we address V\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.},
booktitle = {12th {International} {Symposium} on {Software} {Reliability} {Engineering}, 2001. {ISSRE} 2001. {Proceedings}},
author = {Ammar, H.H. and Yacoub, S.M. and Ibrahim, A},
month = {November},
year = {2001},
keywords = {Application software, Collaborative software, Embedded software, Failure analysis, Fault model, Formal specification, Object oriented modeling, Performance analysis, Programming, Software systems, Software verification and validation, Unified modeling language, _done, _model_of_faults, _target_is_specification, _use_for_testing, analytical models, cardiac pacemaker, dynamic UML specifications, fault injection analysis, program verification, software fault tolerance, software specifications, specification languages, statecharts},
pages = {74--83}
}
Downloads: 0
{"_id":"7hrR9YXS483hEcSem","bibbaseid":"ammar-yacoub-ibrahim-afaultmodelforfaultinjectionanalysisofdynamicumlspecifications-2001","downloads":0,"creationDate":"2015-04-15T11:01:18.866Z","title":"A fault model for fault injection analysis of dynamic UML specifications","author_short":["Ammar, H.","Yacoub, S.","Ibrahim, A"],"year":2001,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/troeger","bibdata":{"abstract":"Verification and validation (V\\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\\&V are proposed at the code level. In this paper, we address V\\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.","author":["Ammar, H.H.","Yacoub, S.M.","Ibrahim, A"],"author_short":["Ammar, H.","Yacoub, S.","Ibrahim, A"],"bibtex":"@inproceedings{ ammar_fault_2001,\n title = {A fault model for fault injection analysis of dynamic {UML} specifications},\n doi = {10.1109/ISSRE.2001.989460},\n abstract = {Verification and validation (V\\&V) tasks, as applied to software specifications, enable early detection of analysis and design flaws prior to implementation. Several fault injection techniques for software V\\&V are proposed at the code level. In this paper, we address V\\&V analysis methods based on fault injection at the software specification level. We present a fault model and a fault injection process for UML dynamic specifications. We use a case study based on a cardiac pacemaker for illustrating the developed approach.},\n booktitle = {12th {International} {Symposium} on {Software} {Reliability} {Engineering}, 2001. {ISSRE} 2001. {Proceedings}},\n author = {Ammar, H.H. and Yacoub, S.M. and Ibrahim, A},\n month = {November},\n year = {2001},\n keywords = {Application software, Collaborative software, Embedded software, Failure analysis, Fault model, Formal specification, Object oriented modeling, Performance analysis, Programming, Software systems, Software verification and validation, Unified modeling language, _done, _model_of_faults, _target_is_specification, _use_for_testing, analytical models, cardiac pacemaker, dynamic UML specifications, fault injection analysis, program verification, software fault tolerance, software specifications, specification languages, statecharts},\n pages = {74--83}\n}","bibtype":"inproceedings","booktitle":"12th International Symposium on Software Reliability Engineering, 2001. ISSRE 2001. Proceedings","doi":"10.1109/ISSRE.2001.989460","id":"ammar_fault_2001","key":"ammar_fault_2001","keywords":"Application software, Collaborative software, Embedded software, Failure analysis, Fault model, Formal specification, Object oriented modeling, Performance analysis, Programming, Software systems, Software verification and validation, Unified modeling language, _done, _model_of_faults, _target_is_specification, _use_for_testing, analytical models, cardiac pacemaker, dynamic UML specifications, fault injection analysis, program verification, software fault tolerance, software specifications, specification languages, statecharts","month":"November","pages":"74--83","title":"A fault model for fault injection analysis of dynamic UML specifications","type":"inproceedings","year":"2001","bibbaseid":"ammar-yacoub-ibrahim-afaultmodelforfaultinjectionanalysisofdynamicumlspecifications-2001","role":"author","urls":{},"keyword":["Application software","Collaborative software","Embedded software","Failure analysis","Fault model","Formal specification","Object oriented modeling","Performance analysis","Programming","Software systems","Software verification and validation","Unified modeling language","_done","_model_of_faults","_target_is_specification","_use_for_testing","analytical models","cardiac pacemaker","dynamic UML specifications","fault injection analysis","program verification","software fault tolerance","software specifications","specification languages","statecharts"],"downloads":0},"search_terms":["fault","model","fault","injection","analysis","dynamic","uml","specifications","ammar","yacoub","ibrahim"],"keywords":["application software","collaborative software","embedded software","failure analysis","fault model","formal specification","object oriented modeling","performance analysis","programming","software systems","software verification and validation","unified modeling language","_done","_model_of_faults","_target_is_specification","_use_for_testing","analytical models","cardiac pacemaker","dynamic uml specifications","fault injection analysis","program verification","software fault tolerance","software specifications","specification languages","statecharts"],"authorIDs":[],"dataSources":["zHc5HdgBCDgkarEqH"]}