### Abstract

Language | English |
---|---|

Title of host publication | Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006) |

Editors | C. Palamidessi, F.D. Valencia |

Pages | 21-53 |

DOIs | |

State | Published - 2008 |

### Publication series

Name | Electronic Notes in Theoretical Computer Science |
---|---|

Volume | 209 |

ISSN (Print) | 1571-0061 |

### Fingerprint

### Cite this

*Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)*(pp. 21-53). (Electronic Notes in Theoretical Computer Science; Vol. 209). DOI: 10.1016/j.entcs.2008.04.003

}

*Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006).*Electronic Notes in Theoretical Computer Science, vol. 209, pp. 21-53. DOI: 10.1016/j.entcs.2008.04.003

**Model-based engineering of embedded systems using the hybrid process algebra Chi.** / Baeten, J.C.M.; Beek, van, D.A.; Cuijpers, P.J.L.; Reniers, M.A.; Rooda, J.E.; Schiffelers, R.R.H.; Theunissen, R.J.M.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Model-based engineering of embedded systems using the hybrid process algebra Chi

AU - Baeten,J.C.M.

AU - Beek, van,D.A.

AU - Cuijpers,P.J.L.

AU - Reniers,M.A.

AU - Rooda,J.E.

AU - Schiffelers,R.R.H.

AU - Theunissen,R.J.M.

PY - 2008

Y1 - 2008

N2 - Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements and operators for combining these. For the efficient implementation of simulators and the verification of properties of hybrid systems it is convenient to have a model that uses a more restricted part of the syntax of hybrid Chi. To that purpose the linearization of a reasonably expressive, relevant subset of the Chi language is discussed. A linearization algorithm that transforms any specification from this subset into a so-called normal form is presented. The algorithm is applied to a bottle-filling line example to demonstrate tool-based verification of Chi models.

AB - Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements and operators for combining these. For the efficient implementation of simulators and the verification of properties of hybrid systems it is convenient to have a model that uses a more restricted part of the syntax of hybrid Chi. To that purpose the linearization of a reasonably expressive, relevant subset of the Chi language is discussed. A linearization algorithm that transforms any specification from this subset into a so-called normal form is presented. The algorithm is applied to a bottle-filling line example to demonstrate tool-based verification of Chi models.

U2 - 10.1016/j.entcs.2008.04.003

DO - 10.1016/j.entcs.2008.04.003

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 21

EP - 53

BT - Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)

ER -