الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا

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