Real-time analysis of resource-constrained distributed systems by simulation-guided model checking
Gabor Madl, Nikil D. Dutt · ACM SIGBED Review · 2008
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.