Sökning: "software implemented fault tolerance"

Visar resultat 1 - 5 av 16 avhandlingar innehållade orden software implemented fault tolerance.

  1. 1. Techniques for software implemented fault tolerance

    Författare :Ruben Alexandersson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault tolerance; aspect oriented programming; software fault injection;

    Sammanfattning : Software implemented node level fault tolerance is an important technique for meeting dependability requirements in embedded safety critical systems. This thesis deals with both the issues of implementing mechanisms for fault tolerance and their validation. LÄS MER

  3. 2. On Aspect-Oriented Implementation of Fault Tolerance

    Författare :Ruben Alexandersson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Aspect-Oriented Programming; Fault Tolerance; Error Detection; Fault Injection;

    Sammanfattning : This thesis investigates the use of aspect-oriented programming for the purpose of implementing fault-tolerance in software. The feasibility of aspect-oriented programming languages is evaluated from the perspectives of expressiveness, overhead, and fault coverage. LÄS MER

  4. 3. Software-implemented error detection and recovery for control applications

    Författare :Jonny Vinter; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; fault injection; dependable software; fault tolerance; control applications; concurrent error detection; error recovery techniques; embedded systems;

    Sammanfattning : .... LÄS MER

  5. 4. Analysing Fault Tolerance for Erlang Applications

    Författare :Jan Henry Nyström; Bengt Jonsson; Sven-Olof Nyström; John Hughes; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; formal methods; symbolic evaluation; fault tolerance; erlang; Computer engineering; Datorteknik; Computer Systems; Datorteknik;

    Sammanfattning : ERLANG is a concurrent functional language, well suited for distributed, highly concurrent and fault-tolerant software. An important part of Erlang is its support for failure recovery. Fault tolerance is provided by organising the processes of an ERLANG application into tree structures. LÄS MER

  7. 5. Verification of Distributed Erlang Programs using Testing, Model Checking and Theorem Proving

    Författare :Hans Svensson; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; distributed algorithms; fault-tolerance; theorem proving; verification; distributed programming; Erlang; model checking; testing;

    Sammanfattning : Software infiltrates every aspect of modern society. Production, transportation, entertainment, and almost every other sphere that influences modern living are either directly or indirectly dependent on software systems. LÄS MER