Integrated design, simulation, and verification of real-time systems

The goal of this research is to develop a design methodology that allows performance characteristics of a system to be monitored through all stages of its development, from initial design to system deployment. The use of partially implemented performance specifications (PIPS) as the design paradigm for real-time systems is proposed. A PIPS model is a partially implemented system where some system components exist as simulation models and others as operational subsystems. The model may be executed in an appropriate operating environment to determine stochastic performance of a proposed design. Proof axioms have also been defined for the modeling primitives to allow absolute timing constraints to be verified for the model