OpenstarTs >
EUT-Periodici >
European Transport / Trasporti Europei >
European Transport / Trasporti Europei (2006) 34/XII >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10077/5931

Title: Formal development and evaluation of narrow passageway system operations
Authors: Papadimitriou, Stratos
Austin, Mark
Kaisar, Evangelos
Keywords: Synthesis
Validation
Verification
Narrow Waterways Management
System Behaviour Model
Issue Date: 2006
Publisher: EUT Edizioni Università di Trieste
ISTIEE Istituto per lo studio dei trasporti nell’integrazione economica europea
Citation: Evangelos Kaisar, Mark Austin, Stratos Papadimitriou, "Formal development and evaluation of narrow passageway system operations", in: European Transport / Trasporti Europei, XII (2006) 34, pp. 88-104.
Series/Report no.: European Transport / Trasporti Europei
XII (2006) 34
Abstract: This study applies a new intelligent transportation methodology for transforming informal operations concepts for narrow passageway systems into system-level designs, which will formal enough to support automated validation of anticipated component- and system-level behaviours. Models and specifications of behaviour are formally designed as labelled transition systems. Each object is the management system is assumed to have behaviour that can be defined by a finite state machine; thus, the waterway management system architecture is modelled as a network of communicating finite state machines. Architecture-level behaviours are validated using the Labelled Transition System Analyzer (LTSA). We exercise the methodology by working step by step through the synthesis and validation of a high-level behaviour model for a vessel passing through a waterway network (i.e., canal).
URI: http://hdl.handle.net/10077/5931
ISSN: 1825-3997
Appears in Collections:European Transport / Trasporti Europei (2006) 34/XII

Files in This Item:

File Description SizeFormat
Kaisar_Austin_Papadimitriou_ET34.pdf399.4 kBAdobe PDFView/Open
View Statistics

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