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 part is devoted to a mainstream subject, the chapters therein developing one of the major aspects of real-time system theory, modeling, design, and practical applications. Starting with a general approach in the area of formalization of real-time systems, and setting the foundations for a general systemic theory of those systems, the book covers everything from building modeling frameworks for various types of real-time systems, to verification, and synthesis. Other parts of the book deal with subjects related to tools and applications of these systems. A special part is dedicated to languages used for their modeling and design. The applications presented in the book reveal precious insights into practitioners secrets.
FREE Two-Day Shipping for students on millions of items. Learn more |
Book Description
Special Offers and Product Promotions
- Buy $50 in qualifying physical textbooks, get $5 in Amazon MP3 Credit. Here's how (restrictions apply)
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
Key Phrases - Statistically Improbable Phrases (SIPs):
(learn more)
macro operation macro, disabling composition, inverse image computation, model checker program, commit constraints, causal partition, dense time model, hybrid trace, algebraic compiler, homomorphism computation, multi sorted algebra, hybrid execution, source language constructs, tick transition, synchronization vectors, syntax algebra, testing semantics, satisfiability sets, fair transition systems, dense time domain, macro operations, timed transition systems, synchronous semantics, synchronous paradigm, timed process algebra Key Phrases - Capitalized Phrases (CAPs): (learn more)
Time Extended, Supervisory Control Theory, Concurrent Alternating Bit Protocol, Department of Defense, Honor Role, Probabilistic Tests, Circal System, Husband Wife Fig New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
macro operation macro, disabling composition, inverse image computation, model checker program, commit constraints, causal partition, dense time model, hybrid trace, algebraic compiler, homomorphism computation, multi sorted algebra, hybrid execution, source language constructs, tick transition, synchronization vectors, syntax algebra, testing semantics, satisfiability sets, fair transition systems, dense time domain, macro operations, timed transition systems, synchronous semantics, synchronous paradigm, timed process algebra Key Phrases - Capitalized Phrases (CAPs): (learn more)
Time Extended, Supervisory Control Theory, Concurrent Alternating Bit Protocol, Department of Defense, Honor Role, Probabilistic Tests, Circal System, Husband Wife Fig New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Surprise Me!
Books on Related Topics
(learn more)
|
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
