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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Abstract

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.
LanguageEnglish
Title of host publicationProceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)
EditorsC. Palamidessi, F.D. Valencia
Pages21-53
DOIs
StatePublished - 2008

Publication series

NameElectronic Notes in Theoretical Computer Science
Volume209
ISSN (Print)1571-0061

Fingerprint

Hybrid systems
Embedded systems
Algebra
Set theory
Linearization
Specifications
Bottles
Simulators

Cite this

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. (2008). Model-based engineering of embedded systems using the hybrid process algebra Chi. In C. Palamidessi, & F. D. Valencia (Eds.), 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
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./ Model-based engineering of embedded systems using the hybrid process algebra Chi. Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). editor / C. Palamidessi ; F.D. Valencia. 2008. pp. 21-53 (Electronic Notes in Theoretical Computer Science).
@inproceedings{ce84299796e14e9598a030556f40c03d,
title = "Model-based engineering of embedded systems using the hybrid process algebra Chi",
abstract = "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.",
author = "J.C.M. Baeten and {Beek, van}, D.A. and P.J.L. Cuijpers and M.A. Reniers and J.E. Rooda and R.R.H. Schiffelers and R.J.M. Theunissen",
year = "2008",
doi = "10.1016/j.entcs.2008.04.003",
language = "English",
series = "Electronic Notes in Theoretical Computer Science",
pages = "21--53",
editor = "C. Palamidessi and F.D. Valencia",
booktitle = "Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)",

}

Baeten, JCM, Beek, van, DA, Cuijpers, PJL, Reniers, MA, Rooda, JE, Schiffelers, RRH & Theunissen, RJM 2008, Model-based engineering of embedded systems using the hybrid process algebra Chi. in C Palamidessi & FD Valencia (eds), 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.

Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). ed. / C. Palamidessi; F.D. Valencia. 2008. p. 21-53 (Electronic Notes in Theoretical Computer Science; Vol. 209).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 -

Baeten JCM, Beek, van DA, Cuijpers PJL, Reniers MA, Rooda JE, Schiffelers RRH et al. Model-based engineering of embedded systems using the hybrid process algebra Chi. In Palamidessi C, Valencia FD, editors, Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). 2008. p. 21-53. (Electronic Notes in Theoretical Computer Science). Available from, DOI: 10.1016/j.entcs.2008.04.003