Fault Ascription in Concurrent Systems

Gößler, Gregor; Stefani, Jean-Bernard

doi:10.1007/978-3-319-28766-9_6

Cited by 8 publications

(13 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Another way of reasoning in fault diagnosis is counterfactual reasoning [47][48][49][50], which takes the form of:…”

Section: Fault Localization and Identificationmentioning

confidence: 99%

“…A is an event that is contrary to the real observations, while B is the result that is expected in the alternative world where the antecedent is true [47]. Recent definitions of actual causality [48] and fault ascription [50] use counterfactuals in order to pinpoint the events or components responsible for the violation of a safety propriety, for instance, defined by VNF requirements.…”

Section: Fault Localization and Identificationmentioning

confidence: 99%

See 1 more Smart Citation

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

Cherrared

Imadali

Fabre

et al. 2019

IEEE Trans. Netw. Serv. Manage.

View full text Add to dashboard Cite

The advent of 5G and the ever increasing stringent requirements in terms of bandwidth, latency, and quality of service pushes the boundaries of what is feasible with legacy Mobile Network Operators' technologies. Network Functions Virtualization (NFV) is a promising attempt at solving some of these challenges that is widely adopted by the industry and specified by the standardization bodies. In essence, NFV is about running Network Functions (NFs) as virtualized workloads on commodity hardware. This may optimize deployment costs and simplify the lifecycle management of NFs, but it introduces new fault management challenges and issues. In this paper, we propose a comprehensive state of the art of fault management techniques. We address the impact of virtualization in fault management. We propose a new classification of the recent fault management research achievements in the network virtualization environments and compare their major contributions and shortcomings.

show abstract

“…Another way of reasoning in fault diagnosis is counterfactual reasoning [47][48][49][50], which takes the form of:…”

Section: Fault Localization and Identificationmentioning

confidence: 99%

Section: Fault Localization and Identificationmentioning

confidence: 99%

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

Cherrared

Imadali

Fabre

et al. 2019

IEEE Trans. Netw. Serv. Manage.

View full text Add to dashboard Cite

show abstract

“…A general framework for fault ascription in concurrent systems based on counterfactuals is presented in [23,24]. Formal definitions are given for necessary and/or sufficient conditions under which failures in a given set of components cause a system to violate a given property.…”

Section: Related Workmentioning

confidence: 99%

Soft component automata: Composition, compilation, logic, and verification

Kappé

Lion

Arbab

et al. 2019

Science of Computer Programming

View full text Add to dashboard Cite

The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a system that meaningfully exhibits their collective behavior. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using algebraic structures on preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system, exhibiting intuitively meaningful behavior. We extend linear temporal logic with two unary connectives that reflect the compositional structure of actions, and show that it is decidable whether all behaviors of a given automaton satisfy a formula of this extended logic. We then show how this logic can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components. Lastly, we implement a toolchain that compiles our automata to Maude, allowing us to apply the rich model checking capability of Maude to verify agent behavior.

show abstract

“…for counterfactuals) that apply generally irrespective of the actual details of the chosen operators. [13] provides an example of counterfactual analysis developed in an abstract setting -that of configuration structures, which can be understood as a general model for concurrent system executions or unfoldings. It seems to us that general notions of causality and counterfactuals should not depend on the specifics of system or transition system models.…”

Section: Native Support For System Dynamicsmentioning

confidence: 99%

Counterfactual Causality from First Principles?

Gößler

Sokolsky

Stefani

2017

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

In this position paper we discuss three main shortcomings of existing approaches to counterfactual causality from the computer science perspective, and sketch lines of work to try and overcome these issues: (1) causality definitions should be driven by a set of precisely specified requirements rather than specific examples; (2) causality frameworks should support system dynamics; (3) causality analysis should have a well-understood behavior in presence of abstraction.Comment: In Proceedings CREST 2017, arXiv:1710.0277

show abstract

Fault Ascription in Concurrent Systems

Cited by 8 publications

References 20 publications

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions

Soft component automata: Composition, compilation, logic, and verification

Counterfactual Causality from First Principles?

Contact Info

Product

Resources

About