V. A. Silyok
Published: 2001
Total Pages: 138
Get eBook
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.