Concept

Specification (technical standard)

Related publications (162)

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

The tolerance theory by Arora and Kulkarni views a fault-tolerant program as the composition of a fault-intolerant program and fault tolerance components called detectors and correctors.At its core, the theory assumes that the correctness specifications un ...

2003

Debugging Temporal Specifications with Concept Analysis

James Richard Larus

Program verification tools (such as model checkers and static analyzers) can find many errors in programs. These tools need formal specifications of correct program behavior, but writing a correct specification is difficult, just as writing a correct progr ...

ACM2003

Correlation-Based Tuning of a Restricted-Complexity Controller for an Active Suspension System

Dominique Bonvin, Alireza Karimi, Ljubisa Miskovic

A correlation-based controller tuning method is proposed for the ``Design and optimization of restricted-complexity controllers'' benchmark problem. The approach originally proposed for model following is extended to solve the disturbance rejection problem ...

2003

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors (Diamond S); we use our model to formally prove that the algorithm satisf ...

2003

Control of an Active Suspension System as a Benchmark for Design and Optimization of Restricted Complexity Controllers

Alireza Karimi, Ljubisa Miskovic

A benchmark problem for restricted complexity controller design is introduced. The objective is to design the lowest-order controller which meets the control specifications for an active suspension system. The input-output data of the plant are provided on ...

2003

Modeling Consensus in a Process Calculus

Rachele Fuzzati, Massimo Merro

We give a process calculus model that formalizes a well-known algorithm (introduced by Chandra and Toueg) solving consensus in the presence of a particular class of failure detectors; we use our model to formally prove that the algorithm satisfies its spec ...

2003

Generating Synchronization Contracts for Web Services

Alain Wegmann, Otto Preiss

Component composition and Web-service composition have in common that the usage pattern of a certain black-box component or Web-service needs to be described precisely. Because usually many interactions between the client and the service provider are requi ...

2003

Practical Foundations of Business and System Specifications

Alain Wegmann, Pavel Balabko

In this work we consider the behavioral aspects of system modeling. In order to specify the behavior of a system, many different notations can be used. Quite often, different terms in these notations are related to the same element in a system implementati ...

Kluwer Academic Publishers2003

Towards JMS-Compliant Group Communication

André Schiper, Matthias Wiesmann, Stefan Pleisch, Arnas Kupsys

Group communication provides communication primitives with various semantics and their use greatly simplifies the development of highly available services. However, despite tremendous advances in research and numerous prototypes, group communication stays ...

2003

What Good are Probabilistic Specifications and What Probabilistic Specifications are Good?

Patrick Eugster

The number of probabilistic approaches to ``classic'' distributed systems problems such as reliable broadcast, consensus, or leader election, has further increased recently. Probabilistic algorithms, possibly starting from probabilistic system models, have ...

2003

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.