Force fight under inconsistent ommission error

A Dataset, AFCS - Distributed Systems - 11 years, 9 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.

AADL Models of Network Protocols

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

Shared By: Kevin Schweiker

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

SAL and PVS Model of TTEthernet Synchronization Protocol

A Dataset, AFCS - Distributed Systems - 12 years, 5 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 ...

Draper Clock-Synchronization Protocol in SAL

A Dataset, AFCS - Distributed Systems - 12 years, 5 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 ...

Asynchronous Mid-Value Select in Hybrid SAL

A Dataset, AFCS - Distributed Systems - 12 years, 5 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 ...

SAL 3.2 Toolkit

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

Shared By: Kevin Schweiker

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

YICES 2 SMT Solver

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

Shared By: Kevin Schweiker

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

Distributed Real-time Embedded Analysis Method (DREAM)

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

Shared By: Kevin Schweiker

Models developed with this Open Source tool.