Data · dataset · 2025
Asynchronous Mid-Value Select in Hybrid SAL
Listed in NASA Data Portal
The following SAL model is an abstraction of a module that implements a fault-tolerant mid-value select on asynchronously produced inputs.
Description
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.
Links
Get the data
- MVS.sal c3.nasa.gov/dashlink/static/media/dataset/MVS_2.sal ↗
download · from data nasa gov
Where it is published
- NASA Data Portal dataset page data.nasa.gov/dataset/asynchronous-mid-value-select-in-hybrid-sal ↗
landing page · from data nasa gov
Catalogue records · 1
- CKAN API data.nasa.gov/api/3/action/package_show?id=96f0cfab-8583-48a3-8692-fdafc0d91… ↗
metadata API · from data nasa gov
Provenance · 1 source records, 6 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| NASA Data Portal | 96f0cfab-8583-48a3-8692-fdafc0d91561 | 11 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 |