PROTOTYPING OF CONCURRENT CYCLIC PROCESSES

In this paper an issue of prototyping Concurrent Cyclic Processes (CCP) with a focus on multiple dispatching rules is considered. In such systems the concurrent processes compete for an access to the shared system resources. The procedure of automatic system performance evaluation is divided into two main stages. The first one ensures that a flow of processes is deadlock-free and starvation-free. This is achieved by satisfying certain conditions must guarantee that the system has a steady cyclic state. The second stage permits to determine a wide range of system functional characteristics, such as a schedule of processes flows, the system period or performance indices. This stage is realized by a procedure of automatic building of an analytical model of CCP, which is based on the (max, +) algebra formalism.