Real-time analysis of resource-constrained distributed systems by simulation-guided model checking

Authors:
Gabor Madl;Nikil Dutt
Affiliations:
Center for Embedded Computer Systems, University of California, Irvine, CA;Center for Embedded Computer Systems, University of California, Irvine, CA
Venue:
ACM SIGBED Review - Special issue on the RTSS forum on deeply embedded real-time computing
Year:
2008

Citing 11
Cited 0

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Model-Integrated Computing

Computer
A Formal Approach to MpSoC Performance Verification

Computer
Timed Automata as Task Models for Event-Driven Systems

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Real Time Scheduling Theory: A Historical Perspective

Real-Time Systems
Automatic Verification of Component-Based Real-Time CORBA Applications

RTSS '04 Proceedings of the 25th IEEE International Real-Time Systems Symposium
Model-based analysis of distributed real-time embedded system composition

Proceedings of the 5th ACM international conference on Embedded software
Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Real-Time Systems
Formal performance evaluation of AMBA-based system-on-chip designs

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
System architecture evaluation using modular performance analysis: a case study

International Journal on Software Tools for Technology Transfer (STTT)
Performance estimation of distributed real-time embedded systems by discrete event simulations

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

Quantified Score

Hi-index	0.00

Visualization

Abstract

This research proposes a model-based design flow for the dynamic real-time analysis of resource-constrained distributed systems. We propose an analysis framework that combines simulations and model checking for performance evaluation and real-time verification. Our results show that the proposed method can provide better coverage for dynamic analysis than alternative methods, and can improve the accuracy of static analysis methods for performance estimation.