| Presentation | 2019-03-04 Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal Riku Nakane, Shoji Yuen, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This study proposes a verification of Yampa program behavior in the discrete runtime environment using Uppaal. Although a Yampa program is designed with continuous behavior, the actual executions are with the discrete runtime environment. This gap sometimes results in an unexpected behavior. Therefore, it is necessary to verify whether the system works properly in discrete runtime environment. we present a translation from Yampa programs to Uppaal description. It is shown that an erroneous behavior is detected by the Uppaal model checker in the bouncing-ball example. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | discrete / continuous / Yampa / Uppaal |
| Paper # | SS2018-52 |
| Date of Issue | 2019-02-25 (SS) |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2019/3/4(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | Akio Nakata(Hiroshima City Univ.) |
| Vice Chair | Takashi Kobayashi(Tokyo Inst. of Tech.) |
| Secretary | Takashi Kobayashi(Osaka Univ.) |
| Assistant | Shinpei Hayashi(Tokyo Inst. of Tech.) |
| Paper Information | |
| Registration To | Technical Committee on Software Science |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Behavioral Verification of Yampa Programs in a Discrete Runtime Environment using Uppaal |
| Sub Title (in English) | |
| Keyword(1) | discrete |
| Keyword(2) | continuous |
| Keyword(3) | Yampa |
| Keyword(4) | Uppaal |
| 1st Author's Name | Riku Nakane |
| 1st Author's Affiliation | Nagoya Univeristy(Nagoya Univ.) |
| 2nd Author's Name | Shoji Yuen |
| 2nd Author's Affiliation | Nagoya Univeristy(Nagoya Univ.) |
| Date | 2019-03-04 |
| Paper # | SS2018-52 |
| Volume (vol) | vol.118 |
| Number (no) | SS-471 |
| Page | pp.pp.1-6(SS), |
| #Pages | 6 |
| Date of Issue | 2019-02-25 (SS) |