Refine Your Search

Search Results

Viewing 1 to 6 of 6
Training / Education

Introduction to the Secure Microkernel, seL4

Security continues to be an ever-growing concern in more and more design spaces. There are daily articles about security breaches and there is a need for much higher security through the entire system stack. Thorough testing of systems can lead to stronger security in systems, but testing can only expose so many vulnerabilities. Formal methods is another solution that ensures specific behaviors will not occur. seL4 is the first formally proven microkernel and it is open-source. This makes it a great solution for systems that need strong security.
Magazine

Tech Briefs: October 2018

2018-10-01
Detecting Drones with Doppler-Based Radar Digital Transformation for a Connected Enterprise Using Electromagnetic Brakes to Keep Thrust Reversers in Place Thermostatic Solutions for Temperature Control Applications Bringing RF into the Embedded World: It's Time Compact Power Amplifier Solution for Electronic Warfare Burner Rig Testing of A500® C/SiC Test method simulates, in a laboratory environment, the service conditions ceramic-matrix composite material would experience in turbine engine exhaust applications. Space Debris Orbit and Attitude Prediction for Enhanced and Efficient Space Situational Awareness Developing accurate models to predict the behavior of manmade debris in space could be the key to preventing collisions with satellites. Maintaining Enterprise Resiliency Via Kaleidoscopic Adaption and Transformation of Software Services (MEERKATS) Implementing new technologies to create a more resilient, secure cloud computing environment.
Magazine

Tech Briefs: June 2018

2018-06-01
Beyond VMEbus - A New Concept Taming the Thermal Behavior of Solid-State Military Lasers Solving the Challenge of Thermal Design in Aerospace Electronics Improving Component Life in Abrasive, Corrosive Aerospace Environments New Pulse Analysis Techniques for Radar and EW Validation of Ubiquitous 2D Radar Converting Existing Copper Wire Firing System to a Fiber-Optically Controlled Firing System for Electromagnetic Pulsed Power Experiments Technological improvements make pulsed-power experiments with gunpowder- or air-driven guns safer. Low-Cost Ground Sensor Network for Intrusion Detection COTS-based system could provide increased level of security with less manpower. In-Network Processing on Low-Cost IoT Nodes for Maritime Surveillance Commercially available system of distributed wireless sensors could increase the Navy's intelligence collection footprint.
Technical Paper

Experimental Stress/Strain Analysis of a Standardized Sensor Platform for a C-130 Aircraft

2005-10-03
2005-01-3426
Project Oculus is an in-flight deployable mechanical arm/pod system that will accommodate 500 pounds of sensor payload, developed for a C-130 military aircraft. The system is designed for use in counter narco-terrorism and surveillance applications by the Department of Defense and the National Guard [1]. A prototype of the system has been built and is in the testing/analysis phase. The purpose of this study was to analyze the actual stresses and strains in the critical areas found using previous Finite Element (FE) simulations and to ensure that acceptable safety requirements have been met. The system components tested will be redesigned, tested, and reconstructed in the case of unacceptable safety factors or if more reliable methods can be implemented. The system was built to be deployed and retracted in flight, to avoid causing any problems in take off and landing.
Standard

AIRBORNE RECORDER FILE FORMAT

1992-01-01
CURRENT
ARINC657
This document defines the characteristics necessary to standardize the airborne recorder download file format in order to facilitate data import, transcription, and exchange. A standardized data format will reduce the variety of readout equipment required for airborne recorder data transcription. This document defines the detailed architecture of the Recorder Standard Output (RSO) file. The architecture is a tagged file structure within which many different files and their formats can be supported. The structure is necessary to support newer recording requirements for flight data, data link, audio, and image recording. This structure is intended for use with all civil recorders and should support use with military recorders.
X