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

J.C.M. Baeten, D.A. Beek, van, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers, R.J.M. Theunissen

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

8 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 Dive into the research topics of 'Model-based engineering of embedded systems using the hybrid process algebra Chi'. Together they form a unique fingerprint.

Cite this