Author: V. A. Silyok

Publisher: Nova Publishers

Published: 2001

Total Pages: 138

ISBN-13: 9781590330494

This work presents enhanced papers from an April 1997 workshop held as part of the 9th IEEE International Parallel Processing Symposium, held in Santa Barbara, California. Papers overview the various issues a system engineer of a complex distributed real-time system is confronted with, including requirements engineering, formal specification and validation of real-time systems, formal specification and verification of hybrid systems, program analysis, distributed real-time scheduling, single processor real-time scheduling, and real-time operating systems. Specific topics include use cases for distributed real-time software architectures, and automatic derivation of path and loop annotations. c. Book News Inc.