TY - GEN
T1 - Behavioural hybrid process calculus for modelling and analysis of hybrid and Electronic Systems
AU - Krilavičius, Tomas
AU - Man, Ka Lok
N1 - Funding Information:
Tools Support BHPC is supported by Bhave toolset, see Section .
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
KW - Electronics
KW - Hybrid systems
KW - Process algebras
KW - Visualisation
UR - http://www.scopus.com/inward/record.url?scp=84867316648&partnerID=8YFLogxK
U2 - 10.1007/978-90-481-3517-2-33
DO - 10.1007/978-90-481-3517-2-33
M3 - Conference Proceeding
AN - SCOPUS:84867316648
SN - 9789048135165
T3 - Lecture Notes in Electrical Engineering
SP - 429
EP - 443
BT - Intelligent Automation and Computer Engineering
T2 - International Conference in Intelligent Automation and Computer Engineering, Under the Auspices of the International MultiConference of Engineers and Computer Scientists, IMECS 2009
Y2 - 18 March 2009 through 20 March 2009
ER -