Resilience analysis method and tool for Humanitas systems
Natural Sciences and Engineering Research Council of Canada
- Grant type: Engage Grants Program
- Year: 2018/19
- Total Funding: $25,000
No researchers found.
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.
Modern building automation systems collect and store vast amounts of data in temporal scales ranging from seconds to multiple years and spatial scales ranging from rooms to communities. But tools that facilitate management and visualization of these ... More ...
Embedded real-time systems are built as sets of components interacting with their surrounding environment. These are highly reactive systems, where the decisions can lead to catastrophic consequences for goods or lives (industrial automation, transpo... More ...
Real-time systems (RTS) are very advanced computer system applications with hardware and software components interacting in a tight fashion. The manual development of this kind of systems is time consuming, error prone, and expensive. Different forma... More ...