Gesproken tekst vertalen, offlinefuncties, synoniemen, vervoegingen, educatieve spelletjes
Publiciteit
Registreer gratis: toegang tot meer resultaten en functies
statistical model-checking
Examples with "statistical model-checking" and their translation in Frans
More precisely, stochastic timed automata and statistical model-checking are used to measure the robustness of a perturbed schedule.
Plus précisément, les automates temporisés stochastiques et le model checking statistique sont utilisés afin de mesurer la robustesse d'un ordonnancement perturbé.
Andere resultaten
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 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.
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.
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.
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.
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 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.
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.
Numerical and statistical approaches for model checking of stochastic processes
Approches numériques et statistiques pour le model checking des processus stochastiques.
Synoniemen voor statistical model-checking in het Engels
Woord & uitdrukking van de dag
Afbeelding van de dag
Suggesties
Resultaten: 15. Exact: 1. Verstreken tijd: 111 ms.
