Time and space partition platform for safe and secure flight software.

There are a number of research and development activities that are exploring Time and Space Partition (TSP) to implement safe and secure flight software. This approach allows to execute different real-time applications with different levels of criticality in the same computer board. In order to do that, flight applications must be isolated from each other in the temporal and spatial domains. This paper presents the first results of a partitioning platform based on the Open Ravenscar Kernel (ORK+) and the XtratuM hypervisor. ORK+ is a small, reliable real-time kernel supporting the Ada Ravenscar Computational model that is central to the ASSERT development process. XtratuM supports multiple virtual machines, i.e. partitions, on a single computer and is being used in the Integrated Modular Avionics for Space study. ORK+ executes in an XtratuM partition enabling Ada applications to share the computer board with other applications.

Orbital space debris [microform] : hearing before the Subcommittee on Space Science and Applications of the Committee on Science, Space, and Technology, House of Representatives, One Hundredth Congress, second session, July 13, 1988.

"No. 112."

Environmental safety aspects of nuclear rocket flight operations : annual progress report : for Space Nuclear Propulsion Office, Atomic Energy Commission, National Aeronautics and Space Administration.

"Contract SNPC-6".

Federal research : SEMATECH's efforts to develop and transfer manufacturing technology : fact sheet for the Committee on Science, Space, and Technology, House of Representatives /

"B-236639"--P. 1.

From flying horse to man in the moon; a history of flight from it earliest beginnings to the conquest of space.

Mode of access: Internet.

Orbital dynamics of space vehicles.

Bibliography: p. 392-401.

CFD modelling of the fast pyrolysis of an in-flight cellulosic particle subjected to convective heat transfer

The pyrolysis of a freely moving cellulosic particle inside a 41.7mgs -1 source continuously fed fluid bed reactor subjected to convective heat transfer is modelled. The Lagrangian approach is adopted for the particle tracking inside the reactor, while the flow of the inert gas is treated with the standard Eulerian method for gases. The model incorporates the thermal degradation of cellulose to char with simultaneous evolution of gases and vapours from discrete cellulosic particles. The reaction kinetics is represented according to the Broido–Shafizadeh scheme. The convective heat transfer to the surface of the particle is solved by two means, namely the Ranz–Marshall correlation and the limit case of infinitely fast external heat transfer rates. The results from both approaches are compared and discussed. The effect of the different heat transfer rates on the discrete phase trajectory is also considered.