Cargando…
Real-time systems : modeling, design, and applications /
This book collects the research work of leading-edge researchers and practitioners in the areas of analysis, synthesis, design and implementation of real-time systems with applications in various industrial fields. Their works are grouped into six parts, together encompassing twenty chapters. Each p...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Singapore ; Hackensack, NJ :
World Scientific,
©2007.
|
| Colección: | AMAST series in computing ;
vol. 8. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Preface; Contents; PART 1 Theoretical Aspects of Real-Time Systems; Chapter 1 A Discrete Model for Real-Time Environments; Chapter 2 Distributed Synchronous Processes; Chapter 3 A Model of Probabilistic Processes; Chapter 4 Modeling and Proving Grafcets with Transition Systems; Chapter 5 Focus Points and Convergent Process Operators; PART 2 Verification Methods for Real-Time Systems; Chapter 6 The Automatic Verification Using Symbolic Model-Checking; Chapter 7 Property Verification within a Process Algebra Framework; PART 3 Synthesis Methods for Real-Time Systems.