Evaluation of real-time software design with the aid of a Petri Net template model

The construction of a model: describing the way application software is executed on a real-time multitasking system is presented in Mis work The model is expressed in Me form of a THLPN (Timed High-Level Petri Net) template and Me aim of its development is to provide a framework for Me modular decomposition, the data flow control and the validation of the timing and functional requirements of application software. The template is a THLPN with fixed and steady topology. It satisfies finite reachability tree, boundedness and liveness properties. Therefore, a validation based on the tracing down of net states that we modeled software can be found at becomes feasible This is demonstrated by analysing the behavior of I considered task decomposition and data flow control scheme for software Mat needs to be developed for the automation of an experimental process.