An instrumentation-based approach to controller model validation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4922 LNCS, Issue , 2008, Pages 84-97

  Cleaveland, Rance ^a   Smolka, Scott A ^b   Sims, Steven T ^c  

^a University of Maryland   (United States)

^b USA   (United States)

^c Reactive Systems   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INSTRUMENTS;

AUTOMATED TESTING; AUTOMOTIVE SOFTWARE; CONTROLLER MODELS; TEST SUITES;

SOFTWARE TESTING;

EID: 50549103297     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70930-5_6     Document Type: Conference Paper

References (7)

1. Anonymous: Model-Based Testing and Validation of Control Software with Reactis. Reactive Systems, Inc. (2003), http://www.reactive-systems.com/papers/ bcsf.pdf
2. Rau, A.: Model-Based Development of Embedded Automotive Control Systems. PhD thesis, Universitat Tubingen (2003)
3. Lepper. M.: An Algorithm for the Real-Time Evaluation of Temporal Trace Specifications. PhD thesis, Technische Universitat Belin (2004)
4. Bouali, A., Dion, B.: Formal verification for model-based development. In: Proceedings of SAE 2005 World Congress 05AE-235 (2005)
5. Anonymous: Embedded Validator Produktinformation. Embedded Systems AG (2006), http ://www.ose-es.de/products/en/emtaeddedvalidator.php
6. Anonymous: Safety-Checker Blockset Documentation. TNI-Software (2006), http://www.vnvware.com/
7. 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)