Application of Model Checking to Automotive Control Software with Slicing Technique

Mapping Intimacies ◽

10.4271/2013-01-0436 ◽

2013 ◽

Author(s):

Masahiro Matsubara ◽

Kohei Sakurai ◽

Fumio Narisawa ◽

Masushi Enshoiwa ◽

Yoshio Yamane ◽

...

Keyword(s):

Model Checking ◽

Control Software ◽

Automotive Control ◽

Automotive Control Software

Download Full-text

Model Checking of Automotive Control Software: An Industrial Approach

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2019fop0002 ◽

2020 ◽

Vol E103.D (8) ◽

pp. 1794-1805

Author(s):

Masahiro MATSUBARA ◽

Tatsuhiro TSUCHIYA

Keyword(s):

Model Checking ◽

Control Software ◽

Automotive Control ◽

Automotive Control Software

Download Full-text

Tuning Static Data Race Analysis for Automotive Control Software

2011 IEEE 11th International Working Conference on Source Code Analysis and Manipulation ◽

10.1109/scam.2011.16 ◽

2011 ◽

Author(s):

Steffen Keul

Keyword(s):

Data Race ◽

Control Software ◽

Automotive Control ◽

Static Data ◽

Automotive Control Software ◽

Download Full-text

Automatic Discovery of Unspecified Behaviors in Automotive Control Software

Testing – Practice and Research Techniques - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15585-7_18 ◽

2010 ◽

pp. 181-188 ◽

Author(s):

Muzammil Shahbaz ◽

Robert Eschbach

Keyword(s):

Control Software ◽

Automotive Control ◽

Automatic Discovery ◽

Automotive Control Software

Download Full-text

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

2016 Sixth International Symposium on Embedded Computing and System Design (ISED) ◽

10.1109/ised.2016.7977087 ◽

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

Download Full-text

Validating Automotive Control Software Using Instrumentation-Based Verification

2009 IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2009.98 ◽

2009 ◽

Author(s):

Arnab Ray ◽

Iris Morschhaeuser ◽

Chris Ackermann ◽

Rance Cleaveland ◽

Charles Shelton ◽

...

Keyword(s):

Control Software ◽

Automotive Control ◽

Automotive Control Software

Download Full-text

Model-Based API-Call Constraint Checking for Automotive Control Software

2016 23rd Asia-Pacific Software Engineering Conference (APSEC) ◽

10.1109/apsec.2016.039 ◽

2016 ◽

Author(s):

Dongwoo Kim ◽

Yoohee Chung ◽

Yunja Choi

Keyword(s):

Control Software ◽

Automotive Control ◽

Constraint Checking ◽

Model Based ◽

Automotive Control Software

Download Full-text

Issues in performance certification for high-level automotive control software

Proceedings of the second international workshop on Software engineering for automotive systems - SEAS '05 ◽

10.1145/1083190.1083196 ◽

2005 ◽

Author(s):

Bruce W. Weide ◽

Paolo Bucci ◽

Wayne D. Heym ◽

Murali Sitaraman ◽

Giorgio Rizzoni

Keyword(s):

Control Software ◽

Automotive Control ◽

Automotive Control Software ◽

Download Full-text

Temporal properties in automotive control software

Proceedings of the 25th International Conference on Real-Time Networks and Systems - RTNS '17 ◽

10.1145/3139258.3139279 ◽

2017 ◽

Author(s):

Tobias Sehnke ◽

Dieter Schwarzmann ◽

Matthias Schultalbers ◽

Rolf Ernst

Keyword(s):

Control Software ◽

Automotive Control ◽

Temporal Properties ◽

Automotive Control Software

Download Full-text

Contract-based integration of automotive control software

Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 ◽

10.23919/date.2017.7927248 ◽

2017 ◽

Author(s):

Tobias Sehnke ◽

Matthias Schultalbers ◽

Rolf Ernst

Keyword(s):

Control Software ◽

Automotive Control ◽

Automotive Control Software

Download Full-text

Model-Based Verification of Automotive Control Software

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_2 ◽

2009 ◽

pp. 2-2 ◽

Author(s):

Rance Cleaveland

Keyword(s):

Control Software ◽

Automotive Control ◽

Model Based ◽

Automotive Control Software

Download Full-text