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

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 hyb...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2008-04, Vol.209, p.21-53
Main Authors: Baeten, J.C.M., van Beek, D.A., Cuijpers, P.J.L., Reniers, M.A., Rooda, J.E., Schiffelers, R.R.H., Theunissen, R.J.M.
Format: Article
Language:English
Subjects:
hybrid automata
hybrid systems
linearization
modeling
process algebra
simulation
verification
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1571-0661
1571-0661
DOI:10.1016/j.entcs.2008.04.003