Real-Time Systems: Modeling, Design and Applications Contributor(s): Cornell, Aurel (Editor), Ionescu, Dan (Editor) |
|
![]() |
ISBN: 981024424X ISBN-13: 9789810244248 Publisher: World Scientific Publishing Company OUR PRICE: $229.90 Product Type: Hardcover Published: February 2007 Annotation: Selected researchers were invited to revise talks they had presented at various AMAST workshops for publication here. The 20 studies cover theoretical aspects of real-time systems, verification methods, synthesis methods, extensions to formal languages, tools, and industrial applications. |
Additional Information |
BISAC Categories: - Computers | Software Development & Engineering - Systems Analysis & Design - Computers | Data Modeling & Design |
Dewey: 004.2 |
LCCN: 2007278665 |
Series: Amast Series in Computing |
Physical Information: 1.42" H x 6.38" W x 8.56" (1.78 lbs) 504 pages |
Descriptions, Reviews, Etc. |
Publisher Description: 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. |