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

DOI10.1016/J.ENTCS.2008.04.003MaRDI QIDQ2870190zbMATH OpenOpenAlexFDO

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

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.04.003

zbMATH Keywords

hybrid automatahybrid systemslinearizationmodelingprocess algebrasimulationverification

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relating hybrid chi to other formalisms
• Timed Chi: modeling, simulation and verification of hardware systems
• Syntax and consistent equation semantics of hybrid Chi
• Formal Modeling and Analysis of Timed Systems
• Hybrid process algebra

Cites work

• Algebraic process verification.
• Analysis of an industrial system
• Analyzing a \(\chi\) model of a turntable system using Spin, CADP and Uppaal
• Formal specification and analysis of production systems
• Hybrid Systems: Computation and Control
• Linearization of hybrid processes
• Process algebra with timing
• Syntax and consistent equation semantics of hybrid Chi
• The algebra of timed processes, ATP: Theory and application
• Uppaal in a nutshell

Cited in

(6)

• Modeling and verification of reconfigurable printing system based on process algebra
• Syntax and consistent equation semantics of hybrid Chi
• Relating hybrid chi to other formalisms
• Timed Chi: modeling, simulation and verification of hardware systems
• Rigorous discretization of hybrid systems using process calculi
• Formal specification and analysis of hardware systems in timed Chi

Describes a project that uses

Uses Software

• SPIN
• PHAVer
• HyTech
• Uppaal
• CADP

This page was built for publication: Model-based engineering of embedded systems using the hybrid process algebra Chi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870190)