automotive control software Latest Research Papers

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

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

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

10.1007/978-3-030-00244-2_5 ◽

2018 ◽

pp. 67-82 ◽

Cited By ~ 1

Author(s):

Jan Toennemann ◽

Andreas Rausch ◽

Falk Howar ◽

Benjamin Cool

Keyword(s):

Real Time ◽

Development Process ◽

Control Software ◽

Automotive Control ◽

Time Requirements ◽

Automotive Control Software

Download Full-text

Testing Automotive Control Software

Automotive Embedded Systems Handbook ◽

10.1201/9780849380273-11 ◽

2017 ◽

pp. 11-1-11-42

Author(s):

Mirko Conrad ◽

Ines Fey

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 ◽

Cited By ~ 1

Author(s):

Tobias Sehnke ◽

Matthias Schultalbers ◽

Rolf Ernst

Keyword(s):

Control Software ◽

Automotive Control ◽

Automotive Control Software

Download Full-text

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns

IEICE Transactions on Information and Systems ◽

10.1587/transinf.2017edl8042 ◽

2017 ◽

Vol E100.D (7) ◽

pp. 1526-1529 ◽

Cited By ~ 1

Author(s):

Yunja CHOI ◽

Dongwoo KIM

Keyword(s):

Control Software ◽

Automotive Control ◽

Validation And Verification ◽

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 ◽

Cited By ~ 1

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

Model-based design of resource-efficient automotive control software

Proceedings of the 35th International Conference on Computer-Aided Design - ICCAD '16 ◽

10.1145/2966986.2980075 ◽

2016 ◽

Cited By ~ 10

Author(s):

Wanli Chang ◽

Debayan Roy ◽

Licong Zhang ◽

Samarjit Chakraborty

Keyword(s):

Control Software ◽

Automotive Control ◽

Model Based ◽

Automotive Control Software

Download Full-text

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

2016 6th International Conference on IT Convergence and Security (ICITCS) ◽

10.1109/icitcs.2016.7740348 ◽

2016 ◽

Cited By ~ 2

Author(s):

Dongwoo Kim ◽

Yunja Choi

Keyword(s):

Light Weight ◽

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 ◽

Cited By ~ 4

Author(s):

Dongwoo Kim ◽

Yoohee Chung ◽

Yunja Choi

Keyword(s):

Control Software ◽

Automotive Control ◽

Constraint Checking ◽

Model Based ◽

Automotive Control Software

Download Full-text

automotive control software
Recently Published Documents

TOTAL DOCUMENTS

H-INDEX

Model Checking of Automotive Control Software: An Industrial Approach

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

Testing Automotive Control Software

Temporal properties in automotive control software

Contract-based integration of automotive control software

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns

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

Model-based design of resource-efficient automotive control software

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

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

Export Citation Format

automotive control softwareRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

Model Checking of Automotive Control Software: An Industrial Approach

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL

Testing Automotive Control Software

Temporal properties in automotive control software

Contract-based integration of automotive control software

A Toolset for Validation and Verification of Automotive Control Software Using Formal Patterns

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

Model-based design of resource-efficient automotive control software

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

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

automotive control software
Recently Published Documents