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:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/08873801
• Authors:
  • Kaisar, Evangelos
  • Austin, Mark
• Publication Date: 2007-9

Language

• English

Media Info

• Media Type: Print
• Features: Illustrations; References;
• Pagination: pp 373-378
• Serial:
  • Journal of Computing in Civil Engineering
  • Volume: 21
  • Issue Number: 5
  • Publisher: American Society of Civil Engineers
  • ISSN: 0887-3801

Subject/Index Terms

• TRT Terms: Methodology; Ships; Systems engineering; Traffic models; Validation; Vessel traffic control; Voyage management systems; Water traffic; Waterways
• Subject Areas: Administration and Management; Marine Transportation; Operations and Traffic Management; Vehicles and Equipment;

Filing Info

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