University of Vigo
As real-time systems are becoming increasingly distributed and embedded, designers need to address a growing number of QoS constraints that have traditionally been relevant to hardware design, such as real-time properties, end-to-end performance and energy consumption. This paper proposes a model-based design flow for the dynamic real-time analysis of resource-constrained distributed systems. The authors propose an analysis framework that combines simulations and model checking for performance evaluation and real-time verification. Their 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.