Next Article in Journal
Adaptation in E-Learning Content Specifications with Dynamic Sharable Objects
Next Article in Special Issue
Feedback-Based Eco-Design for Integrating the Recency, Frequency, and Monetary Value of Eco-Efficiency into Sustainability Management
Previous Article in Journal
A Classification of Adaptive Feedback in Educational Systems for Programming
Previous Article in Special Issue
A Possibilistic Approach for Aggregating Customer Opinions in Product Development
Open AccessArticle

Model-Based Design and Formal Verification Processes for Automated Waterway System Operations

by 1,*,† and 2,†
1
Department of Civil and Environmental Engineering, University of Maryland, College Park, MD 20742, USA
2
Department of Civil and Environmental Engineering and Institute for Systems Research, University of Maryland, College Park, MD 20742, USA
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Academic Editor: Ockie Bosch
Systems 2016, 4(2), 23; https://doi.org/10.3390/systems4020023
Received: 29 March 2016 / Revised: 7 May 2016 / Accepted: 27 May 2016 / Published: 7 June 2016
(This article belongs to the Special Issue Product, Process, System Design Review Methods and Tools)
Waterway and canal systems are particularly cost effective in the transport of bulk and containerized goods to support global trade. Yet, despite these benefits, they are among the most under-appreciated forms of transportation engineering systems. Looking ahead, the long-term view is not rosy. Failures, delays, incidents and accidents in aging waterway systems are doing little to attract the technical and economic assistance required for modernization and sustainability. In a step toward overcoming these challenges, this paper argues that programs for waterway and canal modernization and sustainability can benefit significantly from system thinking, supported by systems engineering techniques. We propose a multi-level multi-stage methodology for the model-based design, simulation and formal verification of automated waterway system operations. At the front-end of development, semi-formal modeling techniques are employed for the representation of project goals and scenarios, requirements and high-level models of behavior and structure. To assure the accuracy of engineering predictions and the correctness of operations, formal modeling techniques are used for the performance assessment and the formal verification of the correctness of functionality. The essential features of this methodology are highlighted in a case study examination of ship and lock-system behaviors in a two-stage lock system. View Full-Text
Keywords: model-based systems engineering; formal verification; automation; modeling; waterways operation; canal systems model-based systems engineering; formal verification; automation; modeling; waterways operation; canal systems
Show Figures

Graphical abstract

MDPI and ACS Style

Petnga, L.; Austin, M. Model-Based Design and Formal Verification Processes for Automated Waterway System Operations. Systems 2016, 4, 23.

AMA Style

Petnga L, Austin M. Model-Based Design and Formal Verification Processes for Automated Waterway System Operations. Systems. 2016; 4(2):23.

Chicago/Turabian Style

Petnga, Leonard; Austin, Mark. 2016. "Model-Based Design and Formal Verification Processes for Automated Waterway System Operations" Systems 4, no. 2: 23.

Find Other Styles
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop