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
  • 1
    facet.materialart.
    Unknown
    An approach to operating system testing (1984)
    In:  Other Sources
    Details
    Publication Date: 2011-08-19
    Description: To ensure the reliability and performance of a new system, it must be verified or validated in some manner. Currently, testing is the only resonable technique available for doing this. Part of this testing process is the high level system test. System testing is considered with respect to operating systems and in particular UNIX. This consideration results in the development and presentation of a good method for performing the system test. The method includes derivations from the system specifications and ideas for management of the system testing project. Results of applying the method to the IBM System/9000 XENIX operating system test and the development of a UNIX test suite are presented.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA. Goddard Space Flight Center Proceedings of the Ninth Annual Software Engineering Workshop; p 136-167
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 2
    facet.materialart.
    Unknown
    PERFORMANCE OF A SUPERSONIC RAMP-TYPE SIDE INLET WITH RAM-SCOOP THROAT BLEED AND VARYING FUSELAGE BOUNDARY-LAYER REMOVAL MACH NUMBER RANGE 1.5 TO 2.0 (1957)
    In:  CASI
    Details
    Publication Date: 2019-05-11
    Description: Performance of supersonic ramp-type side inlet with ram-scoop throat bleed and varying fuselage boundary layer removal at low supersonic speeds
    Keywords: AIRCRAFT
    Type: NACA-RM-E56I26
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 3
    facet.materialart.
    Unknown
    The embedded operating system project (1985)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: The design and construction of embedded operating systems for real-time advanced aerospace applications was investigated. The applications require reliable operating system support that must accommodate computer networks. Problems that arise in the construction of such operating systems, reconfiguration, consistency and recovery in a distributed system, and the issues of real-time processing are reported. A thesis that provides theoretical foundations for the use of atomic actions to support fault tolerance and data consistency in real-time object-based system is included. The following items are addressed: (1) atomic actions and fault-tolerance issues; (2) operating system structure; (3) program development; (4) a reliable compiler for path Pascal; and (5) mediators, a mechanism for scheduling distributed system processes.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA-CR-176280 , NAS 1.26:176280
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 4
    facet.materialart.
    Unknown
    SAGA: A project to automate the management of software production systems (1983)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: The current work in progress for the SAGA project are described. The highlights of this research are: a parser independent SAGA editor, design for the screen editing facilities of the editor, delivery to NASA of release 1 of Olorin, the SAGA parser generator, personal workstation environment research, release 1 of the SAGA symbol table manager, delta generation in SAGA, requirements for a proof management system, documentation for and testing of the cyber pascal make prototype, a prototype cyber-based slicing facility, a June 1984 demonstration plan, SAGA utility programs, summary of UNIX software engineering support, and theorem prover review.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA-CR-173206 , NAS 1.26:173206
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 5
    facet.materialart.
    Unknown
    The embedded operating system project (1984)
    In:  CASI
    Details
    Publication Date: 2019-06-28
    Description: This progress report describes research towards the design and construction of embedded operating systems for real-time advanced aerospace applications. The applications concerned require reliable operating system support that must accommodate networks of computers. The report addresses the problems of constructing such operating systems, the communications media, reconfiguration, consistency and recovery in a distributed system, and the issues of realtime processing. A discussion is included on suitable theoretical foundations for the use of atomic actions to support fault tolerance and data consistency in real-time object-based systems. In particular, this report addresses: atomic actions, fault tolerance, operating system structure, program development, reliability and availability, and networking issues. This document reports the status of various experiments designed and conducted to investigate embedded operating system design issues.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA-CR-173438 , NAS 1.26:173438
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 6
    facet.materialart.
    Unknown
    Measurement of XB-70 propulsion performance incorporating the gas generator method. (1969)
    In:  Other Sources
    Details
    Publication Date: 2019-07-13
    Description: Propulsion performance of XB-70A aircraft calculated by gas generator method
    Keywords: AIRCRAFT
    Type: AIAA PAPER 68-594 , ; ADEMIE DES SCIENCES|AMERICAN INST. OF AERONAUTICS AND ASTRONAUTICS, JOINT PROPULSION SPECIALIST CONFERENCE; Jun 10, 1968 - Jun 14, 1968; CLEVELAND, OHIO
    Format: text
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 7
    facet.materialart.
    Unknown
    EOS: A project to investigate the design and construction of real-time distributed embedded operating systems (1986)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: The EOS project is investigating the design and construction of a family of real-time distributed embedded operating systems for reliable, distributed aerospace applications. Using the real-time programming techniques developed in co-operation with NASA in earlier research, the project staff is building a kernel for a multiple processor networked system. The first six months of the grant included a study of scheduling in an object-oriented system, the design philosophy of the kernel, and the architectural overview of the operating system. In this report, the operating system and kernel concepts are described. An environment for the experiments has been built and several of the key concepts of the system have been prototyped. The kernel and operating system is intended to support future experimental studies in multiprocessing, load-balancing, routing, software fault-tolerance, distributed data base design, and real-time processing.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA-CR-179874 , NAS 1.26:179874
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 8
    facet.materialart.
    Unknown
    SAGA: A project to automate the management of software production systems (1984)
    In:  CASI
    Details
    Publication Date: 2019-07-13
    Description: The project to automate the management of software production systems is described. The SAGA system is a software environment that is designed to support most of the software development activities that occur in a software lifecycle. The system can be configured to support specific software development applications using given programming languages, tools, and methodologies. Meta-tools are provided to ease configuration. Several major components of the SAGA system are completed to prototype form. The construction methods are described.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: NASA-CR-174017 , NAS 1.26:174017
    Format: application/pdf
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    NASA TECHNICAL REPORTS
  • 9
    facet.materialart.
    Unknown
    Error recovery in asynchronous systems (1986)
    In:  Other Sources
    Details
    Publication Date: 2019-07-12
    Description: Techniques for structuring forward error recovery measures in asynchronous systems are proposed, and recent ideas of atomic actions are generalized so as to support fault-tolerant interactions between processes. In particular, the proposal generalizes the form of simple recovery facilities supported by nested atomic actions in which the exception mechanisms only permit backward error recovery. It allows for construction of systems employing both forward and backward error recovery and thus allows for exploitation of the complementary benefits of the two schemes. Backward recovery, forward recovery, and normal processing activities can occur concurrently within the organization proposed.
    Keywords: COMPUTER PROGRAMMING AND SOFTWARE
    Type: IEEE Transactions on Software Engineering (ISSN 0098-5589); SE-12; 811-826
    Format: text
    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...