Synthesis and Validation of High-Level Behavior Models for Narrow Waterway Management Systems

This note describes the essential features of 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 behaviors. The authors exercise the methodology for the synthesis and validation of a high-level behavior model for a ship passing through a waterway network.

  • Availability:
  • Authors:
    • Kaisar, Evangelos
    • Austin, Mark
  • Publication Date: 2007-9


  • English

Media Info

  • Media Type: Print
  • Features: Illustrations; References;
  • Pagination: pp 373-378
  • Serial:

Subject/Index Terms

Filing Info

  • Accession Number: 01056151
  • Record Type: Publication
  • Files: TRIS
  • Created Date: Aug 28 2007 8:22AM