Presentation | 2005-06-23 A Verification Method of Invalid Cells of State Transition Matrices Michihiro MATSUMOTO, Naohito YAMASHITA, Ikuko SUZUKI, Akira FUKUDA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The system like embedded software is constructed from some subsystems (tasks). The state transition matrix of each subsystem (task) is specified by a designer. Some cells may be specified as invalid cells. From the view point of the whole system, some of those cells may not be invalid cells. In this paper, we discuss how to find this problem by using a stm check tool. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Embedded Software / State Transition Matrix / Model Checking |
Paper # | SS2005-14 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2005/6/16(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) | A Verification Method of Invalid Cells of State Transition Matrices |
Sub Title (in English) | |
Keyword(1) | Embedded Software |
Keyword(2) | State Transition Matrix |
Keyword(3) | Model Checking |
1st Author's Name | Michihiro MATSUMOTO |
1st Author's Affiliation | Fukuoka Laboratory for Emerging & Enabling Technology of SoC, Fukuoka Industry, Science & Technology Foundation:Graduate School of Information Science and Electrical Engineering, Kyushu University() |
2nd Author's Name | Naohito YAMASHITA |
2nd Author's Affiliation | Fukuoka Laboratory for Emerging & Enabling Technology of SoC, Fukuoka Industry, Science & Technology Foundation |
3rd Author's Name | Ikuko SUZUKI |
3rd Author's Affiliation | Integrated Circuits Group, Sharp Corporation |
4th Author's Name | Akira FUKUDA |
4th Author's Affiliation | Graduate School of Information Science and Electrical Engineering, Kyushu University |
Date | 2005-06-23 |
Paper # | SS2005-14 |
Volume (vol) | vol.105 |
Number (no) | 128 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |