Communicating embedded systems : software and design : formal methods /
Saved in:
| Uniform title: | Approches formelles des systèmes embarqués communicants. English. |
|---|---|
| Imprint: | London : Iste ; Hoboken, NJ : ohn Wiley and Sons, 2010. |
| Description: | xii, 261 p. : ill. ; 25 cm. |
| Language: | English |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8126789 |
| Summary: | 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. <p>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.</p> <p>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.</p> |
|---|---|
| Physical Description: | xii, 261 p. : ill. ; 25 cm. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9781848211438 1848211430 |
