A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Formal and Intelligent Methods for Security and Resilience: Education and Training Issues
2016
Information & Security: An International Journal
Preserved Fulltext
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
2020
Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2013
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
2016
International Journal of Advanced Computer Science and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2012
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2007
Proceedings of the 2007 ACM symposium on Applied computing - SAC '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2009; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2017
Studies in Computational Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2015
Procedia Manufacturing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
Proceedings of the Winter Simulation Conference 2014
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Agent-Oriented Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2016
International Journal of Agent-Oriented Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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