A formal engineering approach to high-level design of situation analysis decision support systems
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Executable formal specifications of complex distributed systems with CoreASM
Science of Computer Programming
An intelligent situation awareness support system for safety-critical environments
Decision Support Systems
Hi-index | 0.00 |
This paper explores a new approach to model-driven engineering (MDE) of situation analysis decision support systems for Marine Safety & Security Operations. Realistic situation analysis scenarios routinely deal with complex dynamic situations involving multiple mobile agents and events distributed in space and time. The work presented here builds on Abstract State Machine (ASM) modeling paired with Creams tool support to analyze and validate ASM models experimentally. The proposed approach facilitates analysis of the problem space and supports reasoning about design decisions and conformance criteria so as to ensure they are properly established and well understood prior to building the system. We provide an extension to Core ASM for the Marine Safety & Security domain, specifically for capturing rendezvous scenarios and illustrate the application of the proposed modeling approach using sample scenarios.