A Case Study in Formal Development of a Fault Tolerant Multi-robotic System

Pereverzeva, Inna; Troubitsynå, Elena; Laibinis, Linas

doi:10.1007/978-3-642-33176-3_2

Cited by 10 publications

(4 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…PVS, Maude) [Dias and Iyoda 2011;Steiner and Rushby 2011; Transition system, event structure (e.g. AltaRica, Event-B) [Ball and Butler 2009;Iliasov and Romanovsky 2008;Kabir and Goswami 2015;Lopez-Jaquero et al 2012;Miller et al 2009;Nasser et al 2017;Pereverzeva et al 2012;Tan et al 2015] Petri net [Belli and Großpietsch 1991;Flammini et al 2014] Probabilistic (e.g. Bayesian network) [Armoush 2010;Armoush et al 2008a;Bateman and Hatton 2006; [Alho and Rauhamäki 2011;Armoush 2010;Armoush et al 2008a;Baleani et al 2003;Bozzano et al 2013;Delmas et al 2015;Liu et al 2008;Luo et al 2017a;Mahemoff et al 2001;Nasser et al 2017;Natarajan et al 2000;Pont and Banner 2004;Preschern et al 2014bPreschern et al , 2013cRauhamäki and Kuikka 2015;] Pattern meta-model, tactic taxonomy [Khalil et al 2014;Luo et al 2016;Preschern et al 2013c;Radermacher et al 2013;Vepsäläinen and Kuikka 2014;Wu and Kelly 2004] Modeling Language UML [Fayad et al 2003;Giuntini et al 2017;Islam and Devarakonda 1996;Lopez-Jaquero et al 2012;…”

Section: Qcontribution: To What Extent Are Known Challenges Covered B...mentioning

confidence: 99%

Assurance of System Safety: A Survey of Design and Argument Patterns

Gleirscher,

Kugele

2019

Preprint

View full text Add to dashboard Cite

The specification, design, and assurance of safety encompasses various concepts and best practices, subject of reuse in form of patterns. This work summarizes applied research on such concepts and practices with a focus on the last two decades and on the state-of-the-art of patterns in safety-critical system design and assurance argumentation. We investigate several aspects of such patterns, for example, where and when they are applied, their characteristics and purposes, and how they are related. For each aspect, we provide an overview of relevant studies and synthesize a taxonomy of first principles underlying these patterns. Furthermore, we comment on how these studies address known challenges and we discuss suggestions for further research. Our findings disclose a lack of research on how patterns improve system safety claims and, vice versa, on the decomposition of system safety into separated local concerns, and on the impact of security on safety. CCS Concepts: • General and reference → Design; Reliability; • Computer systems organization → Architectures; Dependable and fault-tolerant systems and networks; • Hardware → Safety critical systems; • Software and its engineering → Software safety; Error handling and recovery; Software verification and validation; Risk management; • Security and privacy → Security in hardware.

show abstract

Section: Qcontribution: To What Extent Are Known Challenges Covered B...mentioning

confidence: 99%

Assurance of System Safety: A Survey of Design and Argument Patterns

Gleirscher,

Kugele

2019

Preprint

View full text Add to dashboard Cite

show abstract

“…In [5,6,17], we have investigated the problem of ensuring safety and fault tolerance of mobile agent systems. The work has resulted in defining the modelling patterns to represent agent roles in dynamic scopes and deriving the logical conditions to ensure system dependability.…”

Section: Goal-oriented Refinement Of Reconfigurable Systemsmentioning

confidence: 99%

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

Troubitsyna

2012

Preprint

Self Cite

View full text Add to dashboard Cite

Event-B has been actively used within the EU Deploy project to model dependable systems from various application domains. 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. We outline our approaches to integrating safety analysis into the development process, modelling fault tolerant systems and probabilistic dependability evaluation. We discuss achievements and challenges in development of dependable systems within the Event-B framework.

show abstract

“…Another motivation is more efficient performance of distributed multi-robot systems in comparison with systems with centralized control. Reusability Iñigo-Blasco 2012), scalability (Cunningham and Wurm 2012), reliability and fault tolerance (Parker 2012, Pereverzeva et al 2012 are among advantages of distributed multi-robot systems that have encouraged researchers to design new systems and develop new ideas in this area. Despite above advantages, some new challenges are encountered in multi-robot systems.…”

Section: Introductionmentioning

confidence: 99%

Distributed artificial capital market based planning in 3D multi-robot transportation

Akbarimajd¹,

Simzan²

2014

Advances in robotics research

View full text Add to dashboard Cite

Distributed planning and decision making can be beneficial from the robustness, adaptability and fault tolerance in multi-robot systems. Distributed mechanisms have not been employed in three dimensional transportation systems namely aerial and underwater environments. This paper presents a distributed cooperation mechanism on multi robot transportation problem in three dimensional environments. The cooperation mechanism is based on artificial capital market, a newly introduced market based negotiation protocol. In the proposed mechanism contributing in transportation task is defined as asset. Each robot is considered as an investor who decides if he is going to invest on some assets. The decision is made based on environmental constraint including fuel limitation and distances those are modeled as capital and cost. Simulations show effectiveness of the algorithm in terms of robustness, speed and adaptability.

show abstract

A Case Study in Formal Development of a Fault Tolerant Multi-robotic System

Cited by 10 publications

References 7 publications

Assurance of System Safety: A Survey of Design and Argument Patterns

Assurance of System Safety: A Survey of Design and Argument Patterns

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

Distributed artificial capital market based planning in 3D multi-robot transportation

Contact Info

Product

Resources

About