Approches formelles des systèmes embarqués communicants

Claude Jard

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Hermes Science Publications

  • Paru le : 16/10/2008
  • Tous vos e-books sur notre application de lecture
  • Téléchargement immédiat
  • Aide au choix numérique
98,00 €
E-book - PDF
Vérifier la compatibilité avec vos supports

Decitre eBooks

Découvrez vos e-books avec notre application de lecture !

Votre note
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.
  • Date de parution : 16/10/2008
  • Editeur : Hermes Science Publications
  • ISBN : 978-2-7462-4315-6
  • EAN : 9782746243156
  • Format : PDF
  • Nb. de pages : 268 pages
  • Caractéristiques du format PDF
    • Pages : 268
    • Taille : 3 979 Ko
    • Protection num. : Digital Watermarking
    • Transferts max. : Autorisé
    • Imprimable : Autorisé
    • Copier coller : Autorisé

Nos avis clients sur decitre.fr


Avis Trustpilot

Approches formelles des systèmes embarqués communicants est également présent dans les rayons

Claude Jard - Approches formelles des systèmes embarqués communicants.
Approches formelles des systèmes embarqués communicants
98,00 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter