Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website http://www.gpo.gov/fdsys; (3) the federal government Internet portal USA.gov; or (4) a web search conducted using a commercial search engine such as http://www.google.com.
Accession Number N20130010380
Title Modeling and Analysis of Asynchronous Systems Using SAL and Hybrid SAL.
Publication Date Feb 2013
Media Count 24p
Personal Author A. Tiwari B. Dutertre
Abstract 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.
Keywords Clocks
Phase locked systems
Protocol(Computers)
Sampling
Synchronism
Time synchronization


 
Source Agency National Aeronautics and Space Administration
NTIS Subject Category 62 - Computers, Control & Information Theory
Corporate Author National Aeronautics and Space Administration, Hampton, VA. Langley Research Center.
Document Type Technical report
Title Note N/A
NTIS Issue Number 1319
Contract Number NNL10AB32T

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader