Situation Analysis Decision Support Systems Design

态势分析通常被定义为对态势、其要素及其关系进行检查，以提供并保持态势感知状态的过程，这对于动态决策中如何应对不断变化的真实世界局势的态势评估至关重要。态势分析决策支持系统(SADS)在经常需要对在广大地理区域内运行的多种移动资源进行智能协调和管理的情况下发挥着越来越重要的作用。典型的例子包括基础设施保护、海况评估、干预非法作业以及紧急管理和灾害响应情景，在这些情景中，移动传感器和救援平台收集情况证据，例如在大洪水、漏油、地震或海啸之后。需要一种基于进化和迭代过程的综合系统设计方法，以解决当今现实世界决策需求引起的不确定性复杂性。 我们的总体目标是为基于模型驱动的工程原理和形式分析和设计的SADS系统的交互规范、设计和测试提供一个集成的方法框架和现成的工具支持。系统形式化方法的合理性是通过模块化、细化、验证和验证系统预期运行时行为的抽象模型来管理复杂性和多样性，以便彻底检查和推理其关键属性，确保在构建之前对这些属性有很好的理解。这项研究是新颖的，为加拿大在基础设施保护、应对紧急情况和全球环境变化方面提供了具体的好处，并为培训高素质的人员提供了极好的机会，让博士、硕士和本科生学习和工作，解决许多潜水员应用领域的实际需要产生的挑战性问题，需要创新的ITC解决方案。

Situation Analysis is generally defined as a process, the examination of a situation, its elements, and their relations, to provide and maintain a state of situation awareness, which is critical for situation assessment in dynamic decision-making on how to respond to an evolving real-world situation. Situation Analysis Decision Support (SADS) systems play an increasingly important role in situations that routinely call for intelligent coordination and management of multiple mobile resources operating in vast geographical areas. Typical examples include infrastructure protection, maritime situation assessment, intervention in illegal operations, and emergency management and disaster response scenarios, where mobile sensor and rescue platforms collect situational evidence, for instance, after a major flooding, an oil spill, earthquake or a tsunami. A comprehensive systems design approach based on evolutionary and iterative processes is needed to address the non-deterministic complexities arising from today's real-world decision-making requirements. Our overall objective is to provide an integrative methodical framework with readily available tool support for interactive specification, design and testing of SADS systems based on model-driven engineering principles and formal analysis & design. The rational for a systematic formal approach is to manage complexity and diversity through modularization, refinement, validation and verification of abstract models of the expected run-time behavior of a system so as to thoroughly inspect and reason about its key properties, ensuring these are well understood prior to its construction. This research is novel and provides concrete benefits to Canada for infrastructure protection, dealing with emergency situations and global environmental change, and offers excellent opportunities for training of highly qualified personnel, for doctoral, Master's and undergraduate students, to study and work on challenging real-world problems arising from practical needs in a number of divers application domains calling for innovative ITC solutions.