Paper Abstract and Keywords |
Presentation |
2012-05-10 16:25
Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model Akira Kado, Akio Nakata (Hiroshima City Univ.) SS2012-5 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
In the development of embedded systems, it is generally difficult to check, in the design phase, whether or not a designed system meets its performance requirement under its severe resource constraints. So far, we have proposed a method (throughput performance verification) to check whether a multitask software specification with resource information (processor, bus, etc.) meets a given throughput performance requirement. However, in the method, in order to reduce verification complexity, the detailed behaviors inside the tasks are abstracted. Thus, there may be some difference between the verification result and the implementation. In this case study, we take an airship autopilot software as an example of a practical scale embedded system design along with a working implementation. With this example, we evaluate the difference between the throughput performance verification result and measured throughput performance of its implementation to examine usefulness of the throughput performance verification method. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
embedded systems / multitask software / design model / performance verification / throughput / / / |
Reference Info. |
IEICE Tech. Rep., vol. 112, no. 23, SS2012-5, pp. 25-30, May 2012. |
Paper # |
SS2012-5 |
Date of Issue |
2012-05-03 (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-5 |
Conference Information |
Committee |
SS |
Conference Date |
2012-05-10 - 2012-05-11 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Ehime Univ. |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
General topics |
Paper Information |
Registration To |
SS |
Conference Code |
2012-05-SS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
Throughput Performance Verification of Airship Autopilot Software: A Case Study for Evaluating Performance Verification of Software Design Model |
Sub Title (in English) |
|
Keyword(1) |
embedded systems |
Keyword(2) |
multitask software |
Keyword(3) |
design model |
Keyword(4) |
performance verification |
Keyword(5) |
throughput |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Akira Kado |
1st Author's Affiliation |
Hiroshima City University (Hiroshima City Univ.) |
2nd Author's Name |
Akio Nakata |
2nd Author's Affiliation |
Hiroshima City University (Hiroshima City Univ.) |
3rd Author's Name |
|
3rd Author's Affiliation |
() |
4th Author's Name |
|
4th Author's Affiliation |
() |
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-05-10 16:25:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
SS2012-5 |
Volume (vol) |
vol.112 |
Number (no) |
no.23 |
Page |
pp.25-30 |
#Pages |
6 |
Date of Issue |
2012-05-03 (SS) |
|