This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Based Automated Validation Techniques for Automotive Embedded Systems
Technical Paper
2007-01-0503
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Model-based approaches can improve quality and reduce cycle time by simulating the models to perform early validation of requirements. These approaches can provide automated validation techniques by generating test cases from the model. This paper describes model-based automated test techniques in all phases of the product life cycle to maximize the early validation capabilities of model-based development processes. The paper proposes a model-based test process framework for all modeling phases including system modeling, architectural modeling and auto-generated software. The test automation technique consists of automatic test generation, execution and analysis. A Test Management System, which enables the automatic generation of requirement-based test cases, analysis of the test results and test database management, is developed through this study. In addition, an automatic target execution system, which comprises target hardware, simulation command transmission and target monitoring software, was developed to test the auto-generated ECU code on the real target system in the early stage.
Recommended Content
Technical Paper | Automated Real-Time Testing of Electronic Control Units |
Journal Article | Hardware Supported Data-Driven Modeling for ECU Function Development |
Technical Paper | Constraint-Driven Simulation-Based Automatic Task Allocation on ECU Networks |
Authors
Citation
Kum, D., Son, J., Lee, S., Wilson, I. et al., "Model-Based Automated Validation Techniques for Automotive Embedded Systems," SAE Technical Paper 2007-01-0503, 2007, https://doi.org/10.4271/2007-01-0503.Also In
References
- Son J. Wilson I. Lee W. Lee S. “Model Based Embedded System Development for In-Vehicle Network Systems” SAE, 2006-01-0862 2006
- Dong Y. Li M. Josey R. “Model Based Software Development for Automotive Electronic Control Units” SAE, 2004-21-0038 2004
- Weber R. Thelen K. Srivastava A. Krueger J. “Automated Validation Test Generation” Digital Avionics Systems Conference of IEEE 99 104 1994
- Butler R. W. “An Introduction to Requirements Capture Using PVS: Specification of a Simple Autopilot” NASA Technical Memorandum 110255 1996
- Heitmeyer C. L. Jeffords R. D. Labaw B.G. “Automated Consistency Checking of Requirements Specifications” ACM Transactions on Software Engineering and Methodology 5 3 231 261 1996
- Kim Y. G. Hong H. S. Bae D. H. Cha S.D. “Test Cases Generation from UML State Diagrams” IEE proceedings, online no. 199990602 1999
- Lee N. H. Cha S. D. “Generation Test Sequences from a Set of MSCs” The International Journal of Computer and Telecommunications Networking 42 3 405 417 2003
- Probert R. L. Ural H. Williams A.W. “Rapid Generation of Functional Tests using MSCs, SDL and TTCN” Computer Communications 24 3-4 374 393 2001
- kaleita D. L. Hartmann N. “Test Development Challenges for Evolving Automotive Electronic Technologies” SAE, 2004-21-0015 2004