Analysis of VME-Bus communication protocol - RTCP-net approach

The paper discusses an RTCP-net approach to design and analysis of an example of VMEbus communication protocol. RTCP-nets are a novel Petri net class, based on time coloured Petri nets but were defined to give users powerful tools for easy and rapid design of real-time systems. Page templates are one of the main advantages of the new nets' design stage. Just modifying values of parameters in the page hierarchy graph is enough to change some features of a modelled system. Therefore, it is easy to experiment on different versions of the same model with very little additional effort. It is also very easy to reorganize page templates in order to model a different structure of a system.Relevant definitions and main properties of RTCP-nets are presented in the paper. A VMEbus communication protocol case study is used to demonstrate some applications of this approach.The work is carried out within KBN Research Project, Grant No. 4 T11C 035 24. Marcin Szpyrka received the M.S. degree in mathematics from the Rzeszów University (Poland) in 1997. He received the Ph. D. degree in computer science from AGH University of Science and Technology in Kraków (Poland) in 2000. Marcin Szpyrka is currently an assistant professor at the Institute of Automatics, AGH-UST. His research interests include: formal methods (Petri nets, process algebras), real-time systems and safety-critical systems. He has published over 40 papers and one book.