Return to search results
Asynchronous Mid-Value Select in Hybrid SAL
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.
Complete Metadata
| @type | dcat:Dataset |
|---|---|
| accessLevel | public |
| accrualPeriodicity | irregular |
| bureauCode |
[
"026:00"
]
|
| contactPoint |
{
"fn": "Kevin Schweiker",
"@type": "vcard:Contact",
"hasEmail": "mailto:kevin.schweiker@honeywell.com"
}
|
| description | 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. |
| distribution |
[
{
"@type": "dcat:Distribution",
"title": "MVS.sal",
"format": "BIN",
"mediaType": "application/octet-stream",
"description": "Hybrid SAL model of Mid-Value Select Module",
"downloadURL": "https://c3.nasa.gov/dashlink/static/media/dataset/MVS_2.sal"
}
]
|
| identifier | DASHLINK_599 |
| issued | 2012-06-11 |
| keyword |
[
"ames",
"dashlink",
"nasa"
]
|
| landingPage | https://c3.nasa.gov/dashlink/resources/599/ |
| modified | 2025-04-01 |
| programCode |
[
"026:029"
]
|
| publisher |
{
"name": "Dashlink",
"@type": "org:Organization"
}
|
| title | Asynchronous Mid-Value Select in Hybrid SAL |
