Timed CSP for Safety Specification of Hybrid System

Abstract

We propose a process algebra TCSPhs obtained by extending process algebra timed CSP (timed communicating sequential processes [10, 11]) with a new propositional signal operator, inspired by [2]. The proposed process algebra makes it possible to deal well with behaviors and security features of hybrid system. Motivation is twofold. On the one hand we offer structural operational semantics of the proposed process algebra language. On the other hand we concentrate on investigating safety specification aspects of hybrid system within that language.