Presentation | 2012-11-01 Application of formal methods to network behavior dependent systems Nobuaki YOSHIDA, Han-Myung CHANG, Atsushi SAWADA, Yukihiro NAKAMURA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper, we study application of formal methods to "mobile systems", which consist of wireless devices distributed over wide-spread area and provide services to mobile devices through wireless communications. In mobile systems, behavior of software highly depends on underlying wireless network topology; software in mobile systems must realize stable services depending on changeable network topology which often unstabilizes them. To reflect this property, modeling and verification methods must be developed focusing on such network behavior, under the premise of layered architecture. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Mobile systems / Ubiquitous systems / System architecture / Formal methods |
Paper # | SS2012-39 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 2012/10/25(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) | Application of formal methods to network behavior dependent systems |
Sub Title (in English) | |
Keyword(1) | Mobile systems |
Keyword(2) | Ubiquitous systems |
Keyword(3) | System architecture |
Keyword(4) | Formal methods |
1st Author's Name | Nobuaki YOSHIDA |
1st Author's Affiliation | ASTEM RI/Kyoto() |
2nd Author's Name | Han-Myung CHANG |
2nd Author's Affiliation | Faculty of Information Sciences and Engineering, Nanzan University |
3rd Author's Name | Atsushi SAWADA |
3rd Author's Affiliation | Faculty of Information Sciences and Engineering, Nanzan University |
4th Author's Name | Yukihiro NAKAMURA |
4th Author's Affiliation | ASTEM RI/Kyoto |
Date | 2012-11-01 |
Paper # | SS2012-39 |
Volume (vol) | vol.112 |
Number (no) | 275 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |