Real-time software design-from theory to practice

To understand the challenge ahead in real-time software design, the author examines the role timing considerations play in system design, the limitations of current design methods, and the major issues that must be resolved to bring theory to practice in the design of future real-time systems. Some of the major issues in mechanizing the specification, validation/verification and synthesis of the control structure of real-time software are highlighted. The author outlines some of the major research issues that must be considered in order to provide a rigorous foundation for automating the design chores that deal with timing constraints