Paper Abstract and Keywords |
Presentation |
2006-11-16 14:20
Considering Safety in Integrated Services in Home Network System Ben Yan, Masahide Nakamura (NAIST), Lydie du Bousquet (IMAG), Ken-ichi Matsumoto (NAIST) IN2006-97 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
The HNS (Home Network System) integrated service is to orchestrate multiple networked appliances to add value of user’s life. Recently, the research and development of the HNS are getting more and more attention. Assuring the safety of HNS is the crucial problem to protect the users and the home properties. In order to tackle this problem, this paper addresses the verification of safety of the HNS integrated services. Moreover, we propose a model of HNS for the safety validation, and a concrete procedure of the validation. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Home Network System / Integrated services / Safety / Model / JML / Design by Contract / / |
Reference Info. |
IEICE Tech. Rep., vol. 106, no. 358, IN2006-97, pp. 49-54, Nov. 2006. |
Paper # |
IN2006-97 |
Date of Issue |
2006-11-09 (IN) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
IN2006-97 |
Conference Information |
Committee |
IN MoNA |
Conference Date |
2006-11-16 - 2006-11-17 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
|
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
FMC, Mobile Network, Home Network, etc. |
Paper Information |
Registration To |
IN |
Conference Code |
2006-11-IN-MoMuC |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Considering Safety in Integrated Services in Home Network System |
Sub Title (in English) |
|
Keyword(1) |
Home Network System |
Keyword(2) |
Integrated services |
Keyword(3) |
Safety |
Keyword(4) |
Model |
Keyword(5) |
JML |
Keyword(6) |
Design by Contract |
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Ben Yan |
1st Author's Affiliation |
Nara Institute of Science and Technology (NAIST) |
2nd Author's Name |
Masahide Nakamura |
2nd Author's Affiliation |
Nara Institute of Science and Technology (NAIST) |
3rd Author's Name |
Lydie du Bousquet |
3rd Author's Affiliation |
LSR Laboratory, IMAG, Joseph Fourier University (Grenoble I), France (IMAG) |
4th Author's Name |
Ken-ichi Matsumoto |
4th Author's Affiliation |
Nara Institute of Science and Technology (NAIST) |
5th Author's Name |
|
5th Author's Affiliation |
() |
6th Author's Name |
|
6th Author's Affiliation |
() |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2006-11-16 14:20:00 |
Presentation Time |
20 minutes |
Registration for |
IN |
Paper # |
IN2006-97 |
Volume (vol) |
vol.106 |
Number (no) |
no.358 |
Page |
pp.49-54 |
#Pages |
6 |
Date of Issue |
2006-11-09 (IN) |
|