Examples with "technique de model checking" and their translation in Engels
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.
Par l'emploi de technique de model checking, nous avons établi des propriétés temporelles montrant que toute exécution d'une application mobile sur un périphérique mobile pouvait être déportée dans une Cloudlet sous condition d'une structure applicative.
Exploiting the model checking techniques, we have established temporal properties showing that any execution of a mobile application on a mobile device could be offloaded in a Cloudlet depending on a given software architecture.
La technique de model checking proposée est basée sur les FTS), un nouveau formalisme introduit dans cette thèse.
The proposed model checking approach is based on Featured Transition Systems (FTS), a novel formalism introduced in this thesis.
La technique de model checking proposée est basée sur les Featured Transition Systems (FTS), un nouveau formalisme introduit dans cette thèse.
The proposed model checking approach is based on Featured Transition Systems (FTS), a novel formalism introduced in this thesis.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
De plus, nous proposons une méthode fondée sur la technique de model checking pour vérifier si le comportement des modèles utilisés dans notre processus de test respecte bien les politiques de sécurité.
In addition, we propose a model checking based method to check whether the behavior of a model respects some interoperability security policies.
Andere resultaten
Deuxièmement, nous proposons de combiner cette méthode avec des techniques de model checking.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Enfin, la plupart des modèles existants et des outils de simulation ne sont pas capables d'appliquer des techniques de model checking d'une manière transparente.
Finally, most of the existing modeling and simulation tools are not capable of applying model-checking techniques in a transparent way.
Leur bon fonctionnement est vérifié formellement à travers une technique de model-checking supportée par la logique temporelle linéaire LTL.
Their correctness is formally verified through a model-checking technique supported by the linear temporal logic LTL.
Résumé : Ce mémoire propose des représentations formelles pour contrôleurs logiques industriels qui visent à améliorer le passage à l'échelle des techniques de model-checking.
Abstract: This dissertation proposes formal representations for programmable logic controllers that aim at improving the scalability of model-checking techniques.
Les approches de développement dirigées par des modèles étant actuellement très répandus dans l'industrie, nous étudions également le couplage des techniques de model-checking et du test basé sur des modèles.
As model-centered approaches are now widespread in the development of industrial systems, we also investigate the coupling of model-checking and model-based testing.
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.
