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
Article Menu

Export Article

Open AccessArticle
Systems 2016, 4(2), 23; doi:10.3390/systems4020023

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

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
These authors contributed equally to this work.
*
Author to whom correspondence should be addressed.
Academic Editor: Ockie Bosch
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)
View Full-Text   |   Download PDF [5617 KB, uploaded 7 June 2016]   |  

Abstract

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
Figures

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

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

Show more citation formats Show less citations formats

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

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Systems EISSN 2079-8954 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top