Modeling Real-time Systems through the Object-Process Methodology

Mor Peleg

Abstract

The complexity of real life systems requires a methodology that can describe them in a coherent and consistent manner. Specifying real-time systems complicates this problem even further, as there is a need to represent the control component which determines the order and timing of processes, and to deal with issues such as concurrency, synchronization, and expression of real-time constraints. The aim of this research is the development of OPM/T - a methodology that graphically specifies real-time systems in a single unified model.