• DocumentCode
    3076786
  • Title

    Synthesizing SRN Models from System Operations with SysML Diagrams for Availability Analysis

  • Author

    Tadano, Kumiko ; Xiang, Jianwen ; Kawato, Masahiro ; Maeno, Yoshiharu

  • Author_Institution
    Service Platforms Res. Labs., NEC Corp., Kawasaki, Japan
  • fYear
    2011
  • fDate
    27-29 June 2011
  • Firstpage
    5
  • Lastpage
    6
  • Abstract
    The paper proposes a method to synthesize stochastic reward nets (SRN) models from System Modeling Language (SysML) diagrams to evaluate the impact caused by operations in an operation procedure on availability in a systematic way for the ordinary system designers. The proposed method is implemented on in-house model-based system evaluation framework of NEC, called CASSI, for performance and availability analysis.
  • Keywords
    simulation languages; software engineering; SRN model synthesis; SysML diagram; System Modeling Language; availability analysis; stochastic reward nets; Analytical models; Availability; Computational modeling; Maintenance engineering; Software reliability; System analysis and design; Systematics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on
  • Conference_Location
    Jeju Island
  • Print_ISBN
    978-1-4577-0781-0
  • Electronic_ISBN
    978-0-7695-4454-0
  • Type

    conf

  • DOI
    10.1109/SSIRI-C.2011.44
  • Filename
    6004493
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3076786