Add to ORKGIn this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete case of a distributed Heterogeneous Communication System (HCS). The description and requirements of HCS are presented and the system modeling is explained carefully. The system models are developed in UPPAAL and validated by different test cases. Part of the system models are then converted into parametric timed automata and the schedulability checking is run to produce the schedulability regions
Abstract Probabilistic timed automata (PTAs) are a formalism for modelling systems whose behaviour i...
Cette thèse présente un nouveau modèle temporisé appelé timed-pNets pour la modélisation et la vérif...
This paper presents an approach to build a communication behavioural semantic model for heterogeneou...
International audienceIn this paper we propose solutions to the FMTV challenge of a distributed vide...
A new generation of distributed real-time systems (DRTS) is based on heterogeneous models of computa...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
This is the author version of the manuscript of the same name published in the International Journal...
Languages based on the theory of timed automata are a well established approach for modelling and an...
In this paper, we address the problem of parametric schedu- lability analysis of distributed real-t...
Abstract. In this paper, we address the problem of parametric schedu-lability analysis of distribute...
The time-triggered architecture is becoming accepted as a means of implementing scalable, safer and ...
Many successful model checking methods have been applied to hardware design in real-time application...
This thesis presents a novel timed model called timed-pNets for modeling and verifying the communica...
Many real-time distributed applications exhibit probabilistic and non-deterministic behaviors. In th...
International audienceModel checking timed systems may be negatively impacted by the presence of Zen...
Abstract Probabilistic timed automata (PTAs) are a formalism for modelling systems whose behaviour i...
Cette thèse présente un nouveau modèle temporisé appelé timed-pNets pour la modélisation et la vérif...
This paper presents an approach to build a communication behavioural semantic model for heterogeneou...
International audienceIn this paper we propose solutions to the FMTV challenge of a distributed vide...
A new generation of distributed real-time systems (DRTS) is based on heterogeneous models of computa...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
This is the author version of the manuscript of the same name published in the International Journal...
Languages based on the theory of timed automata are a well established approach for modelling and an...
In this paper, we address the problem of parametric schedu- lability analysis of distributed real-t...
Abstract. In this paper, we address the problem of parametric schedu-lability analysis of distribute...
The time-triggered architecture is becoming accepted as a means of implementing scalable, safer and ...
Many successful model checking methods have been applied to hardware design in real-time application...
This thesis presents a novel timed model called timed-pNets for modeling and verifying the communica...
Many real-time distributed applications exhibit probabilistic and non-deterministic behaviors. In th...
International audienceModel checking timed systems may be negatively impacted by the presence of Zen...
Abstract Probabilistic timed automata (PTAs) are a formalism for modelling systems whose behaviour i...
Cette thèse présente un nouveau modèle temporisé appelé timed-pNets pour la modélisation et la vérif...
This paper presents an approach to build a communication behavioural semantic model for heterogeneou...