Object-Oriented technology provides an effective way of modeling real-world entities with its fundamental principles such as information hiding, polymorphism and inheritance. And many real-time systems use object-oriented technology during their development. One of the critical factors in real-time systems is time constraints. During the early phase of software develpment for real-time systems, the time constraints must be verified against the requirements. Recently object-oriented technology has been used widely for real-time software development. However, in order to take advantage of O-O technology, new analysis technique for time constraints needs to be studied further.
In this thesis, we propose an approach to time-constraint analysis of object-oriented design. In our approach, we first describe the behavior of system with TOMD(Timed Object Message Diagram) flow diagram using TOMD that is resulted from extending object-message diagram of Unified Method with time-constraints. The TOMD flow diagram is then, transformed into time Petri net for the time-constraint analysis. TOMD flow diagram is constructed by extracting TOMD and event driver from the system requirements scenario and event-trace diagram. The proposed approach can be easily automated because it uses systematic procedures during the system verification.
