Vérification des propriétés temporisées des automates programmables industriels
De nombreux sytèmes critiques comportent des aspects temporisés, où interviennent de manière cruciale des contraintes quantitatives sur les délais séparant certaines actions. Un automate programmable industriel (API) constitue un composant fondamental d'un système souvent critique destiné à réa...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
École normale supérieure de Cachan - ENS Cachan
2006
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00132057 http://tel.archives-ouvertes.fr/docs/00/13/20/57/PDF/BelMokadem2006.pdf |