Communicating Embedded Systems (PDF)
Software and Design
(Sprache: Englisch)
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...
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...
sofort als Download lieferbar
eBook (pdf)
139.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Communicating Embedded Systems (PDF)“
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.
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.
Autoren-Porträt
Claude Jard is full professor at ENS Cachan Campus of Ker-Lann. His research works relate to the formal analysis of asynchronous parallel systems.Olivier H. Roux is an Assistant Professor at Nantes University and his research focusses on validation and verification of embedded systems, real-time and hybrid systems.
Bibliographische Angaben
- 2013, 1. Auflage, 288 Seiten, Englisch
- Herausgegeben: Claude Jard, Olivier Roux
- Verlag: John Wiley & Sons
- ISBN-10: 1118600126
- ISBN-13: 9781118600122
- Erscheinungsdatum: 04.02.2013
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 1.98 MB
- Mit Kopierschutz
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Communicating Embedded Systems"
Schreiben Sie einen Kommentar zu "Communicating Embedded Systems".
Kommentar verfassen