JOURNAL ARTICLE

Model-Based Test Case Generation by Reusing Models From Runtime Monitoring of Deeply Embedded Systems

Padma IyengharJuergen WuebbelmannClemens WesterkampElke Pulvermueller

Year: 2013 Journal:   IEEE Embedded Systems Letters Vol: 5 (3)Pages: 38-41   Publisher: Institute of Electrical and Electronics Engineers

Abstract

This letter introduces a novel application of model-based runtime monitoring of deeply embedded systems. The proposed framework comprises of a minimally intrusive, generic, software-based, runtime monitoring methodology for visualizing the behavior of deeply embedded systems in real-time. The model-based runtime monitoring results are then reused for generating model-based test cases. A prototype implementation of the proposed framework is discussed along with examples.

Keywords:
Computer science Reuse Embedded system Runtime verification Software Embedded software Real-time computing Distributed computing Formal verification Programming language

Metrics

3
Cited By
0.00
FWCI (Field Weighted Citation Impact)
7
Refs
0.09
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Real-Time Systems Scheduling
Physical Sciences →  Computer Science →  Hardware and Architecture
Real-time simulation and control systems
Physical Sciences →  Engineering →  Control and Systems Engineering
Software Testing and Debugging Techniques
Physical Sciences →  Computer Science →  Software
© 2026 ScienceGate Book Chapters — All rights reserved.