Filters








1,988 Hits in 6.7 sec

Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B [article]

Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
2012 arXiv   pre-print
In this paper we present an approach to formal development of a fault tolerant multi-agent system by refinement in Event-B.  ...  We demonstrate how to formally specify cooperative error recovery and dynamic reconfiguration in Event-B.  ...  In this paper we have presented an approach to formal development of a fault tolerant MAS with cooperative error recovery by refinement in Event-B.  ... 
arXiv:1210.7035v1 fatcat:upwoi7vzqnfjnle3od6ypsxosu

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Peng Zhou, Decheng Zuo, Kun Hou, Zhan Zhang, Jian Dong, Jianjin Li, Haiying Zhou
2019 Sensors  
This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management  ...  Cyber Physical Systems (CPS) has been a popular research area in the last decade. The dependability of CPS is still a critical issue, and few surveys have been published in this domain.  ...  Following the general process flow of fault tolerance, we organize the investigation into three parts: fault detection/diagnosis, fault isolation and fault recovery/tolerance.  ... 
doi:10.3390/s19051033 fatcat:v7z7lq2manbchd2nhfl7fs2bwy

Space shuttle fault tolerance: Analog and digital teamwork

Hugh Blair-Smith
2009 2009 IEEE/AIAA 28th Digital Avionics Systems Conference  
In 30 years of service, only two major malfunctions have occurred, both due to failures far beyond the reach of fault tolerance technology: the explosion of an external fuel tank, and the destruction of  ...  a launchdamaged wing by re-entry friction.  ...  Acknowledgements NASA people who contributed to development include Bob Crippen, Cline Frasier, Bill Tindall, Phil Shaffer, Ken Cox, and many others.  ... 
doi:10.1109/dasc.2009.5347450 fatcat:ouzfkya7yzbehootmv7mpqnygu

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  
We demonstrate how to rigorously specify and verify essential properties of resilience mechanisms of multi-robotic systems by refinement in Event-B.  ...  We demonstrate our approach by a case study -development and assessment of a cleaning multi-robotic system.  ...  Formal modelling of fault tolerant MAS in Event-B has been also undertaken by Ball and Butler [2] .  ... 
doi:10.1007/978-3-642-40894-6_9 fatcat:ucmw2tetbrdebc3mqjrwmy3kpy

A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B
english

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem
2014 Proceedings of the 6th International Conference on Agents and Artificial Intelligence  
Refinement The development of models in Event-B is based on the principle of refinement.  ...  We define a correct by construction approach for systematic design of SO-MAS based on the use of design patterns specified with the Event-B formal language.  ...  An Event-B modeling for fault tolerant MAS was proposed in (Pereverzeva et al., 2012) .  ... 
doi:10.5220/0004906902290236 dblp:conf/icaart/GrajaMMGLRK14 fatcat:5h6q6aniurhbjkiz6mjwntmb24

Modelling resilient collaborative multi-agent systems

Inna Vistbakka, Elena Troubitsyna
2020 Computing  
Based on it, we introduce corresponding specification and refinement patterns in Event-B.  ...  This is a complex and error-prone process, which can be facilitated by the use of formal reasoning and automated verification.  ...  Fault tolerant aspects of MAS in Event-B have been undertaken by Ball and Butler in [3] .  ... 
doi:10.1007/s00607-020-00861-2 fatcat:sblfs5pyyvhhbpb3hvwikvq6dq

Risk, Human Error, and System Resilience: Fundamental Ideas

Thomas B. Sheridan
2008 Human Factors  
The fault tree branches combine into fewer and fewer limbs with time, converging to a single final event (e.g., accident), in contrast with the divergent branching of the event tree with time.  ...  They include human errors by the designers and developers of systems as well as human errors by maintainers and managers.  ... 
doi:10.1518/001872008x250773 pmid:18689048 fatcat:7qnbvh3tbrfpzazmyyh3f2snvi

Software Faults Diagnosis in Complex OTS Based Safety Critical Systems

G. Carrozza, D. Cotroneo, S. Russo
2008 2008 Seventh European Dependable Computing Conference  
non foste a viver come bruti ma per seguir virtute e canoscenza." "...You were not born to live like animals but to pursue virtue and possess knowledge." Dante Alighieri.  ...  Peccato non aver fatto in tempo a dirlo di persona.  ...  • Support of the CORBA Fault Tolerance, as well as the provision of mechanisms allowing to develop fault-tolerant applications as well as a fault-tolerant middleware platform (with no single point of  ... 
doi:10.1109/edcc-7.2008.26 dblp:conf/edcc/CarrozzaCR08 fatcat:htpr5ltt4vaxdj7tlgkvnnf4zm

