Leveraging Real-Time Network Analyses by Extending a Model-Based Framework
Anh-Toan Bui Long, Yassine Ouhammou, Emmanuel Grolleau · 2017
Real-Time Systems are subject to temporal requirements. To check if these latter are met, performance analysis tests are required. However, the performance analysis through model-based process is still difficult due to (i) the complexity of real-time systems (ii) and the lack of methodologies enabling to leverage performance tests to be applied easily to design models.In this paper, we focus on the temporal scheduling analysis of distributed systems with real-time networks. We present an extension of a pivot scheduling analysis aware methodology in order to explicit the analysis models. That is, we propose a modeling viewpoint dedicated to distributed real-time systems in order to bridge the semantic gap between system design and analysis techniques of real-time networks.Our proposed extension has been implemented and integrated in a modeling framework dedicated to the schedulability analysis. The paper also contains a case study that stresses the contribution and shows its usefulness.