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)
1 Downloads (Pure)

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.
Original 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
Publication statusPublished - 2008

Publication series

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

    Fingerprint

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). https://doi.org/10.1016/j.entcs.2008.04.003