19,578 Hits in 4.6 sec

Formal and Intelligent Methods for Security and Resilience: Education and Training Issues

Oksana Pomorova, Sergii Lysenko
2016 Information & Security: An International Journal  
The second module presents some issues about the usage of the formal methods for computer networks, and the third one introduces the notions of the resilience and the principals of the resilient systems  ...  The first one deals with the question about the formal methods for Architecting Secure Software Systems.  ...  To facilitate reasoning about such cooperative behaviour, the components are considered as agents and a resilient distributed system as a multi-agent system.  ... 
doi:10.11610/isij.3507 fatcat:d24m3sfaxveqbjqakjeknkvxyi

Modelling resilient collaborative multi-agent systems

Inna Vistbakka, Elena Troubitsyna
2020 Computing  
To ensure resilience of multi-agent systems, we should endow them with a capability to dynamically reconfigure.  ...  In this paper, we propose a generic resilience-explicit formalisation of the main concepts of multi-agent systems.  ...  The goal-oriented framework provides us with a suitable basis for reasoning about reconfigurable autonomous systems.  ... 
doi:10.1007/s00607-020-00861-2 fatcat:sblfs5pyyvhhbpb3hvwikvq6dq

Formal Development and Quantitative Assessment of a Resilient Multi-robotic System [chapter]

Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2013 Lecture Notes in Computer Science  
In this paper, resilience of a multi-robotic system is defined as ability to achieve goals despite robot failures.  ...  Ensuring resilience of multi-robotic systems is a notoriously difficult task.  ...  Quantitative Assessment In this paper, we aim at applying probabilistic model checking for the quantitative reasoning about goal reachability of a resilient multi-robotic system modelled in Event-B.  ... 
doi:10.1007/978-3-642-40894-6_9 fatcat:ucmw2tetbrdebc3mqjrwmy3kpy

A Study of Resilient Architecture for Critical Software-Intensive System-of-Systems (Sisos)

Nadeem Akhtar, Malik Muhammad, Nadeem Salamat, Amnah Firdous, Mujtaba Husnain
2016 International Journal of Advanced Computer Science and Applications  
These systems need to tolerate faults in the face of change; they need a resilient architecture.  ...  An approach has been proposed for the analysis, design, formal specification and verification of critical Software-intensive System-of-Systems.  ...  Support for multi-view modeling is crucial for two reasons.  ... 
doi:10.14569/ijacsa.2016.070834 fatcat:g4kdhh7r7vg63k2dfsebkzjtx4

Dependability-Explicit Engineering with Event-B: Overview of Recent Achievements [article]

Elena Troubitsyna
2012 arXiv   pre-print
As a result, we have created a number of formal approaches to explicitly reason about dependability in the refinement process.  ...  In this paper we overview the work on formal engineering of dependable systems carried out in the Deploy project.  ...  In [7] , we have continued our study of multi-agent systems and have proposed a goal-oriented approach to development of multi-agent systems.  ... 
arXiv:1210.7032v1 fatcat:qv43yho3tngxzid45jahjc4vaq

Service Design for Resilience: A Multi-contextual Modeling Perspective

Monica Dragoicea, Leonard Walletzky, Luca Carrubbo, Nabil Georges Badr, Angeliki Maria Toli, Frantiska Romanovska, Mouzhi Ge
2020 IEEE Access  
PN.3 Resilience is about being able to adapt.  ...  The Agent: • can generate the Goal (as Establisher) or • can follow a Goal (as Follower). The Agent can perform Activity-ies, such as focused behaviors, to fulfill a Goal.  ...  She is an active member of the Laboratory of Service Systems, where she is focusing on the processes of Smart Services provision and their impact on the application of ICT.. MOUZHI GE is an  ... 
doi:10.1109/access.2020.3029320 fatcat:rl5hyexx35fszp6vvj4dxzhqxe

A metadata-based architectural model for dynamically resilient systems

Giovanna Di Marzo Serugendo, John Fitzgerald, Alexander Romanovsky, Nicolas Guelfi
2007 Proceedings of the 2007 ACM symposium on Applied computing - SAC '07  
This paper proposes a service-oriented architectural model allowing the dynamic enforcement of formally expressed metadata-based resilience policies.  ...  Designing open and distributed systems that can dynamically adapt in a predictable way to unexpected events is a challenging issue still not solved.  ...  Alexander Romanovsky is supported by IST FP6 Project on Rigorous Open Development Environment for Complex Systems (RODIN).  ... 
doi:10.1145/1244002.1244132 dblp:conf/sac/SerugendoFRG07 fatcat:3xxyki4zqrcbjgupvllzldzqxu

Beyond Robustness: A Taxonomy of Approaches towards Resilient Multi-Robot Systems [article]

