Paper Abstract and Keywords |
Presentation |
2016-01-25 18:30
A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing Junya Matsubara, Rieko Takagi, Teruyuki Nakazawa (Denso Create), Tetsuya Tohdo, Hiroyuki Ihara, Yukinori Kawaai (Denso) MSS2015-52 SS2015-61 |
Abstract |
(in Japanese) |
(See Japanese page) |
(in English) |
Due to the automotive control systems have become complex, it is necessary to ensure the dependability of the systems. In order to achieve the dependability, many formal descriptions and verification techniques are proposed for the system design, but applications are very limited cases. This study considers methodologies to build test case systematically from requirements for the purpose of introducing the benefits that concepts and techniques of the formal methods. It also provides some results of applying existing requirement-based coverage criteria to existing artifacts of a real system. |
Keyword |
(in Japanese) |
(See Japanese page) |
(in English) |
model-checking / control systems / compositional verification / UFC coverage / automatic test-case generation / / / |
Reference Info. |
IEICE Tech. Rep., vol. 115, no. 420, SS2015-61, pp. 99-103, Jan. 2016. |
Paper # |
SS2015-61 |
Date of Issue |
2016-01-18 (MSS, 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 |
MSS2015-52 SS2015-61 |
Conference Information |
Committee |
SS MSS |
Conference Date |
2016-01-25 - 2016-01-26 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Shiinoki-Geihin-Kan |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
|
Paper Information |
Registration To |
SS |
Conference Code |
2016-01-SS-MSS |
Language |
Japanese |
Title (in Japanese) |
(See Japanese page) |
Sub Title (in Japanese) |
(See Japanese page) |
Title (in English) |
A Study of a Practical Approach to Verifying Control Systems using Model-Checking and Testing |
Sub Title (in English) |
|
Keyword(1) |
model-checking |
Keyword(2) |
control systems |
Keyword(3) |
compositional verification |
Keyword(4) |
UFC coverage |
Keyword(5) |
automatic test-case generation |
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Junya Matsubara |
1st Author's Affiliation |
Denso Create Corporation (Denso Create) |
2nd Author's Name |
Rieko Takagi |
2nd Author's Affiliation |
Denso Create Corporation (Denso Create) |
3rd Author's Name |
Teruyuki Nakazawa |
3rd Author's Affiliation |
Denso Create Corporation (Denso Create) |
4th Author's Name |
Tetsuya Tohdo |
4th Author's Affiliation |
Denso Corporation (Denso) |
5th Author's Name |
Hiroyuki Ihara |
5th Author's Affiliation |
Denso Corporation (Denso) |
6th Author's Name |
Yukinori Kawaai |
6th Author's Affiliation |
Denso Corporation (Denso) |
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 |
2016-01-25 18:30:00 |
Presentation Time |
25 minutes |
Registration for |
SS |
Paper # |
MSS2015-52, SS2015-61 |
Volume (vol) |
vol.115 |
Number (no) |
no.419(MSS), no.420(SS) |
Page |
pp.99-103 |
#Pages |
5 |
Date of Issue |
2016-01-18 (MSS, SS) |
|