Asynchronous Mid-Value Select in Hybrid SAL

A dataset shared by Kevin Schweiker, updated on Jun 11, 2012


Contributing Author(s) :
Ashish Tiwari

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.

show more info
Operating System
N/A (edit)
N/A (edit)
Programming Language
N/A (edit)
N/A (edit)

Source Files

Hybrid SAL model of Mid-Value Select Module
2.9 KB 9 downloads


For any questions, contact this resource's administrator: K2


Add New Comment