An Instrumentation-Based Approach to Controller Model Validation-Reference-Cited by-同舟云学术

An Instrumentation-Based Approach to Controller Model Validation

Published: Issue: Volume: Page:84-97
ISSN:0302-9743
Container-title:Model-Driven Development of Reliable Automotive Services
language:
Short-container-title:

Author:

Cleaveland Rance,Smolka Scott A.,Sims Steven T.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-70930-5_6.pdf

Reference7 articles.

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.osc-es.de/products/en/embeddedvalidator.php

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Survey of Model-Based Security Testing Approaches in the Automotive Domain;IEEE Access;2023

2. Evaluating model testing and model checking for finding requirements violations in Simulink models;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12

3. Automated Specification Extraction and Analysis with Specstractor;Software Engineering and Formal Methods;2018

4. Automated test suite generation for time-continuous simulink models;Proceedings of the 38th International Conference on Software Engineering;2016-05-14

5. Instrumentation-Driven Validation of Dataflow Applications;Journal of Signal Processing Systems;2015-11-05