Art

J-GLOBAL ID：201502252601846959   Reference number：15A0745208

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

構成可能モデル抽出に基づく故障解析のモデル検査方式

Author (5)： OGAWA Hideto (Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.) ,  ICHII Makoto (Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.) ,  MYOJIN Tomoyuki (Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.) ,  CHIKAHISA Masaki (Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.) ,  NAKAGAWA Yuichiro (Res. & Dev. Group, Center for Technol. Innovation - Systems Engineering, Hitachi, Ltd.)
Material： IEICE Transactions on Information and Systems (Web)  (IEICE Trans Inf Syst (Web))
Volume： E98.D  Issue： 6  Page： 1150-1160 (J-STAGE)  Publication year： 2015 
JST Material Number： U0469A  ISSN： 1745-1361  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： ENGLISH (EN)

Thesaurus term： *model checking ,  failure analysis ,  *program transformation ,  modeling ,  *C language ,  case study ,  *software failure ,  computer code ,  framework ,  abstract interpretation
Semi thesaurus term： model transformation ,  source code

JST classification (1)： Computer system development  (JD02010R)

Reference (14)：

• [1] H. Ogawa, M. Ichii, F. Kumeno, and T. Aoki, “A practical study of debugging using model checking,” Proc. Asia-Pacific Software Engineering Conf. (APSEC), pp.134-139, 2013.
• [2] M. Ichii, T. Myojin, Y. Nakagawa, M. Chikahisa, and H. Ogawa, “A rule-based automated approach for extracting models from source code,” Proc. Working Conf. on Reverse Engineering (WCRE), pp.308-317, 2012.
• [3] G.J. Holzmann, The spin model checker: Primer and reference manual, ISBN: 0-321-22862-6, 2004.
• [4] R.C. Gronback, Eclipse modeling project: A domain-specific language (DSL) toolkit, Pearson Education, 2009.
• [5] ISO/IEC/IEEE, ISO/IEC/IEEE24765: 2010 Systems and software engineering-Vocabulary, 2010.

Terms in the title (3)： モデル ,  故障解析 ,  モデル検査