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.

Caractéristiques

Auteur(s) : Jacques MOULINEC, Lionel LOYER, Flemming CHRISTENSEN, Hervé GUYADER

Publication : 13 février 2006

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 6,28 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3177

EAN13 eBook [PDF] : 9782746237452

EAN13 (papier) : 9782746213029

Avis

--:-- / --:--