| Titre de série : |
Systèmes temps réel, 1 |
| Titre : |
Systèmes temps réel : technique de description et de vérification |
| Type de document : |
texte imprimé |
| Auteurs : |
bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier |
| Editeur : |
Paris : Hermès science publications-Lavoisier |
| Année de publication : |
impr. 2006 |
| Collection : |
Traités IC2. Série Informatique et systèmes d'information |
| Sous-collection : |
Informatique et systèmes d'information |
| Importance : |
1 vol. (370-VII p.) |
| Présentation : |
ill. |
| Format : |
20x25 cm |
| ISBN/ISSN/EAN : |
978-2-7462-1303-6 |
| Prix : |
115 EUR |
| Note générale : |
Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cm |
| Langues : |
Français (fre) |
| Mots-clés : |
pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel |
| Index. décimale : |
629. Autres Branches de L’ingénierie |
| Résumé : |
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté "outils" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
model checking:éléments de base
vérification par automates temporisés
modélisation et analyse de systémes asynchrones avec CADP
VÉRIFICATION DE PROGRAMMES SYNCHRONES AVEC LUSTRE/LESAR
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
|
| Note de contenu : |
Notes bibliogr.
Index |
Systèmes temps réel, 1. Systèmes temps réel : technique de description et de vérification [texte imprimé] / bernard berthomieu, Auteur ; patricia bouyer, Auteur ; marius bozga, Directeur de publication, rédacteur en chef ; paul caspi ; camille constat ; anne-marie déplanche ; sébastien graf ; susanne graf ; serge haddad ; grégoirehamon ; thierry jéron ; françois laroussinie ; hervé marchand ; radu mateescu ; stephan merz ; patrice moreaux ; laurent mounier . - Paris : Hermès science publications-Lavoisier, impr. 2006 . - 1 vol. (370-VII p.) : ill. ; 20x25 cm. - ( Traités IC2. Série Informatique et systèmes d'information. Informatique et systèmes d'information) . ISBN : 978-2-7462-1303-6 : 115 EUR Éditeur : Hermes Science Publications (11 mai 2006)
Langue : : Français
ISBN-10 : 2746213036
ISBN-13 : 978-2746213036
Poids de l'article : 798 g
Dimensions : 23.4 x 15.6 cm Langues : Français ( fre)
| Mots-clés : |
pétri temporels systèmes réactifs automates temporisés systèmes asynchrones lustre lucid temps réel Systèmes temps réel |
| Index. décimale : |
629. Autres Branches de L’ingénierie |
| Résumé : |
Aujourd'hui, les systèmes informatiques temps réel sont présents dans de multiples secteurs d'activités : contrôle des systèmes automatisés de production, aide à la conduite des véhicules ou gestion des flux d'information sur des réseaux locaux et sur l'Internet. Au cours des 30 dernières années, le temps réel s'est progressivement établi comme une discipline à part entière qui rassemble une forte communauté issue à la fois du monde académique et de l'industrie. Ce traité en deux volumes a pour objectif de mieux faire connaître cette discipline : ses enjeux, les méthodes et formalismes qui lui sont spécifiques, les outils existants, les résultats connus et, naturellement, les recherches encore à mener. Ce premier volume est consacré aux techniques de description et de vérification formelle, comme le model-checking, qui permettent de s'assurer, avant déploiement du système, du respect des propriétés de bon fonctionnement. Ce volume est délibérément orienté "outils" de façon à proposer des solutions concrètes à l'utilisateur potentiel de méthodes formelles.
sommaire:
réseaux de petri temporels:méthodes d'analyse et vérification avec TINA
combinaison entre vérification et test pour la validation
model checking:éléments de base
vérification par automates temporisés
modélisation et analyse de systémes asynchrones avec CADP
VÉRIFICATION DE PROGRAMMES SYNCHRONES AVEC LUSTRE/LESAR
LUCID SYNCHRONE,UN LANGAGE DE PROGRAMMATION
VÉRIFICATION DE SYSTéMES PROBABILISéS:MéTHODES ET OUTILS
LA BOITE à OUTILS IF POUR LA MODéLISATION ET LA VéRIFICATION DE SYSTéMES TEMPS RéEL
DESCRIPTION D'ARCHITECTURES POUR LE TEMPS RéEL:L'APPROCHE AADL
|
| Note de contenu : |
Notes bibliogr.
Index |
|  |
Affiner la recherche Interroger des sources externes
