A Process Algebra for Predictible Control Systems

This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control systems. Instantaneos, prioritized events are used for process synchronization, more or less as in other existing process algebra approaches. Events with bound delays are used for interprocess communication. The building blocks of PAPCS are processes, consisting of activities, by their turn combining resource, priority, and time consuming composite functions. Activities can generate specific reactions to timing and/or events. They can also include variables in a C like statement. Because of introducing prioritized resources and events, our algebra allows activities or events to take priority over others and therefore to capture a notion of preemption. Fixed-priority scheduling of execution and communication is used in order to assure safe and preditable behaviour, in the context of local and remote interaction...

• Type: Journal
• Year: 2002
• Where: CUZA
• Authors: Nicolae Marian
• Keywords: Algebra, Control Systems, CUZA 2002, Process Algebra