Testing Automotive Systems Modeled by Finite State Machines BMW AG

Format:

Conference/Event

Author/Creator:

Eckrich, Michael J., author.

Conference Name:

International Congress & Exposition (1994-02-28 : Detroit, Michigan, United States)

Language:

English

Physical Description:

1 online resource

Place of Publication:

Warrendale, PA SAE International 1994

Summary:

AbstractThe 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

Notes:

Vendor supplied data

Publisher Number:

940136

Access Restriction:

Restricted for use by site license