|
| Keyword : OSEK/VDX
|
A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns
Yunja CHOI Dongwoo KIM | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2017/07/01
Vol. E100-D
No. 7 ;
pp. 1526-1529
Type of Manuscript:
LETTER
Category: Software System
Keyword:
validation, verification, OSEK/VDX, patterns, | | | Summary | Full Text:PDF | |
|
Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis
Yunja CHOI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/03/01
Vol. E96-D
No. 3 ;
pp. 735-738
Type of Manuscript:
LETTER
Category: Dependable Computing
Keyword:
OSEK/VDX, Trampoline, model checking, safety analysis, | | | Summary | Full Text:PDF | |
|
|