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.