Login

Jard, Claude

Communicating Embedded Systems: Software and Design

Jard, Claude - Communicating Embedded Systems: Software and Design, ebook

DRM Restrictions

Printing30 pages with an additional page accrued every day, capped at 30 pages
Copy to clipboard5 excerpts

The increased complexity of embedded systems coupled with quick design cycles to accommodate faster time-to-market requires increased system design productivity that involves both model-based design and tool-supported methodologies.

Formal methods are mathematically-based techniques and provide a clean framework in which to express requirements and models of the systems, taking into account discrete, stochastic and continuous (timed or hybrid) parameters with increasingly efficient tools.

This book deals with these formal methods applied to communicating embedded systems by presenting the related industrial challenges and the issues of modeling, model-checking, diagnosis and control synthesis, and by describing the main associated automated tools.

Keywords: claude; models; lime; didier; realtime; systems; stopwatches; beatrice; modelchecking; control; timed; franck; states; computation; control objectives; algorithms; efficient; controller synthesis; observation

Editor
 
Publisher
John Wiley and Sons, Inc.
Publication year
2010
Language
en
Edition
1
Series
ISTE
Page amount
288 pages
Category
Information Technology, Telecommunications
Format
Ebook
eISBN (ePUB)
9781118600092
Printed ISBN
9781848211438

Similar titles