Functional modelling and analysis of a distributed truck lifting system

Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/38161

80

checked on Jun 6, 2021

11

checked on Jun 6, 2021

Check

Type of publication:	research article
Type of publication (PDB):	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):	Taikomosios informatikos katedra Vytauto Didžiojo universitetas
Appears in Collections:	Universiteto mokslo publikacijos / University Research Publications