| Presentation | 2013-10-24 Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking : Generating the Model Automatically by Simulation Ryousuke KONOSHITA, Satoshi YAMANE, Kouhei SAKURAI, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | We aim at Model Checking for Embedded Systems. We describe the outline of Behavior Extractor that automatically constructs a model. Also we describe factors that make it difficult to develop. Extractor have possibility of the state explosion. In particular, interruption and reactive nature affect it. Interruption can be specified by masking bits. Therefore, it is possible to remove unnecessary interruption and to avoid the state explosion. Reactive nature is represented by Undefined Value, and it can decrease possibility of the state explosion. It is enabled by abstract representation of a bit-by-bit for certain values. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Model Checking / Embedded System / Dynamic Program Analysis / Assembly Program |
| Paper # | SS2013-37 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2013/10/17(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Development of the Behavior Extractor for Assembly Program of Embedded CISC Microcomputer and Adapting to Model Checking : Generating the Model Automatically by Simulation |
| Sub Title (in English) | |
| Keyword(1) | Model Checking |
| Keyword(2) | Embedded System |
| Keyword(3) | Dynamic Program Analysis |
| Keyword(4) | Assembly Program |
| 1st Author's Name | Ryousuke KONOSHITA |
| 1st Author's Affiliation | Kanazawa University() |
| 2nd Author's Name | Satoshi YAMANE |
| 2nd Author's Affiliation | Kanazawa University |
| 3rd Author's Name | Kouhei SAKURAI |
| 3rd Author's Affiliation | Kanazawa University |
| Date | 2013-10-24 |
| Paper # | SS2013-37 |
| Volume (vol) | vol.113 |
| Number (no) | 269 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |