NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Modeling and Analysis of Asynchronous Systems Using SAL and Hybrid SALWe 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.
Document ID
20130010380
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Tiwari, Ashish
(SRI International Corp. Menlo Park, CA, United States)
Dutertre, Bruno
(SRI International Corp. Menlo Park, CA, United States)
Date Acquired
August 27, 2013
Publication Date
February 1, 2013
Subject Category
Computer Systems
Report/Patent Number
NASA/CR-2013-217960
NF1676L-15891
Funding Number(s)
WBS: WBS 534723.02.02.07.30
CONTRACT_GRANT: NNL10AB32T
Distribution Limits
Public
Copyright
Public Use Permitted.
No Preview Available