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

    • Asynchronous Mid-Value Select in Hybrid SAL

    Metadata Updated: April 11, 2025

    The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs. This is part of a larger system that has both discrete and continuous dynamics, Our goal is to model the full system using Hybrid SAL and we have adapted the timed relational abstraction techique supported by Hybrid SAL to abstract asynchronous sampling of continous signals. This approach will be fully automated in future releases of Hybrid SAL.

    The following model (05/14/2012) shows the resulting abstraction, for the aysnchronous mid-value select module and includes proofs of various properties.

    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 11, 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 11, 2025
    Publisher Dashlink
    Maintainer
    Identifier DASHLINK_599
    Data First Published 2012-06-11
    Data Last Modified 2025-04-01
    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 38705c8e-482d-41a8-b1a4-b81315f9bbd6
    Harvest Source Id 58f92550-7a01-4f00-b1b2-8dc953bd598f
    Harvest Source Title NASA Data.json
    Homepage URL https://c3.nasa.gov/dashlink/resources/599/
    Program Code 026:029
    Source Datajson Identifier True
    Source Hash d0f29f4e14b3514bad22162e8b1662bb8374f97a2cc67bbc8ce1f22321a53742
    Source Schema Version 1.1

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