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

摘要

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 Open-Modelica System.