Draper Clock-Synchronization Protocol in SAL
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 first published system designs that is intended to tolerate arbitrary, asymmetric faults (i.e., Byzantine faults).
The following SAL models (05/14/2012) are two variant formalizations of this Draper Clock-Synchronization Protocol developed by Ashish Tiwari.
Find Related Datasets
Search by Tags
Click any tag below to search for similar datasets
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| accrualPeriodicity | irregular |
| bureauCode |
[
"026:00"
]
|
| contactPoint |
{
"fn": "Kevin Schweiker",
"@type": "vcard:Contact",
"hasEmail": "mailto:kevin.schweiker@honeywell.com"
}
|
| description | 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 first published system designs that is intended to tolerate arbitrary, asymmetric faults (i.e., Byzantine faults). The following SAL models (05/14/2012) are two variant formalizations of this Draper Clock-Synchronization Protocol developed by Ashish Tiwari. |
| distribution |
[
{
"@type": "dcat:Distribution",
"title": "draperClockv8.sal",
"format": "BIN",
"mediaType": "application/octet-stream",
"description": "Draper Clock-Sync",
"downloadURL": "https://c3.nasa.gov/dashlink/static/media/dataset/draperClockv8_2.sal"
},
{
"@type": "dcat:Distribution",
"title": "phaseLocking7.sal",
"format": "BIN",
"mediaType": "application/octet-stream",
"description": "phaseLocking7.sal",
"downloadURL": "https://c3.nasa.gov/dashlink/static/media/dataset/phaseLocking7_2.sal"
}
]
|
| identifier | DASHLINK_600 |
| issued | 2012-06-11 |
| keyword |
[
"ames",
"dashlink",
"nasa"
]
|
| landingPage | https://c3.nasa.gov/dashlink/resources/600/ |
| modified | 2025-03-31 |
| programCode |
[
"026:029"
]
|
| publisher |
{
"name": "Dashlink",
"@type": "org:Organization"
}
|
| title | Draper Clock-Synchronization Protocol in SAL |
