• DocumentCode
    1727368
  • Title

    A Model-Driven Approach to Assuring Process Reliability

  • Author

    Habli, Ibrahim ; Kelly, Tim

  • Author_Institution
    Dept. of Comput. Sci., Univ. of York, York
  • fYear
    2008
  • Firstpage
    7
  • Lastpage
    16
  • Abstract
    The process can fail to deliver its expected outputs and consequently contribute to the introduction of faults into the software system. The process may fail due to ambiguous and unsuitable notations, unreliable tool-support, flawed methods and techniques or incompetent personnel. However, not all process activities pose the same degree of risks and therefore require the same degree of rigour. In this paper, we define an extendable metamodel for describing lifecycle processes. The metamodel embodies attributes which facilitate the automated analysis of the process, revealing possible process failures and associated risks. The metamodel also provides the capability to automatically verify the compliance of the process with certification standards. The metamodel is evaluated against processes from the aerospace and automotive domains.
  • Keywords
    formal specification; software reliability; systems analysis; automated analysis; extendable metamodel; lifecycle processes; model-driven approach; process failures; process reliability; software system faults; Aerospace testing; Automotive engineering; Certification; Control systems; Humans; Personnel; Power system reliability; Reliability engineering; Software safety; Software systems; meta-modelling; process modelling; safety; software reliability; software safety case;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on
  • Conference_Location
    Seattle, WA
  • ISSN
    1071-9458
  • Print_ISBN
    978-0-7695-3405-3
  • Electronic_ISBN
    1071-9458
  • Type

    conf

  • DOI
    10.1109/ISSRE.2008.19
  • Filename
    4700305