A Process Algebra for Predictible Control Systems

11 years 1 months ago
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...
Nicolae Marian
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where CUZA
Authors Nicolae Marian
Comments (0)