Real-time systems : modeling, design, and applications
著者
書誌事項
Real-time systems : modeling, design, and applications
(AMAST series in computing / managing editor: T. Rus ; advisory board; A. Arnold ... [et al.], v. 8)
World Scientific, c2007
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references (p. 459-477) and index
内容説明・目次
内容説明
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.
目次
- A Discrete Model for Real-Time Environments
- Distributed Synchronous Processes
- A Model of Probabilistic Processes
- Focus Points and Convergent Process Operators
- Verifying Real-Time Systems with Standard Tools
- Testing Semantics for Urgent Timed Process Algebras
- Analysis of Real-Time Systems Using OSA
- Experiments on a Fault-Tolerant Distributed System
- An Algebra Framework for the Feature Interaction Problem
- and other works in the areas of real-time systems theory, modeling, synthesis and tools for their design.
「Nielsen BookData」 より