@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dct: <http://purl.org/dc/terms/> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix org: <http://www.w3.org/ns/org#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix vcard: <http://www.w3.org/2006/vcard/ns#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47> a dcat:Dataset ;
    dct:description """Timed-Triggered Ethernet (or TTEthernet)is a communication infrastructure that enables the use of Ethernet in real-time, distributed systems. 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.\r
\r
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.""" ;
    dct:identifier "DASHLINK_601" ;
    dct:issued "2012-06-11"^^xsd:date ;
    dct:modified "2020-01-29"^^xsd:date ;
    dct:publisher <https://data.nasa.gov/organization/dbb294e4-8597-44f5-aaf4-c0baac12cdbc> ;
    dct:title "SAL and PVS Model of TTEthernet Synchronization Protocol" ;
    dcat:contactPoint [ a vcard:Organization ;
            vcard:fn "Kevin Schweiker" ;
            vcard:hasEmail <mailto:kevin.schweiker@honeywell.com> ] ;
    dcat:distribution <https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/63e48f8b-c5ab-4553-94ba-291844fc2439>,
        <https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/993de11a-9456-42a7-bddf-822e1d9a6553>,
        <https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/a8f0be0e-a025-47b2-ade4-1e7cb529ed3a>,
        <https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/f883ad69-af30-493f-aa0e-a519440895b4> ;
    dcat:keyword "ames",
        "dashlink",
        "nasa" .

<https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/63e48f8b-c5ab-4553-94ba-291844fc2439> a dcat:Distribution ;
    dct:description "The following SAL specifications focus on TTEthernet's compression function. They show that better synchronization can be achieved by a simple change to the original TTEthernet definition (2/11/2012)." ;
    dct:format "BIN" ;
    dct:identifier "63e48f8b-c5ab-4553-94ba-291844fc2439" ;
    dct:issued "2025-03-31T16:02:46.507707"^^xsd:dateTime ;
    dct:modified "2025-03-31T16:02:46.495411"^^xsd:dateTime ;
    dct:title "tte_synchro.sal" ;
    dcat:accessURL <https://c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_2.sal> ;
    dcat:mediaType "application/octet-stream" .

<https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/993de11a-9456-42a7-bddf-822e1d9a6553> a dcat:Distribution ;
    dct:description "tte_synchro_fixed.sal" ;
    dct:format "BIN" ;
    dct:identifier "993de11a-9456-42a7-bddf-822e1d9a6553" ;
    dct:issued "2025-03-31T16:02:46.507712"^^xsd:dateTime ;
    dct:modified "2025-03-31T16:02:46.495655"^^xsd:dateTime ;
    dct:title "tte_synchro_fixed.sal" ;
    dcat:accessURL <https://c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_fixed_2.sal> ;
    dcat:mediaType "application/octet-stream" .

<https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/a8f0be0e-a025-47b2-ade4-1e7cb529ed3a> a dcat:Distribution ;
    dct:description "tte_synchro_var.sal" ;
    dct:format "BIN" ;
    dct:identifier "a8f0be0e-a025-47b2-ade4-1e7cb529ed3a" ;
    dct:issued "2025-03-31T16:02:46.507711"^^xsd:dateTime ;
    dct:modified "2025-03-31T16:02:46.495546"^^xsd:dateTime ;
    dct:title "tte_synchro_var.sal" ;
    dcat:accessURL <https://c3.nasa.gov/dashlink/static/media/dataset/tte_synchro_var_2.sal> ;
    dcat:mediaType "application/octet-stream" .

<https://data.nasa.gov/dataset/5ff303b1-902f-4f0b-be87-e250f17c0a47/resource/f883ad69-af30-493f-aa0e-a519440895b4> a dcat:Distribution ;
    dct:description "The following PVS file contains a general specification of TTEthernet's compression function and proofs of several important properties. The specification and proofs were developed using PVS 5.0 (2/11/2012)." ;
    dct:format "TXT" ;
    dct:identifier "f883ad69-af30-493f-aa0e-a519440895b4" ;
    dct:issued "2025-03-31T16:02:46.507714"^^xsd:dateTime ;
    dct:modified "2025-03-31T16:02:46.495772"^^xsd:dateTime ;
    dct:title "tte_compression.dmp" ;
    dcat:accessURL <https://c3.nasa.gov/dashlink/static/media/dataset/tte_compression.dmp> ;
    dcat:mediaType "text/plain" .

<https://data.nasa.gov/organization/dbb294e4-8597-44f5-aaf4-c0baac12cdbc> a org:Organization ;
    skos:prefLabel "NASA" ;
    foaf:name "NASA" .