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

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.