Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS-Reference-Cited by-同舟云学术

Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS

Published:2009 Issue: Volume: Page:54-69
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Andrade Wilkerson L.,Machado Patrícia D. L.,Alves Everton L. G.,Almeida Diego R.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-10452-7_5.pdf

Reference15 articles.

1. International Computer Science Series;I. Sommerville,2006

2. The FreeRTOS.org Project: FreeRTOS, http://www.freertos.org/

3. Li, S., Wang, J., Dong, W., Qi, Z.C.: Property-oriented testing of real-time systems. In: APSEC 2004: Proceedings of the 11th Asia-Pacific Software Engineering Conference, Washington, DC, USA, pp. 358–365. IEEE Computer Society, Los Alamitos (2004)

4. Krichen, M.: Model-Based Testing for Real-Time Systems. PhD thesis, Universit Joseph Fourier (December 2007)

5. Lecture Notes in Computer Science;M. Krichen,2004

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

1. Evolution analysis of a UAV real-time operating system from a network perspective;Chinese Journal of Aeronautics;2019-01

2. Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey;Advances in Computers;2017

3. Control Directo de Potencia Predictivo Robusto con Sincronismo Intrínseco;Revista Iberoamericana de Automática e Informática Industrial RIAI;2015-04

4. An Analysis of a Hard Real-Time Execution Environment Extension for FreeRTOS;Advances in Electrical and Computer Engineering;2015

5. Generating Test Cases for Real-Time Systems Based on Symbolic Models;IEEE Transactions on Software Engineering;2013-09