Resilience analysis method and tool for Humanitas systems

人道主义提供技术解决方案，以实现紧急情况下的连接、安全和生产力。为了实现这种连接，他们使用不同的方法，包括使用无人机建立通信网络，他们有兴趣研究如何提高这些系统的弹性。该项目将研究一种机制来分析他们部署的系统的弹性。我们将介绍一个案例研究**，重点关注系统（包括最终用户）之间的通信，以及一个原型，以分析其系统的弹性和为实现连接而部署的基础设施。我们将与Humanitas合作获取真实场景的信息，并将应用我们在卡尔顿发明的建模和仿真方法，该方法结合了网络理论、基于Agent的建模（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.