Real-time systems : theory and applications : proceedings of the conference organized by British Computer Society, York, 28-29 September 1989
著者
書誌事項
Real-time systems : theory and applications : proceedings of the conference organized by British Computer Society, York, 28-29 September 1989
North-Holland Pub. Co. , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1990
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references
内容説明・目次
内容説明
Distributed real-time computing systems have become a fast growing area of research and development. This book is the result of a forum which brought together a number of practitioners and researchers in the field, from both industry and universities. The papers are wide-ranging, covering topics such as logic and semantics of distributed real-time computations, specification and the design of real-time systems and reliability issues for existing real-time systems. The main features of the book are: 1. Recent advances in the theory of real-time systems and computations 2. New developments in specification and design methodologies for real-time systems 3. Description of existing working real-time control systems.
目次
Compositional Verification of Distributed Real-Time Systems (J. Hooman). Factorising Proofs in Timed CSP (J. Davies, S. Schneider). Defining Time Domains for Computation (A. Goswami, M. Joseph). Intervals as Time Lattices (C.M. Holt). Using Temporal Logic for Prototyping: The Design of a Lift Controller (R. Hale). Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems (S. Morasca, M. Pezze). Observing Concurrent Histories (R. Janicki, M. Koutny). Implementing Real-Time Systems by Transformation (A. Moitra, M. Joseph). Evaluation and Design of Local Area Network Based Real-Time Systems (M. Merabti, D. Hutchison). Implementation of a Fault-Tolerant Transputer-Based Gas Turbine Engine Controller (H.A. Thompson, P.J. Fleming, C.G. Legge). Modelling Fault Tolerance in Large Scale Homogeneous Multicomputers (G. Morgan). Performance Aspects of Transputers in Fault-Tolerant Systems (J. Standeven, M.J. Colley). Towards a Realistic Real-Time System (C.B. Marshall). Tolerating Processor Failure Using the Virtual Node Approach to the Distributed Execution of Ada Programs (A.D. Hutcheon, A.J. Wellings). Real-Time Expert Systems for the Civil and Construction Industries (D.A. Bradley, D.W. Seward, R.H. Bracewell, M. Anson). Building Reliability into Mission-Critical Real-Time Systems (M.C. Birch, D.G. Edgar-Nevill). High Speed Processing for Real-Time Control of Multiple Axes Continuous Path Manipulators (N. Sherkat, P.D. Thomas). CNCSIM - A Distributed Simulator for Decentralised Algorithms (O. Kremien, J. Kramer, J. Magee). Real-Time Signal Processing using Prime Number Fourier Transforms (J.E.M. Tyler). Distributed Hard Real-Time Systems: What Restrictions Are Necessary? (A. Burns). Design Issues for Reliable Time-Critical Systems (A. Dix, R.F. Stone, H.S.M. Zedan).
「Nielsen BookData」 より
