The ESCRO realtime specification environment

Timing constraints for realtime systems have proven difficult to specify and analyze. Specifications of such timing constraints are often incomplete or inconsistent. Three major reasons for this are the lack of a coherent timing model, the lack of a complete notation for describing functional and timing constraints, and the inability to dynamically analyze target systems directly from the specification.;This thesis addresses each of these problems. The Stimulus/Response Timing model is developed as a formal model for the description of the functional and timing constraints for realtime systems. The Executable SCR Object (ESCRO) language is defined as a notation to represent the concepts and relationships defined by the Stimulus/Response Timing model. An example of an ESCRO specification for an elevator system is provided and creation of an executable simulation from the specification is demonstrated.