Amanda Prorok, Matthew Malencia, Luca Carlone, Gaurav S. Sukhatme, Brian M. Sadler, Vijay Kumar
2021 arXiv   pre-print
In this survey article, we analyze how resilience is achieved in networks of agents and multi-robot systems that are able to overcome adversity by leveraging system-wide complementarity, diversity, and  ...  multi-robot systems is paramount.  ...  A second grand challenge is the design of truly resilient perception algorithms: we believe that the first step towards this goal is to develop introspection techniques that can reason over failures, rather  ... 
arXiv:2109.12343v1 fatcat:vxt62eluljfelcifzdlosv34cq

Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures [article]

Saurabh Bagchi, Vaneet Aggarwal, Somali Chaterji, Fred Douglis, Aly El Gamal, Jiawei Han, Brian J. Henz, Hank Hoffmann, Suman Jana, Milind Kulkarni, Felix Xiaozhu Lin, Karen Marais (+4 others)
2020 arXiv   pre-print
The workshop was divided into three themes: resilience in cyber, cyber-physical, and socio-technical systems. About 30 attendees in all participated in the discussions of cyber resilience.  ...  For resilience-by-design, we focus on design methods in software that are needed for our cyber systems to be resilient.  ...  subsystems (or multi-agent networks).  ... 
arXiv:1912.11598v3 fatcat:d4lf2vs4yjbbrnrg7hk65qtbbm

Digital Transformation in Service and Computing Oriented Manufacturing [chapter]

Theodor Borangiu, Damien Trentesaux, André Thomas, Paulo Leitão, José Barata Oliveira
2017 Studies in Computational Intelligence  
Part 4 includes recent research in the area of Holonic and multi-agent system design for industry and service.  ...  Part 2 includes papers devoted to Reconfigurable and Self-organized Multi-Agent Systems for Industry and Service.  ... 
doi:10.1007/978-3-319-51100-9_1 fatcat:xrjznuzg4jf6laue6pvwlutho4

Understanding Sector Dependencies in the Stabilization and Reconstruction of Nation-states

Steven Hall, Curtis Blais
2015 Procedia Manufacturing  
For these purposes, a multi-agent cellular automata model is recommended both as a vehicle for introducing students to the complex nature of the state reconstruction process and, eventually, for use in  ...  While system dynamics modeling has proven itself to be effective in capturing and effectively communicating feedback loops that define such non-linear (and non-intuitive) systems they do not, in themselves  ...  As with the Operational influences, each of the 91 agents runs its own version of the Panarchy model. The panarchy model captures two important characteristics of such multi-scale resilient systems.  ... 
doi:10.1016/j.promfg.2015.08.001 fatcat:didigem5hrhl3lf25twm5nvdze

Agent-supported simulation for coherence-driven workflow discovery and evaluation

Okan Topcu, Levent Yilmaz
2014 Proceedings of the Winter Simulation Conference 2014  
Workflows are examined by an agent-supported multi-simulation environment that allows inducing variation and assessing the outcome of the candidate workflows under a variety of environmental scenarios.  ...  The proposed system is also based on an introspective architecture that facilitates monitoring the activities of competing agent simulations as well as the status of the environment to determine the success  ...  In a multi-agent environment, each agent has a particular set of goals and actions. Agents plan and coordinate their behaviors motivated by their (private) goals.  ... 
doi:10.1109/wsc.2014.7019908 dblp:conf/wsc/TopcuY14 fatcat:y7ydcss4yzekjdyd2pjuv3vydq

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie Pierre Gleizes, Ahmed Hadj Kacem
2016 International Journal of Agent-Oriented Software Engineering  
This meta-model specify formally the concepts of role, interaction and organisation but does not allow to reason about convergence and resilience of the system.  ...  Each agent has a limited knowledge about the environment and possesses its own goals.  ... 
doi:10.1504/ijaose.2016.080891 fatcat:wurvbj2lenezbgxgz2hqwas35m

A stepwise refinement-based development of self-organising multi-agent systems: application to the foraging ants

Ahmed Hadj Kacem, Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie Pierre Gleizes
2016 International Journal of Agent-Oriented Software Engineering  
This meta-model specify formally the concepts of role, interaction and organisation but does not allow to reason about convergence and resilience of the system.  ...  Each agent has a limited knowledge about the environment and possesses its own goals.  ... 
doi:10.1504/ijaose.2016.10001862 fatcat:sognebtikbh35izwwnw2luy6su

Community Resilience Engineering: Reflections and Preliminary Contributions [chapter]

Vincenzo De Florio, Hong Sun, Chris Blondia
2014 Lecture Notes in Computer Science  
As a consequence, we experience today an urgent need to respond to the challenges of community resilience engineering.  ...  important requirement: a community's ability to make use in an intelligent way of the available resources, both institutional and spontaneous, in order to match the complex evolution of the "significant multi-hazard  ...  The FSO protocols have not been formalized and only a partial and static version of the system is currently available.  ... 
doi:10.1007/978-3-319-12241-0_1 fatcat:jwulqqfiungvbn5ws5cjnv7hom
« Previous Showing results 1 — 15 out of 19,578 results