Parametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems

by   Youcheng Sun, et al.

Parametric analysis is a powerful tool for designing modern embedded systems, because it permits to explore the space of design parameters, and to check the robustness of the system with respect to variations of some uncontrollable variable. In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. In particular, we propose two different approaches to parametric analysis: the first one is a novel technique based on classical schedulability analysis, whereas the second approach is based on model checking of Parametric Timed Automata (PTA). The proposed analytic method extends existing sensitivity analysis for single processors to the case of a distributed system, supporting preemptive and non-preemptive scheduling, jitters and unconstrained deadlines. Parametric Timed Automata are used to model all possible behaviours of a distributed system, and therefore it is a necessary and sufficient analysis. Both techniques have been implemented in two software tools, and they have been compared with classical holistic analysis on two meaningful test cases. The results show that the analytic method provides results similar to classical holistic analysis in a very efficient way, whereas the PTA approach is slower but covers the entire space of solutions.


page 8

page 9


Software Performability Analysis Using Fast Parametric Model Checking

We present an efficient parametric model checking (PMC) technique for th...

Parametric schedulability analysis of a launcher flight control system under reactivity constraints

The next generation of space systems will have to achieve more and more ...

Toward Parametric Timed Interfaces for Real-Time Components

We propose here a framework to model real-time components consisting of ...

What's decidable about parametric timed automata?

Parametric timed automata (PTAs) are a powerful formalism to reason, sim...

Ride-hailing Impacts on Transit Ridership: Chicago Case Study

Existing literature on the relationship between ride-hailing (RH) and tr...

Mixed robustness: Analysis of systems with uncertain deterministic and random parameters using the example of linear systems

Robustness of linear systems with constant coefficients is considered. T...

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Information leakage can have dramatic consequences on systems security. ...

Please sign up or login with your details

Forgot password? Click here to reset