1994-03-01

Testing Automotive Systems Modeled by Finite State Machines 940136

The use of micro controllers in automotive systems renders the coordination of about 150 actors (70 electric motors, 15 magnetic valves and 50 relays). The resulting complexity of those systems as well as the requested zero defects demands time consuming testing.
This work describes a method of performing test-scenarios, starting from a zero defect running specification, modeled by finite state machines. The test-scenarios are intended to determine whether a given system meets all specification requirements.
First, a kind of structured modelling reactive automotive systems is deduced.
Next, some important test selection methods, developed for the case the specification is given in the form of a finite state machine, are considered.
Finally, a procedure and method for performing minimized complete test-scenarios for automotive systems are presented.

SAE MOBILUS

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

Access SAE MOBILUS »

Members save up to 16% 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:
JOURNAL ARTICLE

Small High-Efficiency Vane Pump Based on Vane Pump Theory

2015-01-1496

View Details

STANDARD

Engine Cooling Fan Structural Analysis

J1390_202202

View Details

TECHNICAL PAPER

Engine Application of a Battery Voltage-Driven DI Fuel Injection System

2001-01-0986

View Details

X