Presentation | 2015-03-06 組込みアセンブリプログラムからのモデル抽出による記号モデル検査(離散事象システム及び一般) TOMONORI Kato, RYOSUKE Konoshita, KOHEI Sakurai, SATOSHI Yamane, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Embedded systems have been widely used. In addition, embedded systems have been gradually complicated. It is important to ensure the safety for complex systems. Model checking is effective to ensure the safety for complex systems. We have developed SMV converter to change the output of the Behavior Extractor into the input of the NuSMV. We have introduced the dead variable reduction to reduce the number of states. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Model Checking / Embedded System / Assembly Program / NuSMV |
Paper # | MSS2014-102 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2015/2/26(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | |
Sub Title (in English) | |
Keyword(1) | Model Checking |
Keyword(2) | Embedded System |
Keyword(3) | Assembly Program |
Keyword(4) | NuSMV |
1st Author's Name | TOMONORI Kato |
1st Author's Affiliation | Kanazawa University() |
2nd Author's Name | RYOSUKE Konoshita |
2nd Author's Affiliation | Kanazawa University |
3rd Author's Name | KOHEI Sakurai |
3rd Author's Affiliation | Kanazawa University |
4th Author's Name | SATOSHI Yamane |
4th Author's Affiliation | Kanazawa University |
Date | 2015-03-06 |
Paper # | MSS2014-102 |
Volume (vol) | vol.114 |
Number (no) | 493 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |