Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Process Modelling Framework for Formal Validation of Panama Canal System Operations
 

Summary: 1
A Process Modelling Framework for Formal
Validation of Panama Canal System Operations
John Johnson
Department of Civil Engineering,
University of Maryland,
College Park, MD 20742, USA.
Mark A. Austin
Institute for Systems Research
University of Maryland
College Park, MD 20742
Copyright 2008 by Institute for Systems Research. Published and used by INCOSE with permission.
Abstract. In this paper we develop a process modeling framework for the evaluation and formal
validation of Panama Canal system operations. Component- and architecture-level processes are
organized into a three level hierarchy and modeled in LTSA. Safety and progress requirements
are formally expressed as processes that can be evaluated through compositional and search
processes, respectively.
Introduction
Problem Statement. The Panama Canal is one of the world's most important waterways.
Initially opened for operation in 1914, the canal is now in the midst of a US $5 billon upgrade

  

Source: Austin, Mark - Institute for Systems Research & Department of Civil and Environmental Engineering, University of Maryland at College Park

 

Collections: Engineering