We konden deze vermelding niet vinden. Er worden benaderende resultaten weergegeven. Controleer je spelling of stel voor deze term aan het woordenboek toe te voegen.
Model-checking
La sécurité et la fiabilité des systèmes sur puce sont abordées en particulier par la vérification du matériel par Model-Checking, l'étude du bruit d'alimentation et de la synchronisation des horloges.
Security and reliability of SoC are studied: hardware verification methods based on Model-checking, the study of power supply noise and clock synchronisation are addressed.
Le modèle obtenu est ensuite analysé par model-checking.
La première partie étudie la modélisation et la vérification formelle par model-checking de systèmes temps réel dans le contexte de l'industrie aéronautique et spatiale.
The first part studies the formal modeling and verification by model-checking of realtime systems in the context of the aerospace industry.
Il doit être exécutable pour permettre le déboguage, la simulation, et la validation par model-checking.
it must be executable, to allow debugging, simulation, and verification by model checking
Ces propriétés sont établies en utilisant notre réseau d'automates temporisés et avec l'emploi d'un outil reconnu dans le monde de la preuve par model-checking, l'outil UppAal.
These properties are established using our network of timed automata and the use of a globally recognized proof using UppAal model-checking tool.
Résumé : Cette thèse s'intéresse à la vérification de systèmes automatisables par model-checking.
La première partie étudie la modélisation et la vérification formelle par model-checking de systèmes temps réel dans le contexte de l'industrie aéronautique et spatiale.
The first part studies the formal modeling and verification by model-checking of realtime systems in the context of the aerospace industry.
Ces propriétés sont établies en utilisant notre réseau d'automates temporisés et avec l'emploi d'un outil reconnu dans le monde de la preuve par model-checking, l'outil UppAal.
These properties are established using our network of timed automata and the use of a globally recognized proof using UppAal model-checking tool.
Andere resultaten
Ce phénomène constitue l'obstacle principal de la vérification automatique par model checking.
This phenomenon constitutes the principal obstacle of the automatic checking by model checking.
Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Elle est fondée sur la vérification formelle par model checking, la composition parallèle d'automates finis et l'expertise métier.
It is based on formal verification by model checking, parallel composition of finite sate automata and technical expertise.
Résumé : Nous nous intéressons à l'analyse des exigences de performabilité des systèmes communicants mobiles par model checking.
Abstract: We are interested in analyzing the performability requirements of mobile communication systems by using model checking techniques.
Dans les travaux de Basu et al., le contrôle distribué est obtenu en pré-calculant par model checking la connaissance de chaque processus, qui reflète dans un état local donné toutes les configurations possibles des autres processus.
In Basu et al., distributed control is achieved by first using model checking to precalculate the knowledge of each process, which reflects in a given local state all the possible situations of the other processes.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.
