Systèmes temps réel. 1, Techniques de description et de vérification
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris :
Hermes science publ. : Lavoisier
C 2006.
|
| Schriftenreihe: | Traité IC2 : information-commande-communication. Informatique et systèmes d'information
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |
| Variante du titre: | Techniques de description et de vérification |
Inhaltsangabe:
- Chapitre 1. Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA
- Chapitre 2. Combinaison entre vérification et test pour la validation de systèmes réactifs
- Chapitre 3. Model checking : éléments de base
- Chapitre 4. Vérification par automates temporisés
- Chapitre 5. Modélisation et analyse de systèmes asynchrones avec CADP
- Chapitre 6. Vérification de programmes synchrones avec Lustre/Lesar
- Chapitre 7. Lucid Synchrone, un langage de programmation des systèmes réactifs
- Chapitre 8. Vérification de systèmes probabilisés : méthodes et outils
- Chapitre 9. La boîte à outils IF pour la modélisation et la vérification de systèmes temps réel
- Chapitre 10. Description d'architectures pour le temps réel : l'approche AADL