Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Skip to content
  • Feedback

    • SAL and PVS Model of TTEthernet Synchronization Protocol

    Metadata Updated: April 10, 2025

    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.

    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.

    Access & Use Information

    Public: This dataset is intended for public access and use. License: No license information was provided. If this work was prepared by an officer or employee of the United States government as part of that person's official duties it is considered a U.S. Government Work.

    Downloads & Resources

    Dates

    Metadata Created Date November 12, 2020
    Metadata Updated Date April 10, 2025
    Data Update Frequency irregular

    Metadata Source

    Harvested from NASA Data.json

    Other Data Resources

    Additional Metadata

    Resource Type Dataset
    Metadata Created Date November 12, 2020
    Metadata Updated Date April 10, 2025
    Publisher Dashlink
    Maintainer
    Identifier DASHLINK_601
    Data First Published 2012-06-11
    Data Last Modified 2025-03-31
    Public Access Level public
    Data Update Frequency irregular
    Bureau Code 026:00
    Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
    Schema Version https://project-open-data.cio.gov/v1.1/schema
    Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
    Harvest Object Id 0433d15c-b5ee-43f6-b41a-c17d02b3b3be
    Harvest Source Id 58f92550-7a01-4f00-b1b2-8dc953bd598f
    Harvest Source Title NASA Data.json
    Homepage URL https://c3.nasa.gov/dashlink/resources/601/
    Program Code 026:029
    Source Datajson Identifier True
    Source Hash 4408d017e8d4fe34ba05a90b4e7c6cc9637944d66e31e1fad38b016e24912897
    Source Schema Version 1.1

    Didn't find what you're looking for? Suggest a dataset here.