scholarly journals A model-based development environment for rapid-prototyping of latency-sensitive automotive control software

2016 ◽  
Author(s):  
Sakthivel Manikandan Sundharam ◽  
Lionel Havet ◽  
Sebastian Altmeyer ◽  
Nicolas Navet
Keyword(s):  
Rapid Prototyping ◽  
Control Software ◽  
Development Environment ◽  
Automotive Control ◽  
Model Based ◽  
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