Presentation | 2007-03-08 Describing and Verifying Safety in Integrated Services of Home Network System by JML Considering Safety Ben YAN, Masahide NAKAMURA, Lydie DU BOUSQUET, Ken-ichi MATSUMOTO, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The recent ubiquitous technologies allow home electric appliances and sensors to be connected with local area network at home. While when we develop such HNS (Home Network System) integrated services and provide them to the users, we must assure that the integrated services are safe for the users, the appliances and the environments. In the normal operations of these appliances are very different from the operations of the HNS, so the development and the implementation of the HNS integrated service need more careful and exact safety measures for the safe operations of the appliances. There is a possibility that the bug and the logic mistake of software cause an accident and serious damage. In order to solute this problem, we present a framework to verify the safety of integrated service of HNS by using the DBC(Design by Contract) and JML(Java Modeling Language) |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Home Network System / Integrated services / Safety / Model / JML / JUnit / Design by Contract / Test Case |
Paper # | NS2006-159 |
Date of Issue |
Conference Information | |
Committee | NS |
---|---|
Conference Date | 2007/3/1(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 | Network Systems(NS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Describing and Verifying Safety in Integrated Services of Home Network System by JML Considering Safety |
Sub Title (in English) | |
Keyword(1) | Home Network System |
Keyword(2) | Integrated services |
Keyword(3) | Safety |
Keyword(4) | Model |
Keyword(5) | JML |
Keyword(6) | JUnit |
Keyword(7) | Design by Contract |
Keyword(8) | Test Case |
1st Author's Name | Ben YAN |
1st Author's Affiliation | Nara Institute of Science and Technology() |
2nd Author's Name | Masahide NAKAMURA |
2nd Author's Affiliation | Nara Institute of Science and Technology |
3rd Author's Name | Lydie DU BOUSQUET |
3rd Author's Affiliation | LSR Laboratory, IMAG, Joseph Fourier University(Grenoble I) |
4th Author's Name | Ken-ichi MATSUMOTO |
4th Author's Affiliation | Nara Institute of Science and Technology |
Date | 2007-03-08 |
Paper # | NS2006-159 |
Volume (vol) | vol.106 |
Number (no) | 577 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |