Data · dataset · 2025
Draper Clock-Synchronization Protocol in SAL
Listed in NASA Data Portal
In 1973, Daly, Hpokins, and McKenna (from Draper Lab.) presented a fault-tolerant digital clocking system at the FTCS conference.
Description
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.
Links
Get the data
- draperClockv8.sal c3.nasa.gov/dashlink/static/media/dataset/draperClockv8_2.sal ↗
download · from data nasa gov
- phaseLocking7.sal c3.nasa.gov/dashlink/static/media/dataset/phaseLocking7_2.sal ↗
download · from data nasa gov
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/draper-clock-synchronization-protocol-in-sal ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=20abf32a-a2a3-4e62-8e3b-e54d29654… ↗
metadata API · from data nasa gov
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | 20abf32a-a2a3-4e62-8e3b-e54d296543aa | 13 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| created_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| description | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /notes |
| license_text | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| publication_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 | |
| title | source · data nasa gov | connector:data_nasa_gov@1.0.0 | /title |
| updated_date | source · data nasa gov | connector:data_nasa_gov@1.0.0 |