Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
statistical model checking
Vertaling van "statistical model checking" in Frans
model checking statistique
This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable.
Ce double effet a pour avantage de réduire la taille du système initial en le remplaçant par un système dont la sémantique est purement stochastique sur lequel les algorithmes de model checking statistique sont définis.
Abstract: In this thesis, we consider two problems that statistical model checking must cope.
Résumé : Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face.
We therefore develop a new approximation method, called Parametric Statistical Model Checking.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
Combined with statistical model checking, this methodology is successfully applied to the verification of an industrial case study.
Cette méthodologie, combinée avec le model-checking statistique, est appliquée avec succès à un cas d'étude industriel.
The second part of this thesis is devoted to the verification of rare properties in statistical model checking.
La deuxième partie de cette thèse est consacrée à la vérification de propriétés rares.
The formalization in terms of a temporal logic and statistical model checking are the formal foundations of the developed approach.
La formalisation en termes de logique temporelle et la vérification statistique de modèles sont les fondements formels de l'approche.
Lastly, we motivate the use of importance splitting for statistical model checking and set up an optimal splitting algorithm.
Nous avons également introduit les méthodes multi-niveaux pour la vérification de propriétés rares et nous avons justifié et mis en place l'utilisation d'un algorithme multi-niveau optimal.
We evaluate some statistical model checking (SMC) methods to demonstrate the efficiency of probabilistic timing analysis of MPSoC systems.
Nous évaluons certaines méthodes de modèle checking statistique (SMC) pour démontrer l'efficacité de l'analyse temporelle probabiliste des systèmes MPSoC.
To overcome this problem, we propose a verification framework based on Statistical Model Checking.
Pour surmonter ce problème, nous proposons un cadre de vérification sur la base Statistical Model Checking.
The second part of this thesis is devoted to the verification of rare properties in statistical model checking.
La deuxième partie de cette thèse est consacrée à la vérification de propriétés rares.
We use statistical model checking for analyzing performance requirements and introduce a stochastic abstraction technique to enhance its scalability.
Afin d'évaluer la performance de ce modèle, nous nous basons sur du model checking statistique que nous améliorons à l'aide d'une technique d'abstraction.
This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable.
Ce double effet a pour avantage de réduire la taille du système initial en le remplaçant par un système dont la sémantique est purement stochastique sur lequel les algorithmes de model checking statistique sont définis.
We therefore develop a new approximation method, called Parametric Statistical Model Checking.
Nous utilisons donc une nouvelle méthode d'approximation, appelée Model Checking Statistique Paramétrique.
Synoniemen voor statistical model checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Resultaten: 13. Exact: 13. Verstreken tijd: 40 ms.
