Parcourir…

Les Sites à connaître

Abonnez-vous au flux RSS des nouveautés Flux RSS

  • Ajouter à NetVibes
  • Ajouter à Yahoo
  • Ajouter à Windows Live

Approches formelles des systèmes embarqués communicants (Traité IC2 série Informatique et systèmes d'information)

 
    • eBook [PDF]

      98,00 €
    Formats disponibles →  Format PDF
     
     

    Avis des lecteurs  

     

    Présentation

    Les systèmes embarqués sont un enjeu industriel et académique incontesté et connaissent une complexité grandissante : architectures réparties et hétérogènes, ressources limitées, systèmes "concurrents" et communicants. Ces systèmes sont souvent critiques et soumis à des contraintes non fonctionnelles importantes, en particulier énergétiques et temporelles. Cette complexité, couplée avec des cycles de développement de plus en plus courts impose une conception à la fois basée sur les modèles et assistée par des outils. Les méthodes formelles offrent un cadre mathématique fondé sur des modèles prenant aujourd'hui en compte les paramètres discrets, stochastiques et continus (temporels et hybrides) ainsi que des outils de plus en plus performants. Cet ouvrage est consacré à ces méthodes formelles appliquées aux systèmes embarqués en insistant sur les enjeux, la modélisation, la vérification, le diagnostic, la synthèse de contrôleurs et en présentant les principaux outils associés.

    Sommaire

    Préface -C. Jard, O. H. Roux. Chapitre 1. Modéliser et vérifier les systèmes embarqués : pourquoi, comment ? -J.-P. Elloy. Chapitre 2. Les modèles pour les systèmes temps réels embarqués -D. Lime, O. H. Roux. Chapitre 3. Model checking temporisé -B. Bérard. Chapitre 4. Contrôle des systèmes temporisés -F. Cassez, N. Markey. Chapitre 5. Diagnostic des systèmes temporisés -F. Cassez, S. Tripakis. Chapitre 6. Vérification quantitative de chaînes de Markov -S. Donatelli, S. Haddad. Chapitre 7. Outils de Model Checking -A. David, G. Behrmann, K. G. Larsen, P. Pettersson, J. I. Rasmussen, W. Yi, D. Lime, M. Magnin, O. H. Roux. Chapitre 8. Outils pour l'analyse des modèles hybrides -T. Dang, G. Frehse, A. Girard, C. Le Guernic.

    Supports disponibles

    • eBook [PDF]

      Pdf PDF (Approches formelles des systèmes embarqués communicants (Traité IC2 série Informatique et systèmes d'information)), 286 pages
      A télécharger après achat
    • Caractéristiques

    Référencer ce produit sur votre site

    → Copier en mémoire :