Download or read book The Evaluation of a Digital Hardware Voter monitor in an Aircraft Control System written by Harry W. Schreadley and published by . This book was released on 1977 with total page 178 pages. Available in PDF, EPUB and Kindle. Book excerpt: This report describes an evaluation and presents the test results of a Digital Hardware Voter/Monitor used as an input signal selector and fault detector when used in conjunction with an electro-hydraulic control system. The DHVM operated as intended by design although asynchronous operation caused the failure detection to be frequency dependent. A digital filter could be incorporated to reduce the frequency dependency of the failure detection circuitry. (Author).

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1972 with total page 1056 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1984 with total page 1294 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Technical Information Indexes written by United States. Naval Air Systems Command and published by . This book was released on 1975 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Aeronautical Engineering written by and published by . This book was released on 1979 with total page 708 pages. Available in PDF, EPUB and Kindle. Book excerpt: A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA).

Download or read book Realization of a Voter Monitor for a Digital Flight Control System written by Jesse E. Bush and published by . This book was released on 1976 with total page 148 pages. Available in PDF, EPUB and Kindle. Book excerpt: A software Voter/Monitor (V/M) system is designed and implemented. The V/M is an informational processing device which is to be used in a digital flight control system (DFCS). A DFCS is currently being developed to replace existing analogue flight control systems in selective military aircrafts. The V/M receives data over four separate input channels, and it performs a processing routine which (a) allows it to continually select one of the input channel data for routing over its single output channel; and (b) allows it to maintain a history of each input channel data for routing over its single output channel; and (b) allows it to maintain a history of each input channel performance and declare as defective any input channel from which it consistently receives 'bad' data. The V/M is implemented using the National Semiconductor IMP-16L Microcomputer. The V/M processing scheme uses input-input comparison monitoring. Software coding and hardware circuitry are designed. Additionally, a software test program is constructed. The V/M system testing is limited. The correct performance of the V/M system is illustrated under a static testing environment.

Download or read book NASA SP written by and published by . This book was released on 1984 with total page 510 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Realization of a Voter monitor for a Digital Flight Control System written by Jesse Edward Bush (CAPT, USAF.) and published by . This book was released on 1976 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Formal Techniques Modelling and Analysis of Timed and Fault Tolerant Systems written by Yassine Lakhnech and published by Springer Science & Business Media. This book was released on 2004-09-20 with total page 405 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the joint International Conferences Formal Modeling and Analysis of Timed Systems, FORMATS 2004, and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, held in Grenoble, France, in September 2004. The 24 revised full papers presented together with abstracts of 2 invited talks were carefully reviewed and selected from 70 submissions. Among the topics addressed are formal verification, voting systems, formal specification, dependable automation systems, model checking, timed automata, real-time testing, fault-tolerance protocols, fail-safe fault tolerance, real-time scheduling, satisfiability checking, symbolic model checking, stochastic hybrid systems, timed Petri nets, and event recording automata.

Download or read book National Union Catalog written by and published by . This book was released on 1980 with total page 1034 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Government Reports Announcements Index written by and published by . This book was released on 1977 with total page 816 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Voter monitor Development for a Digital Flight Control System written by Daniel Bernard Ahern (CAPT, USAF.) and published by . This book was released on 1975 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book A Collection of Technical Papers written by and published by . This book was released on 1977 with total page 628 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Model Checking Software written by Thomas Ball and published by Springer Science & Business Media. This book was released on 2003-04-28 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems.

Download or read book Computers Take Flight A History of NASA s Pioneering Digital Fly By Wire Project written by James E. Tomayko and published by . This book was released on 2000 with total page 210 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Safety Science Abstracts Journal written by and published by . This book was released on 1977 with total page 604 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Government Reports Annual Index written by and published by . This book was released on 1991 with total page 1654 pages. Available in PDF, EPUB and Kindle. Book excerpt: