Light-Weight API-Call Safety Checking for Automotive Control Software Using Constraint Patterns

2016 ◽  
Author(s):  
Dongwoo Kim ◽  
Yunja Choi
Keyword(s):  
Light Weight ◽  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software

Validating Automotive Control Software Using Instrumentation-Based Verification

2009 ◽  
Author(s):  
Arnab Ray ◽  
Iris Morschhaeuser ◽  
Chris Ackermann ◽  
Rance Cleaveland ◽  
Charles Shelton ◽  
...  
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software

Application of Model Checking to Automotive Control Software with Slicing Technique

2013 ◽  
Author(s):  
Masahiro Matsubara ◽  
Kohei Sakurai ◽  
Fumio Narisawa ◽  
Masushi Enshoiwa ◽  
Yoshio Yamane ◽  
...  
Keyword(s):  
Model Checking ◽  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software
Sign in / Sign up

Export Citation Format

Share Document