Title :
Timed CSP for Safety Specification of Hybrid System
Author :
Wu, Jinzhao ; Yang, Shihan
Author_Institution :
Sch. of Comput. & Inf. Technol., Beijing Jiaotong Univ., Beijing
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.
Keywords :
algebraic specification; process algebra; hybrid system safety specification; process algebra language; structural operational semantics; timed communicating sequential processes; Algebra; Computer applications; Control systems; Distributed control; Information security; Information technology; Natural languages; Safety; Signal processing; Timing; Safety specification; signal operator; structural operational semantics; temporal process algebra;
Conference_Titel :
Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for
Conference_Location :
Hunan
Print_ISBN :
978-0-7695-3398-8
Electronic_ISBN :
978-0-7695-3398-8
DOI :
10.1109/ICYCS.2008.164
