Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems

  • Tomas KrilavičiusEmail author
  • Ka Lok Man
Part of the Lecture Notes in Electrical Engineering book series (LNEE, volume 52)


Progress in electronics requires novel techniques for modelling, design and production. Formal modelling is a well-known tool for modelling and analysis of diverse systems. Recent studies of the hybrid process algebras show that their application in electronics could improve design quality and reliability of the electronic systems. We present Behavioural Hybrid Process Calculus (BHPC), a formalism for modelling and analysis of hybrid systems combining process algebraic techniques and the behavioural approach in such a way providing means for modelling of instantaneous changes as well as continuous evolution. It is supported by Bhave toolset, a tool collection for modelling, simulation and visualisation of hybrid systems. The toolset contains msp-svg, a tool that provides a novel way for visualisation of hybrid systems – Message Sequence Plots and related tool. Moreover, we illustrate application of BHPC, and in particular, show how it can be effectively used for modelling and analysis of electronic systems in combination with OpenModelica System.


Hybrid systems Process algebras Visualisation Electronics 


  1. 1.
    Baeten, J.C.M., & Weijland, W.P. (1990). Process algebra, volume 18 of Camb. Tracts in TCS. Cambridge, UK: Cambridge University Press.Google Scholar
  2. 2.
    Bergstra, J.A., & Middelburg, C.A. (2005). Process algebra for hybrid systems. TCS, 335(2/3), 215–280.MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Brinksma, E., Krilavičius, T., & Usenko, Y.S. (2005). Process algebraic approach to hybrid systems. In Proceedings of the 16th IFAC world congress (pp. 1–6). Prague, Czech Republic.Google Scholar
  4. 4.
    Cuijpers, P.J.L., & Reniers, M.A. (2005). Hybrid process algebra. JLAP, 62(2), 191–245.MathSciNetzbMATHGoogle Scholar
  5. 5.
    Dymola. (2006). Dynasim.
  6. 6.
    Fritzson, P., & Engelson, V. (1998). Modelica – a unified object-oriented language for system modelling and simulation. In Proceedings of European Conference on Object-Oriented Programming (ECOOP’98). Brussels, Belgium, July 20–24, 1998.Google Scholar
  7. 7.
    Hoare, C.A.R. (1985). Communicating sequential processes. Englewood-Cliffs: Prentice-Hall.zbMATHGoogle Scholar
  8. 8.
    Krilavi\check{{c}}ius, T. (2006a). Bhave: simulation of hybrid systems.
  9. 9.
    Krilavi\check{{c}}ius, T. (2006b). Hybrid techniques for hybrid systems. PhD thesis, University of Twente.Google Scholar
  10. 10.
    Krilavi\check{{c}}ius, T. (2008). Simulation of mechatronic systems using Behavioural Hybrid Process Calculus. Electronics and Electrical Engineering, 1(81), 45–48.Google Scholar
  11. 11.
    Krilavi\check{{c}}ius, T., & Schonenberg, H. (2005). Discrete simulation of behavioural hybrid process calculus. In P.M.E. Bra, & J.J. van Wijk (Eds.), IFM2005 doctoral symposium (pp. 33–38). Eindhoven, Netherlands: Tech. Univ. of Eindhoven, Dept. of Math. and CS.Google Scholar
  12. 12.
    Man, K.L., & Schellekens, M.P. (2008). Interoperability of performance and functional analysis for electronic system designs in behavioural hybrid process calculus (BHPC). Current trends in intelligent systems and computer engineering, Springer, Germany.Google Scholar
  13. 13.
    Milner, R. (1989). Communication and concurrency. Prentice-Hall, USA.zbMATHGoogle Scholar
  14. 14.
    OpenModelica System website (2009). OpenModelica System.
  15. 15.
    Plotkin, G.D. (1981). A structural approach to operational semantics. Technical Report DIAMI FN-19, Computer Science Department, Aarhus University.Google Scholar
  16. 16.
    Polderman, J.W., & Willems, J.C. (1998). Introduction to mathematical systems theory: a behavioral approach. New York: Springer.Google Scholar
  17. 17.
    Rudolph, E., Graubmann, P., & Grabowski, J. (1996). Tutorial on message sequence charts. Computer Network ISDN System, 28(12), 1629–1641.CrossRefGoogle Scholar
  18. 18.
    Schonenberg, M.H. (2006). Discrete simulation of behavioural hybrid process algebra. Master’s thesis, University of Twente.Google Scholar
  19. 19.
    van Beek, D.A., Man, K.L., Reniers, M.A., Rooda, J.E., & Schiffelers, R. R.H. (2006). Syntax and consistent equation semantics of Hybrid Chi. JLAP, 68(1–2), 129–210.zbMATHGoogle Scholar
  20. 20.
    van Putten, A. (2006). Behavioural hybrid process calculus parser and translator to modelica. Master’s thesis, University of Twente.Google Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.Vytautas Magnus UniversityKaunasLithuania and Solari, Hong Kong

Personalised recommendations