- Resources
- Related Research Areas
- Verification and Validation
Assurance of Flight Critical Systems - Distributed Systems
Discussions
Popular Resources
-
Force fight under inconsistent ommission error
A Dataset, AFCS - Distributed Systems - 11 years, 2 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.
-
Other, AFCS - Distributed Systems - 6 years, 11 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 - 11 years, 10 months ago
Shared By: Kevin Schweiker
AADL and Error Annex models of SAFEbus, SPIDER, TTP and BRAIN