Réseaux de Petri temporels à inhibitions / permissions : application à la modélisation et vérification de systèmes de tâches temps réel
Les systèmes temps réel (STR) sont au coeur de machines souvent jugés critiques pour lasécurité : ils en contrôlent l’exécution afin que celles-ci se comportent de manière sûre dans le contexte d’un environnement dont l’évolution peut être imprévisible. Un STR n’a d’autre alternative que de s’adapte...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2010
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2010ISAT0004/document |