Formal development and evaluation of narrow passageway system operations

Stratos Papadimitriou, Mark Austin and Evangelos Kaisar

European Transport \ Trasporti Europei, 2006, issue 34, 88-104

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).

Keywords: Synthesis; Validation; Verification; Narrow Waterways Management; System Behaviour Model (search for similar items in EconPapers)
Date: 2006
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10077/5931 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sot:journl:y:2006:i:34:p:88-104

Access Statistics for this article

European Transport \ Trasporti Europei is currently edited by Romeo Danielis

More articles in European Transport \ Trasporti Europei from ISTIEE, Institute for the Study of Transport within the European Economic Integration
Bibliographic data for series maintained by Romeo Danielis ( this e-mail address is bad, please contact ).