Show simple item record

dc.contributor.authorKaisar, Evangelosen_US
dc.contributor.authorAustin, Marken_US
dc.date.accessioned2007-05-23T10:18:17Z
dc.date.available2007-05-23T10:18:17Z
dc.date.issued2005en_US
dc.identifier.urihttp://hdl.handle.net/1903/6575
dc.description.abstractThis report formulates a new methodology for the incremental transformation of informal operations concepts for a waterway management system into system-level designs, the latter being formal enough to support automated validation of anticipated component- and system-level behaviors. Scenario specifications and models of behavior are formally modeled as labeled transition systems (LTSs). Each object is the management system is assumed to have behavior that can be defined by a finite state machine; thus, the waterway management system architecture is modeled as a network of communicating finite state machines. Architecture-level behaviors are validated using the Labeled Transition System Analyzer (LTSA). We exercise the methodology by working step by step through the synthesis and validation of a high-level behavior model for a ship passing through a waterway network.en_US
dc.format.extent13878 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen_US
dc.relation.ispartofseriesISR; TR 2005-109en_US
dc.relation.ispartofseriesSEIL; TR 2005-5en_US
dc.subjectSocietal Infrastructure Systemsen_US
dc.titleSynthesis and Validation of High-Level Behavior Models for Narrow Waterway Management Systemsen_US
dc.typeTechnical Reporten_US
dc.contributor.departmentISRen_US
dc.contributor.departmentSEILen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record