Resilience analysis method and tool for Humanitas systems

Humanitas提供技术解决方案，在紧急情况下实现连通性、安全性和生产力。**为了实现这种连通性，他们使用不同的方法，包括使用**无人机建立通信网络，他们有兴趣研究如何提高这些系统的弹性。这个项目将**研究一种机制来分析他们部署的系统的弹性。我们将提供一个案例研究**，重点关注系统(包括最终用户)之间的通信，以及一个原型，以分析他们的系统和他们为实现连接而部署的基础设施的**弹性。我们将与**Humanitas合作获取真实世界场景的信息，并将应用我们在Carleton发明的**建模和仿真方法，该方法结合了网络理论、基于代理的建模(ABM)和离散事件**系统规范(DEVS)形式。**该方法提供了独特的创新技术组合，允许我们以模块化的方式使用适合问题的**不同方面的工具来集成问题的**不同方面，改进**验证和验证。模型重用也得到了改进，因为使用独立的方法和模型允许**重新定义模型的一部分(即，它们与系统的连接)，同时保持其余部分不变(即，它们的**行为)。该体系结构的正式定义进一步允许组件**轻松更新，改进测试和重用。**在项目结束时，研究Humanitas系统弹性的原型(遵循公司提供的案例**研究)和解释主要结论的原型模拟报告将**交付给公司。该公司将能够将该原型的高级版本整合到**公司的运营中，以在**实施之前测试他们向客户提供的解决方案的弹性。使用这种近似测试他们的系统架构将使Humanitas能够为客户提供**更具弹性的解决方案，使公司和加拿大都受益。

Humanitas provides technological solutions to achieve connectivity, security and productivity in emergencies.**To achieve this connectivity they use different methods, including setting up communication networks using**drones and they are interested in investigating how to improve resiliency in those systems. This project will**research a mechanism to analyze the resilience of the systems they deploy. We will present a case study**focusing on the communication between the systems, including end users, and a prototype to analyze the**resilience of their systems and the infrastructure they deploy to achieve connectivity. We will work with**Humanitas to obtain information of real-world scenarios, and will apply a modeling and simulation method we**invented at Carleton, which combines Network Theory, Agent Based Modeling (ABM) and the Discrete Event**System Specification (DEVS) formalism.**The methodology provides a unique and innovative combination of techniques that allows us to integrate the**different aspects of the problem using the right tools for each of them in a modular fashion, improving**verification and validation. Model reuse is also improved, as using independent methods and models allows**one to redefine parts of it (i.e., their connections of the systems) while keeping the rest unchanged (i.e., their**behavior). The formal definition of this architecture takes it a step further allowing the components to be**updated easily, improving testing and reuse.**At the end of the project, a prototype to study the resilience of the systems in Humanitas (following a case**study provided by the company), and a report of the prototype simulations explaining the main conclusion will**be delivered to the company. The company will be able to incorporate an advanced version of the prototype in**the company's operations to test the resilience of the solutions they provide to their clients before**implementation. Testing their systems architecture using this approximation will allow Humanitas to provide**more resilient solutions to their clients, benefiting both the company and Canada.