| DC Field | Value | Language |
|---|
| dc.contributor.author | Krilavičius, Tomas | - |
| dc.contributor.author | Man, Ka Lok | - |
| dc.coverage.spatial | NL | - |
| dc.date.accessioned | 2018-10-06T14:50:44Z | - |
| dc.date.available | 2018-10-06T14:50:44Z | - |
| dc.date.issued | 2010 | - |
| dc.identifier.isbn | 9789048135165 | - |
| dc.identifier.other | VDU02-000010342 | - |
| dc.identifier.uri | https://hdl.handle.net/20.500.12259/38162 | - |
| dc.description.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 | en |
| dc.description.sponsorship | Taikomosios informatikos katedra | - |
| dc.description.sponsorship | Vytauto Didžiojo universitetas | - |
| dc.format.extent | p. 429-443 | - |
| dc.language.iso | en | - |
| dc.relation.ispartof | Intelligent Automation and Computer Engineering / ed. Sio-Iong Ao, Oscar Castillo, Hu Huang. Dordrecht [etc.] : Springer, 2010 | - |
| dc.relation.ispartofseries | (Lecture Notes in Electrical Engineering. Vol. 52 1876-1100) | - |
| dc.relation.isreferencedby | SpringerLINK | - |
| dc.relation.isreferencedby | Scopus | - |
| dc.subject | Process algebras | en |
| dc.subject | Visualisation | en |
| dc.subject | Electronics | en |
| dc.subject | Hybrid systems | en |
| dc.subject.classification | Knygos dalis / Part of book (Y) | - |
| dc.subject.other | Informatika / Informatics (N009) | - |
| dc.title | Behavioural Hybrid Process Calculus for Modelling and Analysis of Hybrid and Electronic Systems performance | en |
| dc.type | book part | - |
| dc.identifier.doi | https://doi.org/10.1007/978-90-481-3517-2_33 | - |
| dcterms.bibliographicCitation | 20 | - |
| dc.date.updated | 2014-08-18T14:22Z | - |
| local.object | {"source": {"code": "vdu", "handle": "10342"}, "publisher": {"name": "Springer", "list": true}, "db": {"clarivate": false, "scopus": true, "list": true}, "isbn": ["9789048135165"], "doi": "10.1007/978-90-481-3517-2_33", "code": "Y", "subject": ["N009"], "country": "NL", "language": "en", "area": "N", "original": true, "pages": 15, "sheets": 1.071, "timestamp": "20140818142220.0", "account": {"year": 2010, "late": false}, "na": 2, "nip": 1, "affiliation": [{"contribution": 0.5, "aip": 1, "country": ["LT"], "rel": "aut", "org": [{"create": true, "contribution": 0.5, "name": "Vytauto Didžiojo universitetas", "id": "111950396", "level": "0", "type": "uni", "research": "1", "status": "1", "unit": {"name": "Informatikos fakultetas", "id": "04", "level": "1", "type": "fak", "research": "1", "status": "1", "unit": {"name": "Taikomosios informatikos katedra", "id": "0401", "level": "2", "type": "kat", "research": "1", "status": "1"}}}], "id": "DD5A5F9F9ADFA0BC37D24E1184ED5391", "lname": "Krilavičius", "fname": "Tomas", "status": "1", "name": "Krilavičius, Tomas"}, {"contribution": 0.5, "aip": 1, "country": ["TW"], "rel": "aut", "lname": "Man", "fname": "Ka Lok", "status": "0", "name": "Man, Ka Lok"}]} | - |
| local.type | Y | - |
| item.fulltext | No Fulltext | - |
| item.grantfulltext | none | - |
| crisitem.author.dept | Taikomosios informatikos katedra | - |
| Appears in Collections: | Universiteto mokslo publikacijos / University Research Publications
|
