• sort by:

  • Force fight under inconsistent ommission error

    A Dataset, AFCS - Distributed Systems - 5 years, 10 months ago

    Shared By: Kevin Schweiker

    Matlab code to generate plots associated with the force fight associated a triple redundant command module under an inconsistent ommission error.

    meatball
  • Real System Failures

    Other, AFCS - Distributed Systems - 1 year, 7 months ago

    Shared By: Kevin Driscoll

    This resource area contains descriptions of actual electronic systems failure scenarios with an emphasis on the diversity of failure modes and effects that can befall ...

  • AADL Models of Network Protocols

    A Dataset, AFCS - Distributed Systems - 6 years, 5 months ago

    Shared By: Kevin Schweiker

    AADL and Error Annex models of SAFEbus, SPIDER, TTP and BRAIN

    meatball
  • SAL and PVS Model of TTEthernet Synchronization Protocol

    A Dataset, AFCS - Distributed Systems - 6 years, 6 months ago

    Shared By: Kevin Schweiker

    Timed-Triggered Ethernet (or TTEthernet)is a communication infrastructure that enables the use of Ethernet in real-time, distributed systems. TTEthernet is compatible with traditional IEEE 802.3 switched ...

    meatball
  • Draper Clock-Synchronization Protocol in SAL

    A Dataset, AFCS - Distributed Systems - 6 years, 6 months ago

    Shared By: Kevin Schweiker

    In 1973, Daly, Hpokins, and McKenna (from Draper Lab.) presented a fault-tolerant digital clocking system at the FTCS conference. This is probably one of the ...

    meatball
  • Asynchronous Mid-Value Select in Hybrid SAL

    A Dataset, AFCS - Distributed Systems - 6 years, 6 months ago

    Shared By: Kevin Schweiker

    The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs. This is part of a ...

    meatball
  • SAL 3.2 Toolkit

    A Dataset, AFCS - Distributed Systems - 6 years, 6 months ago

    Shared By: Kevin Schweiker

    Link to SRI's SAL Toolkit. Binary distributions available for Windows (using Cygwin), MacOS, and Linux

    meatball
  • YICES 2 SMT Solver

    A Dataset, AFCS - Distributed Systems - 6 years, 6 months ago

    Shared By: Kevin Schweiker

    Link to SRI's site. Available for Windows, MacOS, Linux and FreeBSD. Non-commercial use.

    meatball

= This resource has been added from a different project. Clicking on them will take you to the project the resource comes from.

= This resource is part of a restricted project.