Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Test de conformité"'
Autor:
Guignard, Anaïs
Les travaux présentés dans ce mémoire de thèse s'intéressent à la validation fonctionnelle de contrôleurs logiques par des techniques de test de conformité et de validation en boucle fermée. Le modèle de spécification est décrit dans le l
Externí odkaz:
http://www.theses.fr/2014DENS0050/document
Autor:
Guignard, Anaïs
Publikováno v:
Automatique / Robotique. École normale supérieure de Cachan-ENS Cachan, 2014. Français. ⟨NNT : 2014DENS0050⟩
The results presented in this PhD thesis deal with functional validation of logic controllers using conformance test and closed-loop validation techniques. The specification model is written in the Grafcet language and the logic controller is assumed
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::241c87340430618dde8761974678f417
https://tel.archives-ouvertes.fr/tel-01149705/file/Guignard2014.pdf
https://tel.archives-ouvertes.fr/tel-01149705/file/Guignard2014.pdf
Autor:
Ponce de León, Hernan
Les systèmes logiciels complexes sont omniprésents dans notre vie quotidienne. De ce fait, un dysfonctionnement peut occasionner aussi bien une simple gêne qu'un danger mettant en péril des vies humaines. Le test est l'une des techniques les plus
Externí odkaz:
http://www.theses.fr/2014DENS0035/document
Autor:
Roussel, Jean-Marc
Publikováno v:
Automatique / Robotique. ENS Cachan, 2014
Les activités de recherche rentrent dans le spectre de la section 61 du CNU et ont pour domaine l’Automatique des Systèmes à Événements Discrets (SED). Elles sont conduites en vue d’accroître la sûreté de fonctionnement des systèmes auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa603d6e93caaeadcd916f3a928cf14e
https://hal.archives-ouvertes.fr/tel-01162984
https://hal.archives-ouvertes.fr/tel-01162984
Autor:
Chédor, Sébastien
L'une des façons les plus efficace de s'assurer du bon fonctionnement d'un système informatique est de les représenter par des modèles mathématiques. De nombreux travaux ont été réalisés en utilisant des automates finis comme modèles, nous
Externí odkaz:
http://www.theses.fr/2014REN1S002/document
Autor:
Chédor, Sébastien
Publikováno v:
Autre [cs.OH]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
An effective way to ensure the proper functioning of a computer system is to represent it by using mathematical models . Many studies have been conducted using finite automata as models, in this thesis we try to extend these works to infinite models.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::f049c38ee365041bcc373e2bb058856d
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf
https://theses.hal.science/tel-00980800/file/CHEDOR_Sebastien.pdf
Autor:
Ponce de León, Hernan
Publikováno v:
Performance [cs.PF]. École normale supérieure de Cachan-ENS Cachan, 2014. English. ⟨NNT : 2014DENS0035⟩
Complex systems are everywhere and are part of our daily life. As a consequence, their failures can range from being inconvenient to being life-threatening. Testing is one of the most widely accepted techniques (especially in industry) to detect erro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d02b2e119f3f1159a33b829ded191059
https://theses.hal.science/tel-01127246
https://theses.hal.science/tel-01127246
Autor:
Mouttappa, Pramila
En raison de la complexité croissante des systèmes réactifs, le test est devenu un des éléments essentiels dans le processus de leur développement. Les tests de conformité avec des méthodes formelles concernent la correction du contrôle fonc
Externí odkaz:
http://www.theses.fr/2013TELE0023/document
Autor:
Guignard, Anaïs, Faure, Jean-Marc
Publikováno v:
Actes des 5èmes Journées Doctorales / Journées Nationales MACS (JD-JN-MACS'13)
5èmes Journées Doctorales / Journées Nationales MACS
5èmes Journées Doctorales / Journées Nationales MACS, Jul 2013, Strasbourg, France. pp.00
5èmes Journées Doctorales / Journées Nationales MACS
5èmes Journées Doctorales / Journées Nationales MACS, Jul 2013, Strasbourg, France. pp.00
National audience; Ce papier s'intéresse à la construction du modèle formel servant de référence pour le test de conformité d'un contrôleur logique, en supposant que ce contrôleur exécute une spécification Grafcet. Deux algorithmes pour con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4dae27010b35ee21dd7854233865018d
https://hal.archives-ouvertes.fr/hal-00831256
https://hal.archives-ouvertes.fr/hal-00831256
Autor:
Lalanne, Felipe
Le test de conformité est le processus permettant de contrôler qu'un système possède un ensemble de propriétés souhaitées et se comporte conformément à certaines exigences prédéfinies. Dans ce contexte, les techniques de test passif sont u
Externí odkaz:
http://www.theses.fr/2012TELE0003/document