Return to search

Simulation tool for hybrid process algebras / Hibridinių procesų algebrų imitacinio modeliavimo įrankis

A hybrid system is a system that presents both continuous time evolution and discrete events. To define and analyse such systems prior to building actual products, a hybrid process algebra can be employed. Simulation is often used as a convenient way for a better understanding of the systems’ evolution and its potential weaknesses.
This study aims at creating a general architecture of the simulation tool for hybrid process algebras, together with a practical implementation of Behavioural Hybrid Process Calculus simulator. For achieving this objective, a list of tasks has been composed, including the analysis of several hybrid process algebra operators, development of an easily extendible architecture of the tool, the definition of the input language, capable of describing BHPC processes, and a programming solution of the simulator.
Together with a simulator tool, a programming solution for the visualisation of hybrid systems’ evolution is created and presented. The application uses Message Sequence Plots diagrams to represent such evolution, which allows a convenient overview and analysis for most of hybrid system simulations.
The currently developed simulation and visualisation tools may be regarded as a working ground for both the usage and further development. The improvement points of the tools should be constantly collected from the user experience and implemented. The long term goal of the work is to achieve an expanding community with the joint effort to create a... [to full text] / Hibridinė sistema yra sistema, sudaryta iš laike tolydžios evoliucijos ir diskrečių įvykių. Hibridinių procesų algebros pagalba tokias sistemas galima apibrėžti ir analizuoti dar prieš sukuriant galutinį produktą. Tuo tarpu simuliacija yra dažnai naudojama kaip patogus būdas geresniam sistemos evoliucijos suvokimui ir jos potencialių silpnybių identifikavimui.
Šiuo darbu siekiama sukurti bendrą architektūrą hibridinių procesų algebrų simuliavimo įrankiui bei sukurti praktinę priemonę – simuliatorių, skirtą Elgsenos Hibridinių Procesų Algebrai (angl. Behavioural Hybrid Process Calculus – BHPC). Siekiant įgyvendinti šį tikslą, buvo sudarytas užduočių sąrašas, įtraukiant į jį kelių hibridinių procesų algebrų operatorių analizę, nesudėtingai plečiamos programos architektūros sukūrimą, įvedimo kalbos, gebančios aprašyti BHPC procesus, apibrėžimą bei programinio simuliatoriaus sprendimo įgyvendinimą.
Hibridinių sistemų evoliucijos vaizdavimui buvo sukurtas programinis sprendimas, naudojantis Pranešimų Sekos Grafiko (angl. Message Sequence Plots) vaizdavimo tipą grafiniam hibridinės evoliucijos atvaizdavimui, kuris suteikia galimybę patogiai apžvelgti ir analizuoti daugumą hibridinių sistemų evoliucijų.
Šiuo metu sukurti simuliavimo ir vaizdavimo įrankiai gali būti naudojami praktikoje, tuo pačiu renkant vartotojų patirtį tolesniam jų tobulinimui. Įrankių tobulinimo aspektai turėtų būti nuolatos kaupiami ir įgyvendinami siekiant ilgalaikio šio darbo tikslo – suburti augančią... [toliau žr. visą tekstą]

Identiferoai:union.ndltd.org:LABT_ETD/oai:elaba.lt:LT-eLABa-0001:E.02~2010~D_20100615_084732-33186
Date15 June 2010
CreatorsValaškevičius, Šarūnas
ContributorsKrilavičius, Tomas, Budnikas, Germanas, Kazlauskas, Kazys, Vytautas Magnus University
PublisherLithuanian Academic Libraries Network (LABT), Vytautas Magnus University
Source SetsLithuanian ETD submission system
LanguageEnglish
Detected LanguageEnglish
TypeMaster thesis
Formatapplication/pdf
Sourcehttp://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2010~D_20100615_084732-33186
RightsUnrestricted

Page generated in 0.0019 seconds