This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Validated Specification through Simulation for Complex Electronic Modules
ISSN: 0148-7191, e-ISSN: 2688-3627
Published April 03, 2006 by SAE International in United States
Annotation ability available
Consumer expectations for automated vehicle operations such as automatic locking, remote ignition control, navigation, and entertainment are primary drivers for the increasing complexity of embedded automotive electronics modules. The prevalent practice for procuring these modules is to develop a written behavioral specification that is then used by an outside supplier to build and test the module. Validation test plans are written separately based on an understanding of the requirements. The challenges posed by the current practice include the inability to completely specify the expected behavior in a timely manner, the need to balance the design between low cost and new features demanded by the customer, and ensuring that the product exactly implements the specified behavior.
Moreover, vehicle manufacturers desire the ability to explore sensitivity of specifications by identifying constraints on the system and assessing the product for ease of implementation. Since the cost and quality of a module are highly dependent upon ease of implementation in software, they are greatly influenced by the specification. Equally important is the ability of the supplier and manufacturer to easily validate the developed module to ensure compliance with the specification. Complete validation necessarily includes testing of the Human Machine Interface (HMI) of the module as well as any background system features. The specification must accurately describe HMI functionality so that desired behavior for each customer interaction can be validated.
Different processes have been proposed to solve the inherent problems with written specifications, including specification through prototyping, formal specification, and simulation. In this paper, we outline a process for specifying an embedded electronic module through simulation. A simulation is created to implement the specified system behavior and to identify system constraints and build-ability restrictions. The simulation also provides a model of the system HMI that can produce test case outcomes for comparison with actual system behavior during validation.
CitationSarkar, S., Casazza, J., and Dale, J., "Validated Specification through Simulation for Complex Electronic Modules," SAE Technical Paper 2006-01-0171, 2006, https://doi.org/10.4271/2006-01-0171.
SAE 2006 Transactions Journal of Passenger Cars: Electronic and Electrical Systems
Number: V115-7; Published: 2007-03-30
Number: V115-7; Published: 2007-03-30
- Frolund Svend Garg Pankaj Design-Time Simulation of a Large-Scale, Distributed Object System ACM Transactions on Modeling & Computer Simulation 8 4 October 1998
- Bennet Ted Wennberg Paul TRIAKIS Corporation The use of a Virtual System Simulator and Executable Specifications to Enhance Software Validation, Verification, and Safety Assurance NASA software assurance symposium July 2003
- TRIAKIS Corporation Maintaining System and Software Verification Test Consistency NASA Software Assurance Symposium July 2004
- Gebhard Bernd Rappl Martin Requirement Management for Automotive Systems Development In-Vehicle Software (SP-1502), SAE 2000 World Congress March 9 2000
- Gentrer Hariolf Ehrmann Michael Salzmann Christian BMW Corporation Model Based Development of Automotive HMI SAE 2004 World Congress (2004-21-0019)
- Ferraro Alberto et-al Automated Code Generation and Platform Based Design Methodology: An engine management system design case SAE 2005 World Congress (2005-01-1360)