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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

8 Citaten (Scopus)
1 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
TitelProceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006)
RedacteurenC. Palamidessi, F.D. Valencia
Pagina's21-53
DOI's
StatusGepubliceerd - 2008

Publicatie series

NaamElectronic Notes in Theoretical Computer Science
Volume209
ISSN van geprinte versie1571-0061

Vingerafdruk Duik in de onderzoeksthema's van 'Model-based engineering of embedded systems using the hybrid process algebra Chi'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    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 (editors), Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006) (blz. 21-53). (Electronic Notes in Theoretical Computer Science; Vol. 209). https://doi.org/10.1016/j.entcs.2008.04.003