A new specification methodology for embedded systems based on the π-calculus process algebra

2004 ◽  
Author(s):  
S. Forster ◽  
M. Fischer ◽  
A. Windisch ◽  
B. Balser ◽  
D. Monjau
Keyword(s):  
Embedded Systems ◽  
Process Algebra ◽  
Π Calculus ◽  
Specification Methodology

scholarly journals Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi

2008 ◽  
Vol 209 ◽  
pp. 21-53 ◽  
Author(s):  
J.C.M. Baeten ◽  
D.A. van Beek ◽  
P.J.L. Cuijpers ◽  
M.A. Reniers ◽  
J.E. Rooda ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Process Algebra ◽  
Hybrid Process ◽  
Model Based

CASE STUDIES IN THE HYBRID PROCESS ALGEBRA HyPA

2005 ◽  
Vol 15 (02) ◽  
pp. 299-305 ◽  
Author(s):  
K. L. MAN ◽  
M. A. RENIERS ◽  
P. J. L. CUIJPERS
Keyword(s):  
Embedded Systems ◽  
Hybrid Systems ◽  
Case Studies ◽  
Process Algebra ◽  
Fuzzy Controller ◽  
Algebraic Theory ◽  
Flip Flop ◽  
Mixed Signal ◽  
Algebra Of Communicating Processes ◽  
Point To Point

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.

Sign in / Sign up

Export Citation Format

Share Document