Loading...
Please wait, while we are loading the content...
Similar Documents
Modeling and analysis of asynchronous systems using sal and hybrid sal
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Tiwari, Ashish Dutertre, Bruno |
| Copyright Year | 2013 |
| Description | We present formal models and results of formal analysis of two different asynchronous systems. We first examine a mid-value select module that merges the signals coming from three different sensors that are each asynchronously sampling the same input signal. We then consider the phase locking protocol proposed by Daly, Hopkins, and McKenna. This protocol is designed to keep a set of non-faulty (asynchronous) clocks phase locked even in the presence of Byzantine-faulty clocks on the network. All models and verifications have been developed using the SAL model checking tools and the Hybrid SAL abstractor. |
| File Size | 291730 |
| Page Count | 24 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20130010380 |
| Archival Resource Key | ark:/13960/t0jt4nr1r |
| Language | English |
| Publisher Date | 2013-02-01 |
| Access Restriction | Open |
| Subject Keyword | Phase Locked Systems Protocol Computers Sampling Time Synchronization Clocks Synchronism Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
