Text · dataset · 2025
SAL and PVS Model of TTEthernet Synchronization Protocol
Listed in NASA Data Portal
Timed-Triggered Ethernet (or TTEthernet)is a communication infrastructure that enables the use of Ethernet in real-time, distributed systems.
Description
TTEthernet is compatible with traditional IEEE 802.3 switched Ethernet standards, and is designed to support dataflows of mixed criticality on a single network. For traffic of the highest criticality, TTEthernet provides a timed-triggered communication service that relies on a fault-tolerant clock-synchronization protocol.
We have developed formal models of parts of the TTEthernet protocols and analyzed safety-critical properties using both SAL and PVS. Related work by Wilfried Steiner is described in the SAL Wiki.
Links
Get the data
- tte_synchro.sal c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_2.sal ↗
download · from data nasa gov
- tte_synchro_var.sal c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_var_2.sal ↗
download · from data nasa gov
- tte_synchro_fixed.sal c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_fixed_2.sal ↗
download · from data nasa gov
- tte_compression.dmp c3.nasa.gov/dashlink/static/media/dataset/tte_compression.dmp ↗
download · from data nasa gov
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/sal-and-pvs-model-of-ttethernet-synchronization-protoc… ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=5ff303b1-902f-4f0b-be87-e250f17c0… ↗
metadata API · from data nasa gov
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | 5ff303b1-902f-4f0b-be87-e250f17c0a47 | 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 |