A comparative study of process algebras for hybrid systems
A comparative study of process algebras for hybrid systems
复制标题
混合系统过程代数的比较研究
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
U. Khadim
中科院分区：
文献类型：
--
作者：
U. Khadim
混合系统是既有离散行为又有连续行为的系统。嵌入式系统是混合系统的典型例子，在混合系统中，数字组件控制连续环境。例如恒温器、风暴潮屏障、火警等。随着软件技术在我们的日常生活和安全关键系统中的集成不断推进，使用形式化方法来指定混合系统的兴趣越来越大。我们采用了四种最新的进程代数来描述混杂系统，即混杂系统进程代数、混杂进程代数、φ演算和混合CHI。我们比较了由它们提供的用于指定混合系统的运算符和构造。我们指出了每个进程代数的特殊特性，并试图确定通过这些特性在可表现性和建模简易性方面具有哪些优势。我们还提供了一个铁路闸机控制器的案例研究，它帮助我们识别每个进程代数的相似结构，并确定其表达能力。
A hybrid system is one that exhibits both discrete and continuous behaviour. Embedded systems are typical examples of hybrid systems in which a digital component controls a continuous environment. Examples are a thermostat, storm surge barriers, fire alarms etc. With the advancing integration of software technology in our daily lives and safety critical systems, the interest in use of formal methods in specifying hybrid systems is increasing. We take four recent process algebras for describing hybrid systems namely Process Algebra for Hybrid Systems, Hybrid Process algebra, φCalculus and Hybrid Chi. We compare operators and constructs offered by them for specifying hybrid systems. We point out special features of each process algebra and try to determine what advantages are achieved through these features in terms of expressiveness and ease of modelling. We also present a case study of a railway gate controller that helps us to identify similar constructs of each process algebra and determine its expressiveness.