Téléchargez le livre : Approches formelles des systèmes embarqués communicants

Approches formelles des systèmes embarqués communicants

de

,

Éditeur :

Hermés science


Collection :

Traité IC2

Paru le : 2008-10-16

eBook Téléchargement ebook sans DRM
Lecture en ligne (streaming)
103,39 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description
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.
Pages
268 pages
Collection
Traité IC2
Parution
2008-10-16
Marque
Hermés science
EAN papier
9782746219427
EAN PDF SANS DRM
9782746243156
Informations sur l'ebook
Prix
103,39 €

Suggestions personnalisées