Book description
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.
Table of contents
- Cover
- Title Page
- Copyright
- Preface
-
Chapter 1: Models for Real-Time Embedded Systems
- 1.1. Introduction
- 1.2. Notations, languages and timed transition systems
- 1.3. Timed models
- 1.4. Models with stopwatches
- 1.5. Conclusion
- 1.6. Bibliography
- Chapter 2: Timed Model-Checking
-
Chapter 3: Control of Timed Systems
- 3.1. Introduction
- 3.2. Timed games
- 3.3. Computation of winning states and strategies
- 3.4. Zeno strategies
- 3.5. Implementability
- 3.6. Specification of control objectives
- 3.7. Optimal control
- 3.8. Efficient algorithms for controller synthesis
- 3.9. Partial observation
- 3.10. Changing game rules
- 3.11. Bibliography
- Chapter 4: Fault Diagnosis of Timed Systems
- Chapter 5: Quantitative Verification of Markov Chains
-
Chapter 6: Tools for Model-Checking Timed Systems
- 6.1. Introduction
- 6.2. Uppaal
- 6.3. Uppaal-CORA
- 6.4. Uppaal-TIGA
- 6.5. TAPAAL
- 6.6. Roméo: a tool for the analysis of timed extensions of Petri nets
- 6.7. Bibliography
- Chapter 7: Tools for the Analysis of Hybrid Models
- List of Authors
- Index
Product information
- Title: Communicating Embedded Systems: Software and Design
- Author(s):
- Release date: December 2009
- Publisher(s): Wiley
- ISBN: 9781848211438
You might also like
book
Embedded Systems: Hardware, Design and Implementation
Covers the significant embedded computing technologies—highlighting their applications in wireless communication and computing power An embedded …
book
Embedded System Interfacing
Embedded System Interfacing: Design for the Internet-of-Things (IoT) and Cyber-Physical Systems (CPS) takes a comprehensive approach …
book
Embedded Systems Circuits and Programming
During the development of an engineered product, developers often need to create an embedded system—a prototype—that …
book
Real-Time Embedded Systems
From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity …