Abstract
This paper discusses the concept of Instrumentation-Based Validation (IBV): the use of model instrumentation and coverage-based testing to validate models of embedded control software. IBV proceeds as follows. An engineer first formalizes requirements as assertions, or small models, which may be thought of as monitors that observe the behavior of the controller model as it executes. The engineer then instruments the model with these assertions and develops test suites with the aim of highlighting where assertion violations occur. To make our discussion of IBV more concrete, we also consider its implementation within the Reactis tool suite for the automated testing and validation of controller models given in ® /Stateflow®.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anonymous: Model-Based Testing and Validation of Control Software with Reactis. Reactive Systems, Inc. (2003), http://www.reactive-systems.com/papers/bcsf.pdf
Rau, A.: Model-Based Development of Embedded Automotive Control Systems. PhD thesis, Universitat Tubingen (2003)
Lepper, M.: An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications. PhD thesis, Technische Universitat Belin (2004)
Bouali, A., Dion, B.: Formal verification for model-based development. In: Proceedings of SAE 2005 World Congress 05AE-235 (2005)
Anonymous: Embedded Validator Produktinformation. Embedded Systems AG (2006), http://www.osc-es.de/products/en/embeddedvalidator.php
Anonymous: Safety-Checker Blockset Documentation. TNI-Software (2006), http://www.vnvware.com/
Pohlheim, H., Conrad, M.: Evolutionary safety testing of embedded control software by automatically generating compact test data sequences. In: Proceedings of SAE 2005 World Congress 2005-01-0750 (2005)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cleaveland, R., Smolka, S.A., Sims, S.T. (2008). An Instrumentation-Based Approach to Controller Model Validation. In: Broy, M., Krüger, I.H., Meisinger, M. (eds) Model-Driven Development of Reliable Automotive Services. ASWSD 2006. Lecture Notes in Computer Science, vol 4922. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70930-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-70930-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-70929-9
Online ISBN: 978-3-540-70930-5
eBook Packages: Computer ScienceComputer Science (R0)