Force fight under inconsistent ommission error

A dataset shared by Kevin Schweiker, updated on Jan 23, 2013

Summary

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

show more info
Operating System
N/A (edit)
License
N/A (edit)
Programming Language
N/A (edit)
Version
N/A (edit)

Source Files

mvs_inconsistent_ommission.m
Inconsistent ommission
 2.8 KB 14 downloads
midval.m
Mid-Value algorithm
 307 bytes 7 downloads
mvs plots.ppt
MVS plots
 779.0 KB 12 downloads
Inconsistent Omission Error .ppt
Inconsistent ommission error plots
 667.5 KB 24 downloads
mvs.sal
Initial Abstraction - SAL Model
 14.4 KB 9 downloads
run_mvs.sh
Initial Abstraction - SAL
 1.5 KB 10 downloads
mvs_with_timeouts1.sal
Timeout Abstraction - SAL Model
 11.0 KB 8 downloads
run_mvs_with_timeout1.sh
Timeout Abstraction - SAL
 2.3 KB 9 downloads
mvs_with_timeouts3.sal
Alternate Timeout Abstraction - SAL Model
 9.8 KB 4 downloads
run_mvs_with_timeout3.sh
Alternate Timeout Abstraction - SAL
 3.7 KB 7 downloads
mvs_with_timeouts4.sal
Alternate 2 Timeout Abstraction - SAL Model
 10.4 KB 4 downloads
run_mvs_with_timeout4.sh
Alternate 2 Timeout Abstraction - SAL
 3.7 KB 6 downloads
mvs_with_timeouts3.sal
Timeout with Faults with agreement - SAL Model
 9.8 KB 7 downloads
run_mvs_with_timeout3.sh
Timeout with Faults with agreement - SAL
 3.7 KB 4 downloads
run_mvs_with_timeout3.sh
Alternate Timeout with Faults with agreement - SAL Model
 3.7 KB 5 downloads
run_mvs_with_timeout4.sh
Alternate Timeout with Faults with agreement - SAL
 3.7 KB 4 downloads

Support/Documentation

For any questions, contact this resource's administrator: K2

Discussions

Add New Comment