الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
1 résultat(s) recherche sur le mot-clé 'systèmes temps réel'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Systèmes temps réel, 1. Systèmes temps réel / bernard berthomieu
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 cmLangues : 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.
IndexSystè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.
IndexExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST8980 629/15.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Exclu du prêt