Towards reliable multi-agent systems: An adaptive replication mechanism

Zahia Guessoum, Jean-Pierre Briot, Nora Faci, Olivier Marin
2010 Multiagent and Grid Systems  
This high dynamicity creates new challenges to the traditional approaches of faulttolerance. In this paper, we will focus on crash failures, with usual preventive approaches by replication.  ...  Distributed cooperative applications (e.g., e-commerce) are now increasingly being designed as a set of autonomous entities, named agents, which interact and coordinate (thus named a multi-agent system  ...  Acknowledgements The authors would like to thank all members, present and past, of the Fault-Tolerant Multi-agent Systems project at LIP6 for their contributions.  ... 
doi:10.3233/mgs-2010-0139 fatcat:agn3xnkehja7lovhlefwno3jsm

The landing gear system in multi-machine Hybrid Event-B

Richard Banach
2015 International Journal on Software Tools for Technology Transfer (STTT)  
A system development case study problem based on a set of aircraft landing gear is examined in Hybrid Event-B (an extension of Event-B that includes provision for continuously varying behaviour as well  ...  Event-B itself.  ...  In the cases of interest to us, once faults have occurred error recovery is modelled, and after it has completed, system behaviour is allowed to rejoin refining behaviour.  ... 
doi:10.1007/s10009-015-0409-7 fatcat:ipsyub3czfgctgkmgmtud23eha

Software engineering for large-scale multi-agent systems

Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
We begin by presenting an overview of our goals and the workshop structure, and then focus on the workshop's technical program.  ...  A selected set of workshop papers and invited papers are going to appear in the book Software Engineering for Large-Scale Multi-Agent Systems (LNCS, Springer, 2002).  ...  Finally, once again we would sincerely like to thank the SELMAS'02 participants for their active involvement in the meeting and the level of their contributions to the debate.  ... 
doi:10.1145/581339.581428 dblp:conf/icse/LucenaGOCZ02 fatcat:37yjfvchozckrdcgr2zvwpsy34

Software engineering for large-scale multi-agent systems

Carlos Lucena, Alessandro Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli
2002 Proceedings of the 24th international conference on Software engineering - ICSE '02  
We begin by presenting an overview of our goals and the workshop structure, and then focus on the workshop's technical program.  ...  A selected set of workshop papers and invited papers are going to appear in the book Software Engineering for Large-Scale Multi-Agent Systems (LNCS, Springer, 2002).  ...  Finally, once again we would sincerely like to thank the SELMAS'02 participants for their active involvement in the meeting and the level of their contributions to the debate.  ... 
doi:10.1145/581427.581428 fatcat:ifl73w5545ddbls5zmastrrxfy

2020 Index IEEE Transactions on Industrial Informatics Vol. 16

2020 IEEE Transactions on Industrial Informatics  
, S., TII May 2020 3376-3386 Momeni, H., Sadoogi, N., Farrokhifar, M., and Gharibeh, H.F., Fault Diagnosis in Photovoltaic Arrays Using GBSSL Method and Proposing a Fault Correction System; TII Aug  ...  Forests-Based Model for Ultra-Short-Term Prediction of PV Characteristics; TII Jan. 2020 202-214 Imran, A., see Hussain, B., TII Aug. 2020 4986-4996 Imran, M., see Fu, S., TII Sept. 2020 6013-6022  ...  Guo, B., +, TII Nov. 2020 6982-6992 Fault-Tolerant Cooperative Control of Multiagent Systems: A Survey of Trends and Methodologies.  ... 
doi:10.1109/tii.2021.3053362 fatcat:blfvdtsc3fdstnk6qoaazskd3i

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants [chapter]

Zeineb Graja, Frédéric Migeon, Christine Maurel, Marie-Pierre Gleizes, Ahmed Hadj Kacem
2014 Lecture Notes in Computer Science  
This paper proposes a formal modelling for Self-Organizing Multi-Agent Systems (SOMAS) based on stepwise refinements, with the Event-B language and the Temporal Logic of Actions (TLA).  ...  This modelling allows to develop this kind of systems in a more structured manner.  ...  of cooperative activities for error recovery.  ... 
doi:10.1007/978-3-319-14484-9_3 fatcat:hg4cdxr2pvgkbg43tewhqzuc5q

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  
of cooperative activities for error recovery.  ...  This framework is applied to model critical activities of an emergency. An Event-B modelling for fault tolerant MAS was proposed in [15] .  ... 
doi:10.1504/ijaose.2016.10001862 fatcat:sognebtikbh35izwwnw2luy6su
« Previous Showing results 1 — 15 out of 1,988 results