Basic concepts and taxonomy of dependable and secure computing

Avižienis, A.; Laprie, Jean-Claude; Randell, Brian; Landwehr, Carl E.

doi:10.1109/tdsc.2004.2

Cited by 4,173 publications

(2,812 citation statements)

References 44 publications

Supporting

Mentioning

2,435

Contrasting

Unclassified

168

Order By: Relevance

“…There is not even an agreement on the meanings of the words "validation" and "verification" [7] [3]. Similarly, the word "testing" is often used with different meanings.…”

Section: Testing Specifications Checking Models or Testing Implemenmentioning

confidence: 99%

Formal Methods and Testing: Hypotheses, and Correctness Approximations

Gaudel

2005

FM 2005: Formal Methods

View full text Add to dashboard Cite

Abstract. It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various kinds of formal specifications, their submission, and verdict. All these methods rely upon some hypotheses on the system under test that formalise the gap between the success of a test campaign and the correctness of the system under test.

show abstract

“…There is not even an agreement on the meanings of the words "validation" and "verification" [7] [3]. Similarly, the word "testing" is often used with different meanings.…”

Section: Testing Specifications Checking Models or Testing Implemenmentioning

confidence: 99%

Formal Methods and Testing: Hypotheses, and Correctness Approximations

Gaudel

2005

FM 2005: Formal Methods

View full text Add to dashboard Cite

show abstract

“…In this paper, we follow [15] with respect to the definitions of dependability, availability, and reliability of systems.…”

Section: Introductionmentioning

confidence: 99%

Assessing the risk of violating SLA dependability requirements in software-defined networks

Kamisiński

Helvik

Gonzalez

et al. 2017

2017 IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)

View full text Add to dashboard Cite

Abstract-Dependability of computer and communication networks is an important aspect of the customer-provider relationship in the telecommunication industry. Considering the increasing interest in Software-Defined Networking (SDN) technologies, as well as unclear understanding of dependability in the context of traffic flows in such networks, it is not clear how to define the related objectives in Service Level Agreements (SLAs), and how to estimate the risk of violation of the included dependability requirements. In this paper, we present a solution to both issues and we evaluate it in different scenarios by simulation. The results show that the proposed method is feasible and may help service providers to select the preferred recovery technique in SDN based on the estimated risk of violation of the SLA dependability requirements and known Service Level Objectives (SLOs).

show abstract

“…Microsoft Windows displays a kernel stop error message in a blue background [8]. Some of these signaled failures [9] might be avoidable through techniques like micro-rebooting [10], automatic data structure repair [11] or device driver recovery [12]. These techniques can be deployed more effectively when a framework for detecting and communicating errors within the operating system kernel is available.…”

Section: Introductionmentioning

confidence: 99%

Exception Handling in the Choices Operating System

David

Carlyle

Chan

et al. 2006

Advanced Topics in Exception Handling Techniques

View full text Add to dashboard Cite

Abstract. Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system components about exceptional conditions also reduces coupling of error handling code and increases the modularity of the system. We explore the benefits of incorporating exception handling into the Choices operating system in order to improve reliability. We extend the set of exceptional error conditions in the kernel to include critical kernel errors such as invalid memory access and undefined instructions by wrapping them with language-based software exceptions. This allows developers to handle both hardware and software exceptions in a simple and unified manner through the use of an exception hierarchy. We also describe a catch-rethrow approach for exception propagation across protection domains. When an exception is caught by the system, generic recovery techniques like policy-driven micro-reboots and restartable processes are applied, thus increasing the reliability of the system.

show abstract

Basic concepts and taxonomy of dependable and secure computing

Abstract: ISR develops, applies and teaches advanced methodologies of design and analysis to

Cited by 4,173 publications

References 44 publications

Formal Methods and Testing: Hypotheses, and Correctness Approximations

Formal Methods and Testing: Hypotheses, and Correctness Approximations

Assessing the risk of violating SLA dependability requirements in software-defined networks

Exception Handling in the Choices Operating System

Contact Info

Product

Resources

About