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
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;
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
DOI :
10.1109/SSIRI-C.2011.44
