%0 Book Section %1 tadano2011automatic %A Tadano, Kumiko %A Xiang, Jiangwen %A Kawato, Masahiro %A Maeno, Yoshiharu %B Computer Safety, Reliability, and Security %D 2011 %E Flammini, Francesco %E Bologna, Sandro %E Vittorini, Valeria %I Springer Berlin Heidelberg %K automatic synthesis %P 296-309 %R 10.1007/978-3-642-24270-0_22 %T Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis %U http://dx.doi.org/10.1007/978-3-642-24270-0_22 %V 6894 %X In order to cost-effectively verify whether system designs of information systems satisfy availability requirements, it is reasonable to utilize a model-based availability assessment of system design containing administrative operation procedures and a system configuration, because it does not require installing and testing in a real environment. However, since the model-based availability assessments typically require special expertise in mathematical modeling, it would be difficult for a practical system designer to build a correct availability model to assess his/her system design. Although there have been several methods to automatically synthesize the availability model from widely-used design description languages, the synthesized models do not capture impacts caused by operations in operation procedures on availability. To address this issue, this paper proposes a method to automatically synthesize an availability model in the form of stochastic reward net (SRN) from Systems Modeling Language (SysML) diagrams to specify operation procedures and system configurations. Modeling all the features of individual operations is impractical because the amount of required information in SysML diagrams input by system designers becomes larger as the number of features increases. To design the availability models with a smallest possible number of features, we classify typical availability-related features of operations into %@ 978-3-642-24269-4

@incollection{tadano2011automatic, abstract = {In order to cost-effectively verify whether system designs of information systems satisfy availability requirements, it is reasonable to utilize a model-based availability assessment of system design containing administrative operation procedures and a system configuration, because it does not require installing and testing in a real environment. However, since the model-based availability assessments typically require special expertise in mathematical modeling, it would be difficult for a practical system designer to build a correct availability model to assess his/her system design. Although there have been several methods to automatically synthesize the availability model from widely-used design description languages, the synthesized models do not capture impacts caused by operations in operation procedures on availability. To address this issue, this paper proposes a method to automatically synthesize an availability model in the form of stochastic reward net (SRN) from Systems Modeling Language (SysML) diagrams to specify operation procedures and system configurations. Modeling all the features of individual operations is impractical because the amount of required information in SysML diagrams input by system designers becomes larger as the number of features increases. To design the availability models with a smallest possible number of features, we classify typical availability-related features of operations into }, added-at = {2014-08-21T11:06:46.000+0200}, author = {Tadano, Kumiko and Xiang, Jiangwen and Kawato, Masahiro and Maeno, Yoshiharu}, biburl = {https://www.bibsonomy.org/bibtex/293fffdefe66b7c655898031fd8e296a3/avail_map_stud}, booktitle = {Computer Safety, Reliability, and Security}, description = {Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis - Springer}, doi = {10.1007/978-3-642-24270-0_22}, editor = {Flammini, Francesco and Bologna, Sandro and Vittorini, Valeria}, interhash = {f352d6fa6ec34a282b516f1a9e3b02b3}, intrahash = {93fffdefe66b7c655898031fd8e296a3}, isbn = {978-3-642-24269-4}, keywords = {automatic synthesis}, language = {English}, pages = {296-309}, publisher = {Springer Berlin Heidelberg}, series = {Lecture Notes in Computer Science}, timestamp = {2014-08-21T11:06:46.000+0200}, title = {Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis}, url = {http://dx.doi.org/10.1007/978-3-642-24270-0_22}, volume = 6894, year = 2011 }