Presentation | 2009-08-06 Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2 Akihiko ITO, Takeshi NAGAOKA, Kozo OKANO, Shinji KUSUMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | For distributed systems, managing QoS parameters is a focal point of their quality. In this paper, focusing on PRISM, a model checking tool for probabilistic real-time systems, we present a new method to analysis real-time network systems detailed, and to implement formal verification with the use of this result. The paper also describes an application example and evaluation of the method with network simulator NS-2. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Real-time Network System / Model Checking / PRISM / Simulation / Formal Verification |
Paper # | SS2009-18 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2009/7/30(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) | Verification for the Real-time Network Systems with the Probabilistic Model Checker and its Comparision with the Network Simulator NS-2 |
Sub Title (in English) | |
Keyword(1) | Real-time Network System |
Keyword(2) | Model Checking |
Keyword(3) | PRISM |
Keyword(4) | Simulation |
Keyword(5) | Formal Verification |
1st Author's Name | Akihiko ITO |
1st Author's Affiliation | Graduate School of Information Science and Technology, Osaka University() |
2nd Author's Name | Takeshi NAGAOKA |
2nd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
3rd Author's Name | Kozo OKANO |
3rd Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
4th Author's Name | Shinji KUSUMOTO |
4th Author's Affiliation | Graduate School of Information Science and Technology, Osaka University |
Date | 2009-08-06 |
Paper # | SS2009-18 |
Volume (vol) | vol.109 |
Number (no) | 170 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |