Issues in performance certification for high-level automotive control software

2005 ◽  
Author(s):  
Bruce W. Weide ◽  
Paolo Bucci ◽  
Wayne D. Heym ◽  
Murali Sitaraman ◽  
Giorgio Rizzoni
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software ◽  
High Level

Issues in performance certification for high-level automotive control software

2005 ◽  
Vol 30 (4) ◽  
pp. 1-6
Author(s):  
Bruce W. Weide ◽  
Paolo Bucci ◽  
Wayne D. Heym ◽  
Murali Sitaraman ◽  
Giorgio Rizzoni
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software ◽  
High Level

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