Browse Publications Technical Papers 2017-01-0003
2017-03-28

Criteria-Driven Approach in Automotive Software Development – Integrating Concepts of Formal Methods with Testing 2017-01-0003

We propose a verification method in the field of automotive control systems integrating the concepts of Formal Methods with testing, aiming at efficient and reliable software development. Although Formal Methods are believed to provide the benefits of their rigorous nature and their inherent capability of automation, only limited cases are known where Formal Methods were applied in system and software development, in practice, due to two major difficulties: appropriate abstraction in modeling and scalability in automated reasoning. Focusing on testing on the other hand, there is the difficulty of selecting reasonable set of tests for given verification objectives. In order to overcome these difficulties, our approach is to present verification criteria for testing to appropriately cover the property with the help of the Formal Method concepts. From the consistency with respect to the abstraction level of models between generic property (such as controllability) and underlying assumptions, we derive test coverage that covers the models and the assumptions. Based on a case study using a set of the artifact of a product system, we propose a criteria-driven approach with potential benefits in that we expect to gain the practical efficiency of testing the automotive control systems with the concept of model-checking.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

ISODATA Clustering for Optimized Software Allocation in Distributed Automotive Electronic Systems

2006-01-1053

View Details

TECHNICAL PAPER

Entire Embedded Control System Simulation Using a Mixed-Signal Mixed-Technology Simulator

2005-01-1430

View Details

TECHNICAL PAPER

Constraint-Driven Simulation-Based Automatic Task Allocation on ECU Networks

2004-01-0757

View Details

X