Real-Time systems are characterized by the fact that severe consequences will result if logical as well as timing correctness properties of the system are not satisfied. It is important to verify whether a real-time system design will meet its timing constraints. For this purpose, we propose Time Object Message Diagram as a way for representing timing constraints of an object-oriented design. In order to analyze the timing constraints in more formal manner, we present transformation rules for mapping Time Object Message Diagram onto Time Petri Nets (or TPNs for short).
In this thesis, we present a new design process for building real-time systems. In this process, a designer is able to detect underlying design deficiencies by repeatedly following through analysis loop in the design phase. The detectable design deficiencies are deadlocks, non-reachable routines and bottlenecks of the real-time software system under development. The detection of bottlenecks of a system is critical in designing of a real-time system.