A COMPUTATION MODEL FOR REAL-TIME SYSTEMS

This paper examines a simplified computation model for real-time systems, TMRS (Transition Model for Real-time Systems). It investigates a simpler way to develop a model in order to highlight the main aspects and properties of it and mainly timing constraints problem. Such model takes into account the physical process and the con trolling process (computer process); the physical process being either a discrete-event system such as a manufacturing process, or continuous system such as a chemical process. The controlling process is an active program being executed to control and monitor the physical process; the controlling process is often denoted by reactive systems. The whole environment is considered in this study.