Next Article in Journal
How to Disable Mortal Loops of Enterprise Resource Planning (ERP) Implementation: A System Dynamics Analysis
Previous Article in Journal
Acknowledgement to Reviewers of Systems in 2017
Article Menu

Export Article

Open AccessArticle

Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways

1,†,* and 2,†
1
Department of Civil and Environmental Engineering, and Institute for Systems Research, University of Maryland, College Park, MD 20742, USA
2
Department of Civil and Environmental Engineering, University of Maryland, College Park, MD 20742, USA
These authors contributed equally to this work.
*
Author to whom correspondence should be addressed.
Received: 16 October 2017 / Revised: 15 December 2017 / Accepted: 9 January 2018 / Published: 12 January 2018
Full-Text   |   PDF [720 KB, uploaded 13 January 2018]   |  

Abstract

Now that modern infrastructure systems are moving toward an increased use of automation in their day-to-day operations, there is an emerging need for new approaches to the formal analysis and validation of system functionality with respect to correctness of operations. This paper describes a compositional approach to the multi-level behavior modeling and formal validation of large-scale distributed system operations with hierarchies and networks of finite state automata. To avoid the well-known state explosion problem, we develop a new procedure for viewpoint-action-process traceability, thereby allowing parts of a behavior model not relevant to a specific decision to be removed from consideration. Key features of the methodology are illustrated through the development of behavior models and validation procedures for polite conversation between two individuals, and lockset- and system-level concerns for ships traversing a large-scale waterway system. View Full-Text
Keywords: model-based systems engineering; infrastructure; distributed system; behavior model; formal verification; automation; modeling; waterways operations model-based systems engineering; infrastructure; distributed system; behavior model; formal verification; automation; modeling; waterways operations
Figures

Figure 1

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

Share & Cite This Article

MDPI and ACS Style

Austin, M.A.; Johnson, J. Compositional Approach to Distributed System Behavior Modeling and Formal Validation of Infrastructure Operations with Finite State Automata: Application to Viewpoint-Driven Verification of Functionality in Waterways. Systems 2018, 6, 2.

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