Paper Abstract and Keywords |
Presentation |
2012-11-01 13:15
Application of formal methods to network behavior dependent systems Nobuaki Yoshida (ASTEM), Han-Myung Chang, Atsushi Sawada (Nanzan Univ.), Yukihiro Nakamura (ASTEM) SS2012-39 |
Abstract |
(in Japanese) |
(See Japanese page) |
(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) |
(in English) |
Mobile systems / Ubiquitous systems / System architecture / Formal methods / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 112, no. 275, SS2012-39, pp. 35-40, Nov. 2012. |
Paper # |
SS2012-39 |
Date of Issue |
2012-10-25 (SS) |
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 |
SS2012-39 |
Conference Information |
Committee |
SS IPSJ-SE |
Conference Date |
2012-11-01 - 2012-11-02 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Hiroshima City University |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
Software science, theory |
Paper Information |
Registration To |
SS |
Conference Code |
2012-11-SS-SE |
Language |
Japanese |
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 |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Nobuaki Yoshida |
1st Author's Affiliation |
ASTEM RI/Kyoto (ASTEM) |
2nd Author's Name |
Han-Myung Chang |
2nd Author's Affiliation |
Nanzan University (Nanzan Univ.) |
3rd Author's Name |
Atsushi Sawada |
3rd Author's Affiliation |
Nanzan University (Nanzan Univ.) |
4th Author's Name |
Yukihiro Nakamura |
4th Author's Affiliation |
ASTEM RI/Kyoto (ASTEM) |
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 |
2012-11-01 13:15:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
SS2012-39 |
Volume (vol) |
vol.112 |
Number (no) |
no.275 |
Page |
pp.35-40 |
#Pages |
6 |
Date of Issue |
2012-10-25 (SS) |
|