ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1990-1994  (2)
  • 1994  (2)
Collection
Keywords
Years
  • 1990-1994  (2)
Year
  • 1
    facet.materialart.
    Unknown
    Epistemology, software engineering and formal methods (1994)
    In:  CASI
    Details
    Publication Date: 2013-08-31
    Description: One of the most basic questions anyone can ask is, 'How do I know that what I think I know is true?' The study of this question is called epistemology. Traditionally, epistemology has been considered to be of legitimate interest only to philosophers, theologians, and three year old children who respond to every statement by asking, 'Why?' Software engineers need to be interested in the subject, however, because a lack of sufficient understanding of epistemology contributes to many of the current problems in the field.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: The Role of Computers in Research and Development at Langley Research Center; p 570-595
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 2
    facet.materialart.
    Unknown
    Formal design and verification of a reliable computing platform for real-time control (phase 3 results) (1994)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: In this paper the design and formal verification of the lower levels of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications, are presented. The RCP uses NMR-style redundancy to mask faults and internal majority voting to flush the effects of transient faults. Two new layers of the RCP hierarchy are introduced: the Minimal Voting refinement (DA_minv) of the Distributed Asynchronous (DA) model and the Local Executive (LE) Model. Both the DA_minv model and the LE model are specified formally and have been verified using the Ehdm verification system. All specifications and proofs are available electronically via the Internet using anonymous FTP or World Wide Web (WWW) access.
    Keywords: DOCUMENTATION AND INFORMATION SCIENCE
    Type: NASA-TM-109140 , NAS 1.15:109140
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...