Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/38162
Type of publication: Knygos dalis / Part of book (Y)
Field of Science: Informatika / Informatics (N009)
Author(s): Krilavičius, Tomas;Man, Ka Lok
Title: Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performance
Is part of: Intelligent Automation and Computer Engineering / ed. Sio-Iong Ao, Oscar Castillo, Hu Huang. Dordrecht [etc.] : Springer, 2010
Extent: p. 429-443
Date: 2010
Series/Report no.: (Lecture Notes in Electrical Engineering. Vol. 52 1876-1100)
Keywords: Process algebras;Visualisation;Electronics;Hybrid systems
ISBN: 9789048135165
Abstract: 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
Internet: https://hdl.handle.net/20.500.12259/38162
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml8.42 kBXMLView/Open

MARC21 XML metadata

Show full item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats

Page view(s)

148
checked on Mar 30, 2020

Download(s)

14
checked on Mar 30, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.