Case Studies in The Hybrid Process Algebra Hypa
Case Studies in The Hybrid Process Algebra Hypa
复制标题
混合过程代数 Hypa 的案例研究
DOI：
10.1142/s0218194005002385
复制
发表时间：
2005
影响因子：
0.9
通讯作者：
P. Cuijpers
中科院分区：
文献类型：
--
作者：
K. L. Man;M. Reniers;P. Cuijpers
HyPA是一种基于经典的进程代数通信进程代数（ACP）的混合系统的规范和分析的代数理论。我们认为，HyPA也非常适合解决数字嵌入式系统的各个方面，包括硬件、软件和并发性，以及混合信号设计。为了表明，HyPA是有用的混合动力系统的规范和分析，我们的想法是正确的，我们说明了使用HyPA与一些案例研究：点对点通信，恒温器，正沿触发D触发器，和一小部分的混合信号模糊控制器。
HyPA is an algebraic theory based on the classical process algebra Algebra of Communicating Processes (ACP) for the specification and analysis of hybrid systems. We have the idea that HyPA is also well suited for addressing various aspects of digital embedded systems including hardware, software and concurrency, as well as mixed-signal designs. To show that HyPA is useful for the specification and analysis of hybrid systems and that our idea is correct, we illustrate the use of HyPA with some case studies: a point-to-point communication , a thermostat, a positive-edge-triggered D flip flop, and a small part of a mixed-signal fuzzy controller.