TY - JOUR
T1 - Case studies in the hybrid process algebra HyPA
AU - Man, K. L.
AU - Renters, M. A.
AU - Cuijpers, P. J.L.
PY - 2005/4
Y1 - 2005/4
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=21244496854&partnerID=8YFLogxK
U2 - 10.1142/S0218194005002385
DO - 10.1142/S0218194005002385
M3 - Article
AN - SCOPUS:21244496854
SN - 0218-1940
VL - 15
SP - 299
EP - 305
JO - International Journal of Software Engineering and Knowledge Engineering
JF - International Journal of Software Engineering and Knowledge Engineering
IS - 2
ER -