Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/38161
Type of publication: Straipsnis konferencijos medžiagoje Clarivate Analytics Web of Science ar/ir Scopus / Article in Clarivate Analytics Web of Science or Scopus DB conference proceedings (P1a)
Field of Science: Informatika / Informatics (N009)
Author(s): Krilavičius, Tomas;Miliukas, Vaclovas
Title: Functional modelling and analysis of a distributed truck lifting system
Is part of: ECT - 2010 : Electrical and control technologies : proceedings of the 5th international conference, May 6-7, 2010, Kaunas, Lithuania. Kaunas : Technologija, 2010, no. 5
Extent: p. 91-96
Date: 2010
Keywords: Formal methods;Timed automation;Formal modelling;Formal verification
Abstract: We describe an application of the modelling  and verification tool Uppaal  to  the design and analysis  of a distributed truck lifting system. From an informal  description of the system we develop a formal model for  Uppaal tool. We discuss abstraction and  modelling  features used to minimise  the complexity of the system  and get a model that can be used as an implementation  reference. We investigate conformance of the model to  the requirements. We  summarise  by discussing  applicability of Uppaal for modelling and analysis of the  electromechanical systems with digital control
Internet: https://hdl.handle.net/20.500.12259/38161
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.11 kBXMLView/Open

MARC21 XML metadata

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


CORE Recommender

Page view(s)

134
checked on Mar 5, 2020

Download(s)

18
checked on Mar 5, 2020

Google ScholarTM

Check


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