10 Model-Based Analysis and Development of Dependable Systems

Buckl, Christian; Knoll, Alois; Schieferdecker, Ina; Zander, Justyna

doi:10.1007/978-3-642-16277-0_10

Cited by 7 publications

(2 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Whenitcomestoautonomoussystemstargetingoperationincrisissituationsinvolvementoffaulttolerance systems that increase safety and reliability are essential (Buckl, 2010). However, it is apparentthatadependablesystemthatoperatesincrisiseventsneedstobeself-aware,retaining consciousnessnotonlyaboutitsfaultsbutalsoabouttheimpactofthesefaultstoitsabilitiestoaddress thetargetedmissions.Toachievethis,duringsystemdesign,themappingofsystem'sfunctionalities intooperationalcomponents is mandatory.Towardsthis direction, the authors in (Jürjens,2005) reportedthedevelopmentofasystem-specifictoolbasedonUnifiedModelingLanguage(UML) suitable to check faults in component-based level.…”

Section: Dependable Systems In Crisis Situationsmentioning

confidence: 99%

Dependability Levels on Autonomous Systems

Zacharaki

Kostavelis

2017

International Journal of Information Systems for Crisis Response and Management

View full text Add to dashboard Cite

Professional robots should be endorsed with great autonomy capabilities when designed for release into the market. The need for autonomy is further reinforced when robots are meant to be used for crisis management situations, where close collaboration with humans and trustworthy operation in hazardous environments is necessary. To this end, this article quantifies the system's autonomy by measuring its dependability. This is achieved by defining a qualitative metric system regarding the different levels of dependability that autonomous systems should retain in order to operate in various crisis situations. It provides a detailed analysis of each level of dependability and proposes the minimum requirements that should be fulfilled in each level, thus realizing a ranking system that outlines the overall system's ability to operate autonomously. The proposed analysis is applied on a real robotic prototype developed for crisis situations and evaluates the system's autonomy capabilities by qualitative assessing the levels of dependability it retains.

show abstract

Section: Dependable Systems In Crisis Situationsmentioning

confidence: 99%

Dependability Levels on Autonomous Systems

Zacharaki

Kostavelis

2017

International Journal of Information Systems for Crisis Response and Management

View full text Add to dashboard Cite

show abstract

“…Explaining systems failure has been a topic of interest for many years now. Techniques such as Fault tree analysis (FTA) and Failure mode and effects analysis (FMEA) [5], for instance, have been proposed and widely used by reliability engineers in order to understand how systems can fail, and for debugging purposes.…”

Section: Introductionmentioning

confidence: 99%

Explaining SDN Failures via Axiomatisations

Caltais

2019

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

This work introduces a concept of explanations with respect to the violation of safe behaviours within software defined networks (SDNs) expressible in NetKAT. The latter is a network programming language that is based on a well-studied mathematical structure, namely, Kleene Algebra with Tests (KAT). Amongst others, the mathematical foundation of NetKAT gave rise to a sound and complete equational theory. In our setting, a safe behaviour is characterised by a NetKAT policy which does not enable forwarding packets from ingress to an undesirable egress. Explanations for safety violations are derived in an equational fashion, based on a modification of the existing NetKAT axiomatisation.

show abstract