Paper Abstract and Keywords |
Presentation |
2008-11-27 11:10
Formalization for Integrating Information Flow Diagram and Analysis Matrix to Analyze Unexpected Obstacles in Embedded Systems Tomio Inoue (Kyushu Institute of Technology), Toshiro Mise (Panasonic Electric Works Co., Ltd), Yasufumi Shinyashiki, Masaaki Hashimoto, Keiichi Katamine, Naoyasu Ubayashi (Kyushu Institute of Technology), Takako Nakatani (Tsukuba Univ.) KBSE2008-24 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
We can treat embedded systems as two aspects about unexpected obstacles such as the failure. One is a static side using IFD(Information Flow Diagram). Another is a dynamic side using analysis matrix. Therefore I formalize IFD and the analysis matrix to show the relations between both exactly. In addition, I investigate mechanism of the abstraction in the analysis matrix by formalization and help with the analysis that I used both for. In this paper, I discuss it about a definition and the effectiveness that formalized both. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
Embedded System / Unexpected Obstacles / Information Flow Diagram / Analysis Matrix / Formalization / / / |
Reference Info. |
IEICE Tech. Rep., vol. 108, no. 326, KBSE2008-24, pp. 7-12, Nov. 2008. |
Paper # |
KBSE2008-24 |
Date of Issue |
2008-11-20 (KBSE) |
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 |
KBSE2008-24 |
|