This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Enhanced Test and Verification Capabilities Using Model-Based Design
Technical Paper
2006-01-1445
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
The use of executable models to simulate and design embedded software for automotive systems is well-established in automotive engineering. Leveraging those same models to automatically generate those software components is becoming part of mainstream development processes, using Model-Based Design approaches. Today, the value of these models for testing, verifying, and validating software applications is typically through hardware-in the-loop simulation. However, new and enhanced test and verification approaches are emerging that leverage these models to address today’s complex embedded systems, including both software and electronic components. This paper describes these approaches and their use in Model-Based Design.
Recommended Content
Authors
Citation
Tung, J., "Enhanced Test and Verification Capabilities Using Model-Based Design," SAE Technical Paper 2006-01-1445, 2006, https://doi.org/10.4271/2006-01-1445.Also In
References
- Automotive Engineering International March 2005
- Strategy Analytics, research report December 2003 www.strategyanalytics.net
- Stefanis S. IBM Corporation Detroit News May 18 2005
- www.mathworks.com/industries/auto/iac www.mathworks.de/company/events/mbd www.mathworks.co.uk/company/events/mbd www.mathworks.fr/company/events/mbd
- Hodge, G. Ye, J. Stuart, W. “Multi-Target Modelling for Embedded Software Development for Automotive Applications,” Paper 2004-01-0269, 2004 SAE World Congress
- Aldrich, B. “Using model coverage analysis to improve the controls development process,” AIAA 2002
- www.reactive.com www.t-vec.com www.tni.com
- Hote, C. “Advanced Software Static Analysis Techniques That Provide New Opportunities for Reducing Debugging Costs and for Streamlining Functional Tests”, prepublication”
- Sullivan M. Chillarege, R. Software defects and their impact on system availability, proc 21th International Symposium On Fault-Tolerant Computing (FTCS-21) Montreal 1991 2 9
- www.polyspace.com
- Erkkinen, T. “Production Code Generation for Safety-Critical Systems,” Technical paper, 2004 SAE World Congress
- “MISRA-C:2004 - Guidelines for the use of the C language in critical systems” 0-9524156-2-3 www.misra-c2.com
- www.polyspace.com www.ldra.com
- www.xilinx.com www.altera.com
- www.mentor.com www.cadence.com www.synopsys.com
- www.modelsim.com