Presentation | 2014-03-06 On Development and Test Capability of Eclair : Elevator Group Controller Model Checking System Based on S-ring and SPIN Kazuya NAGAFUJI, Shingo YAMAGUCHI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we show an elevator group controller model checking system developed by us, named Eclair, and its test capability. Eclair is based on a test method combining S-ring and SPIN. We describe an implementation of Eclair to automate its test. We consider the test capability of Eclair from the viewpoint of scalability and expression capability of test items and show its usefulness. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Elevator / S-ring / Eclair / SPIN |
Paper # | MSS2013-78 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2014/2/27(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) | On Development and Test Capability of Eclair : Elevator Group Controller Model Checking System Based on S-ring and SPIN |
Sub Title (in English) | |
Keyword(1) | Elevator |
Keyword(2) | S-ring |
Keyword(3) | Eclair |
Keyword(4) | SPIN |
1st Author's Name | Kazuya NAGAFUJI |
1st Author's Affiliation | Graduate School of Science and Engineering, Yamaguchi University() |
2nd Author's Name | Shingo YAMAGUCHI |
2nd Author's Affiliation | Graduate School of Science and Engineering, Yamaguchi University |
Date | 2014-03-06 |
Paper # | MSS2013-78 |
Volume (vol) | vol.113 |
Number (no) | 466 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |