Use this url to cite publication: https://hdl.handle.net/20.500.12259/38161
Functional modelling and analysis of a distributed truck lifting system
Type of publication
Straipsnis konferencijos medžiagoje Web of Science duomenų bazėje / Article in conference proceedings in Web of Science database (P1a1)
Title [en]
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
Date Issued
Date |
---|
2010 |
Publisher
Kaunas : Technologija
Is Referenced by
Extent
p. 91-96
Abstract (en)
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.
Type of document
type::text::journal::journal article::research article
Language
Anglų / English (en)
Coverage Spatial
Lietuva / Lithuania (LT)
ISSN (of the container)
1822-5934
WOS
WOS:000306818000019
Other Identifier(s)
VDU02-000010341