Yunja CHOI


A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns
Yunja CHOI Dongwoo KIM 
Publication:   
Publication Date: 2017/07/01
Vol. E100-D  No. 7  pp. 1526-1529
Type of Manuscript:  LETTER
Category: Software System
Keyword: 
validationverificationOSEK/VDXpatterns
 Summary | Full Text:PDF(399.4KB)

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/VDXTrampolinemodel checkingsafety analysis
 Summary | Full Text:PDF(582.5KB)