Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems

This paper is concerned with the development of reliable real-time systems for use in high integrity applications. It advocates the use of diverse replicated channels, but does not require the dependencies between the channels to be evaluated. Rather it develops and extends the approach of Little wood and Rush by (for general systems) by investigating a two channel system in which one channel, A, is produced to a high level of reliability (i.e. has a very low failure rate), while the other, B, employs various forms of static analysis to sustain an argument that it is perfect (i.e. it will never miss a deadline). The first channel is fully functional, the second contains a more restricted computational model and contains only the critical computations. Potential dependencies between the channels (and their verification) are evaluated in terms of aleatory and epistemic uncertainty. At the aleatory level the events ''A fails" and ''B is imperfect" are independent. Moreover, unlike the general case, independence at the epistemic level is also proposed for common forms of implementation and analysis for real-time systems and their temporal requirements (deadlines). As a result, a systematic approach is advocated that can be applied in a real engineering context to produce highly reliable real-time systems, and to support numerical claims about the level of reliability achieved

The low frequency cutoff of ELF emissions

Extremely low and very low frequency radio noises observed by satellites in ionospher

The low frequency cutoff of ELF emissions Progress report, May 1968

Low frequency cutoff of extremely low radio frequency emission

New class of thermosetting plastics has improved strength, thermal and chemical stability

New class of thermosetting plastics has high hydrocarbon content, high stiffness, thermal stability, humidity resistance, and workability in the precured state. It is designated cyclized polydiene urethane, and is applicable as matrices to prepare chemically stable ablative materials for rocket nose cones of nozzles

VIoLET: A Large-scale Virtual Environment for Internet of Things

IoT deployments have been growing manifold, encompassing sensors, networks, edge, fog and cloud resources. Despite the intense interest from researchers and practitioners, most do not have access to large-scale IoT testbeds for validation. Simulation environments that allow analytical modeling are a poor substitute for evaluating software platforms or application workloads in realistic computing environments. Here, we propose VIoLET, a virtual environment for defining and launching large-scale IoT deployments within cloud VMs. It offers a declarative model to specify container-based compute resources that match the performance of the native edge, fog and cloud devices using Docker. These can be inter-connected by complex topologies on which private/public networks, and bandwidth and latency rules are enforced. Users can configure synthetic sensors for data generation on these devices as well. We validate VIoLET for deployments with > 400 devices and > 1500 device-cores, and show that the virtual IoT environment closely matches the expected compute and network performance at modest costs. This fills an important gap between IoT simulators and real deployments.Comment: To appear in the Proceedings of the 24TH International European Conference On Parallel and Distributed Computing (EURO-PAR), August 27-31, 2018, Turin, Italy, europar2018.org. Selected as a Distinguished Paper for presentation at the Plenary Session of the conferenc

Investigation of resin systems for improved ablative materials Final report, 19 Jun. 1964 - 31 Jul. 1965

Resin systems investigated for improving ablative materials for use with fluorine-containing liquid propellant system

Mixing fuel particles for space combustion research using acoustics

Part of the microgravity science to be conducted aboard the Shuttle (STS) involves combustion using solids, particles, and liquid droplets. The central experimental facts needed for characterization of premixed quiescent particle cloud flames cannot be adequately established by normal gravity studies alone. The experimental results to date of acoustically mixing a prototypical particulate, lycopodium, in a 5 cm diameter by 75 cm long flame tube aboard a Learjet aircraft flying a 20 sec low gravity trajectory are described. Photographic and light detector instrumentation combine to measure and characterize particle cloud uniformity

Space station full-scale docking/berthing mechanisms development

One of the most critical operational functions for the space station is the orbital docking between the station and the STS orbiter. The program to design, fabricate, and test docking/berthing mechanisms for the space station is described. The design reflects space station overall requirements and consists of two mating docking mechanism halves. One half is designed for use on the shuttle orbiter and incorporates capture and energy attenuation systems using computer controlled electromechanical actuators and/or attenuators. The mating half incorporates a flexible feature to allow two degrees of freedom at the module-to-module interface of the space station pressurized habitat volumes. The design concepts developed for the prototype units may be used for the first space station flight hardware

Structural evaluation of candidate space shuttle thermal protection systems

The characteristics and development of a lightweight reusable thermal protection system for the space shuttle are discussed. The test articles consisted of metallic substrates with upper surfaces covered with all-silica, reusable, surface insulation material. The material is processed in the form of tiles. The external surfaces of the tiles are provided with a coating system which consists of a borosilicate coating with a silicon carbide emittance agent and impregnation with a hydrophobic agent. The finished tiles are attached to the metal substrate by adhesive bonding. Charts and graphs of the properties of the material are provided

Automated Nose Fairing Design-Ring and Skin Construction

Computer program for optimizing design of ring-stiffened sheet metal nose fairing