Search NASA⌕ Search

SEARCH · Search NASA

Results for “Automated Functional Testing”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 145 records · Page 8

Where is the Human in the Loop? Human Factors Analysis of Extended Visual Line of Sight Unmanned Aerial System Operations within a Remote Operations Environment

Many envisioned technological and conceptual innovations focus on allocating more functions to automation, relegating the human as an afterthought if not a nuisance. Yet, until complete autonomy is realized, the human will remain “in the loop”. The National Aeronautics and Space Administration is supporting research for the development and maturation of automated technologies and architectures for the future of advanced air mobility. Standing up a remote operations center used to control, manage, and monitor multiple highly automated vehicles is an important step towards realizing the advanced air mobility vision. At the National Aeronautics and Space Administration’s Langley Research Center, a remote operation center exists and has been tested using humans piloting simulated vehicles. In this paper, we explore the human element within live flight operations that rely on increasingly automated technologies. Four ground control station operators performed multiple live flight operations. We employed a naturalistic approach and relied on qualitative data such as interviews and discussions with subject matter experts to help facilitate discovery. The present work evaluates the functions that the human and the automation had during the live operations, lists psychological constructs that may have promoted or reduced task performance, and provides recommendations on design of the remote operations environment and training of future ground control station operators.

Advanced Air Mobility↗

Automated solar-cell-array assembly machine

Continuous-feeding machine automatically bonds solar cells to printed-circuit substrate. In completed machine, cells move to test station where electrical characteristics could be checked. If performance of cell is below specifications, that cell is marked and removed. All machine functions are synchronized by electronics located within unit. It may help to lower costs in future solar-cell production.

Costogue, E. N.↗

Testing of Advanced Capabilities to Enable In-time Safety Management and Assurance for Future Flight Operations

In order to refine an initial Concept of Operations, explore Concepts of Use, and expose/validate requirements for future In-Time Aviation Safety Management Systems (IASMS), testing architectures were created, along with a set of capabilities and underlying information exchange protocols. These systems were conceived and developed based on hazards associated with two envisioned urban area flight domains: (1) highly autonomous small uncrewed aerial systems (sUAS) operating at low altitudes, and (2) highly autonomous air taxis. The initial scope of this development is described in [1]; this report provides an update, focusing on the subsequent developments and test activities. As stated in [1], it is important to note that there are many capabilities already in use by the industry (or soon to be in use) that will play critical roles in future IASMS designs. Those reported here were developed to address a gap in the current state-of-the-art regarding specific hazards/risks, and/or to allow for investigation of the interplay between and across hazard types — particularly regarding how overall safety risk can be reduced or managed effectively. Results of testing and development activities are organized by the operational phase wherein a particular capability would be employed (i.e., preflight, in-flight, and post-flight/off-line). Pre-flight: A set of capabilities were developed to help mitigate safety risk prior to flight (e.g., during flight and mission planning). Results of testing summarize (1) validation activities to raise the Technology Readiness Level (TRL) and (2) evaluation activities where the capabilities were applied to flight/mission planning procedures and used by operators/pilots. For the latter, flight plans were automatically assessed, and operators/pilots were notified of hazardous flight segments so as to enable adjustment of the flight plan and re-evaluation, and/or to better inform go/no-go decisions. Capabilities addressed hazards associated with power consumption, third-party risk, wind, navigation system performance, radiofrequency interference, and proximity to geo-spatial threats (e.g., buildings, trees, and no-fly zones). In-flight: Flight experiments tested capabilities that detect and respond to hazards encountered during flight. In the first series, safety hazards were monitored and assessed onboard, and system-generated mitigation maneuvers were recorded (but not acted upon by the vehicle). In the second series, mitigation maneuver commands directed the aircraft in response to safety hazards (i.e., auto-mitigation). The sUAS used for testing is described in full, as is the test architecture, which included commercial avionics, research avionics, and onboard software designed to detect, assess, and respond to hazards. The onboard system was designed as a run-time assurance framework, consistent with [2] and supportive of both supervisory and automated modes. The primary functions included: real-time risk assessment (RTRA), auto-pilot monitoring, constraint monitoring, and contingency select/triggering. RTRA performs integrated risk assessment considering data from several hazard-related monitors (e.g., battery, motors, navigation, communications, population density, and loss-of-control). Post-flight/off-line: Data monitored and recorded during flights can enable IASMS capabilities that execute after flights have completed (or “off-line”). These include: (1) the ability to identify anomalies and trends that may only be observable when comparing data spanning a number of similar flights; (2) the ability to update and validate pre-flight and in-flight capabilities and any underlying models to improve their performance; (3) the ability to report anomalies/off-nominals that may indicate design changes or maintenance actions are needed; and (4) the ability for humans involved in operations to report safety-relevant observations to help in understanding the flight data and/or the operational context of a flight. Progress on three such capabilities is summarized; the first investigates anomaly detection given a limited set of flight logs and applies an approach previously used for space operations. The second explores what could be identified using a larger set of flight logs, including from web-based forums where flight logs are posted by sUAS autopilot users. The third creates a new means of collecting information on UAS incidents and accidents via the Aviation Safety Reporting System (ASRS).

sUAS↗

Development of an Inflatable Airlock for a Deep Space Gateway

Inflatable structures technology utilizes high-strength fabric materials and internal pressure to create a stiffened pressure vessel that can replace traditional metallic primary structure in a habitable spacecraft. The flexibility of fabric structures allows them to be compactly stowed for launch and expanded in space, providing significant launch volume savings. The unique construction and design flexibility of these structures can be customized for a variety of uses in space including landing bags, decelerators, long duration in-space and planetary surface habitats, and even airlocks. An airlock is often a required component of a crewed spacecraft to allow for maintenance and human exploration outside of the vehicle. Airlock designs in use today rely on complex hatches and seals connected by metallic walls. Recent developments towards the design of an inflatable airlock structure show feasibility and a significant launch volume savings over a traditional metallic design. This paper will provide a high-level summary of these projects and the current state-of-the-art in inflatable airlock development with additional references and detail about previous and on-going research, providing guidance for the design of a softgoods airlock system. The use of inflatables in space has been in development since the 1960’s for both habitats and airlocks. The first ever EVA was conducted by the USSR in 1965 using an inflatable airlock known as the Volga. This airlock was attached to the Voskhod 2 spacecraft and turned the vehicle into a dual chamber airlock. The airlock was successfully deployed, used and jettisoned after Alexey Leonov’s historic spacewalk. Additional work on human-rated inflatable structures was not continued until the late 1990’s when NASA-JSC led an effort to demonstrate these structures as feasible long-term pressurized elements with the TransHab project. The technology developed and pioneered during this project led to multiple patents and proven feasibility that inflatables could be used for large habitable structures. Following TransHab, Bigelow Aerospace continued the development of inflatable structures with technical support from NASA. This partnership eventually led to the successful flight certification, launch, attachment and deployment of the Bigelow Expandable Activities Module (BEAM) on the ISS in 2016. Inflatable and expandable airlock structures have undergone various detailed feasibility studies and testing for over 15 years, most notably with the Advanced Inflatable Airlock (AIA), Dual-Chamber Hybrid Inflatable Suitlock (DCIS), Minimalistic Advanced Soft Hatch (MASH), and Lightweight External Inflatable Airlock (LEIA). During this time, full-scale articles have been built and pressure-tested, and mock-ups and demonstrators have been constructed and evaluated. During the 2001-2003 timeframe, the AIA concept was matured through requirements development, conceptual design, subscale and full-scale engineering breadboards subjecting various test articles to deployment and pressure testing up to four times operating pressure. These tests proved the feasibility of successful deployment and structural integrity of an inflatable crewlock. Additional testing was performed in the ensuing years, as funding permitted, to further refine additional structural and deployment concepts and to understand the EVA crewmember interfaces, hatches and EVA support equipment interfaces that would be required for a fully functioning airlock. This work resulted in a refinement of the structural requirements and an accounting of the systems needed in an inflatable airlock. In 2014, the MASH project developed an ultra-lightweight airlock concept with a fabric hatch that utilized a unique pressure vessel shape to minimize structural loads around a linear seal. The concept uses an automated zipper-like seal that allows for crew egress/ingress. Most of the development work on the project thus far has focused on the design, analysis and testing of the primary structure and the zipper-like seal system is in the preliminary stages of development with a successful proof-of-concept test. As part of the 2017 LEIA effort, studies were conducted on EVA crewmember interfaces on the inside of an inflatable airlock. These efforts included the design of an internal secondary structure and placement of handholds and foot restraints to enable hatch opening, closing and translation through the airlock. Structural design, analysis and testing was completed on several secondary structure candidates. Crew interface testing was also completed using an inflatable crewlock mockup and the JSC Active Response Gravity Offload System (ARGOS) to simulate the movement of an EVA crewmember through an inflatable crewlock in microgravity. The results of these tests helped demonstrate the feasibility of utilizing an inflatable structure as an airlock and informed the required volume, hatch size, and configuration and location of translation aids for crewmembers in a microgravity crewlock. The ISS Quest airlock uses a dual-chamber design with isolated compartments known as the equipment-lock and the crewlock. The equipment-lock houses the Servicing, Performance and Checkout Equipment (SPCE) items (suit batteries, consumables, etc.) while the crewlock has limited internal hardware and is the nominally depressurized compartment during US EVAs. While inflatable dual chamber airlocks have been studied, the current state of the art emphasizes an inflatable crewlock-type structure attached to a rigid equipment-lock type or habitat structure. Since a large portion of the hardware in the equipment-lock are rigid components and connectors that are installed on the ground - and an inflatable structure does not achieve full structural capabilities until pressurized in space - a depressurized fabric structure cannot provide the capabilities of a full equipment-lock. The use of an inflatable as a crewlock, however, provides all the required capabilities for EVA operations in a small launch package that offers significant volume savings over a metallic crewlock. The functions of a traditional equipment lock, including the SPCE, could be provided by a spacecraft’s habitat module or node and not necessarily in a separate equipment lock. An inflatable crewlock would be attached to the vehicle and launched in a packed and compressed state, saving volume under the launch shroud and mass for the overall airlock element compared to a rigid crewlock. Work is currently underway to continue development of an inflatable airlock with a variety of focus areas including the consideration of crew-induced loads and interfaces, the design and development of an internal sub-structure to provide translation aids and restraints, the thermal considerations of a fabric shell depressurized during an EVA, the micrometeorite environment in deep space, and the packaging and deployment of an inflatable airlock.

Deep Space Exploration↗

Automation for System Safety Analysis

This presentation describes work to integrate a set of tools to support early model-based analysis of failures and hazards due to system-software interactions. The tools perform and assist analysts in the following tasks: 1) extract model parts from text for architecture and safety/hazard models; 2) combine the parts with library information to develop the models for visualization and analysis; 3) perform graph analysis and simulation to identify and evaluate possible paths from hazard sources to vulnerable entities and functions, in nominal and anomalous system-software configurations and scenarios; and 4) identify resulting candidate scenarios for software integration testing. There has been significant technical progress in model extraction from Orion program text sources, architecture model derivation (components and connections) and documentation of extraction sources. Models have been derived from Internal Interface Requirements Documents (IIRDs) and FMEA documents. Linguistic text processing is used to extract model parts and relationships, and the Aerospace Ontology also aids automated model development from the extracted information. Visualizations of these models assist analysts in requirements overview and in checking consistency and completeness.

Malin, Jane T.↗

Non-Contact EDDY Current Hole Eccentricity and Diameter Measurement

Precision holes are among the most critical features of a mechanical component. Deviations from permissible tolerances can impede operation and result in unexpected failure. We have developed an automated non-contact eddy current hole diameter and eccentricity measuring system. The operating principle is based on the eddy current lift-off effect, which is the coil impedance as a function of the distance between the coil and the test object. An absolute eddy current probe rotates in the hole. The impedance of each angular position is acquired and input to the computer for integration and analysis. The eccentricity of the hole is the profile of the impedance as a function of angular position as compared to a straight line, an ideal hole. The diameter of the hole is the sum of the diameter of the probe and twice the distance-calibrated impedance. An eddy current image is generated by integrating angular scans for a plurality of depths between the top and bottom to display the eccentricity profile. This system can also detect and image defects in the hole. The method for non-contact eddy current hole diameter and eccentricity measurement has been granted a patent by the U.S. Patent and Trademark Office.

Chern, E. James↗

International Space Station Urine Monitoring System Functional Integration and Science Testing

Exposure to microgravity during human spaceflight is required to be defined and understood as the human exploration of space requires longer duration missions. It is known that long term exposure to microgravity causes bone loss. Urine voids are capable of measuring the calcium and other metabolic byproducts in a constituent s urine. The International Space Station (ISS) Urine Monitoring System (UMS) is an automated urine collection device designed to collect urine, separate the urine and air, measure the void volume, and allow for syringe sampling. Accurate measuring and minimal cross contamination is essential to determine bone loss and the effectiveness of countermeasures. The ISS UMS provides minimal cross contamination (<0.7 ml urine) and has volume accuracy of +/-2% between 100 to 1000 ml urine voids.

Cibuzar, Branelle R.↗

International Space Station Urine Monitoring System Functional Integration and Science Testing

Exposure to microgravity during human spaceflight is required to be defined and understood as the human exploration of space requires longer duration missions. It is known that long term exposure to microgravity causes bone loss. Urine voids are capable of measuring the calcium and other metabolic byproducts in a constituent s urine. The International Space Station (ISS) Urine Monitoring System (UMS) is an automated urine collection device designed to collect urine, separate the urine and air, measure the void volume, and allow for syringe sampling. Accurate measuring and minimal cross contamination is essential to determine bone loss and the effectiveness of countermeasures. The ISS UMS provides minimal cross contamination (<0.7 ml urine) and has volume accuracy of +/-2% between 100 to 1000 ml urine voids.

Rodriguez, Branelle R.↗

Graphic Three-Axes Presentation of Residual Gas Analyzer Data

Residual gas analyzers (RGA) are commonly used to measure the composition of residual gases in thermal-vacuum test chambers. Measurements from RGA's are often used to identify and quantify outgassing contaminants from a test article during thermal-vacuum testing. RGA data is typically displayed as snapshots in time, showing instantaneous concentrations of ions from ionized residual gas molecules at different atomic masses. This ion concentration information can be interpreted to be representative of the composition of the residual gas in the chamber at the instant of analysis. Typically, test personnel are most interested in tracking the time history of changes in the composition of chamber residual gas to determine the relative cleanliness and the clean-up rate of the test article under vacuum. However, displays of instantaneous RGA data cannot provide test personnel with the preferred time history information. In order to gain an understanding of gas composition trends, a series of plots of individual data snapshots must be analyzed. This analysis is cumbersome and still does not provide a very satisfactory view of residual gas composition trends. A method was devised by the authors to present RCA data in a three-axis format, plotting Atomic Mass Unit (AMU), the Ionization Signal Response (ISR) as amps/torr as a function of AMU, and Time, to provide a clear graphic visualization of trends of changes in ISR with respect to time and AMU (representative of residual gas composition). This graphic visualization method provides a valuable analytical tool to interpret test article outgassing rates during thermal vacuum tests. Raw RGA data was extracted from a series of delimited ASCII files and then converted to a data array in a spreadsheet. Consequently, using the 3-D plotting functionality provided by the spreadsheet program, 3-D plots were produced. After devising the data format conversion process, the authors began developing a program to provide real-time 3-D plotting of RGA data. The intent of this program is to automate the RGA data acquisition process and to generate up-to-the-minute time history 3-D displays of stored RGA data (development of this program was not complete at the time of this writing). This paper provides a brief description of the data format conversion process and presents results from a recent test to illustrate the usefulness of this 3-D RGA data plotting technique.

Johnson, Kenneth R.↗

Vascular Patterning Analysis by VESGEN 2D/3D with Bioinformatics: Updates for Rodent Tissues

Fractally branching vascular systems are a complex physiological requirement shared by humans with all higher terrestrial life forms, including other vertebrates, insects, and higher land plants. Vascular trees, networks, and tree-network composites are therefore mapped and quantified by the VESsel GENeration Analysis (VESGEN) software according to weighted physiological vascular rules that include vessel connectivity, tapering and bifurcational branching. According to fluid dynamics, successful vascular transport depends upon a complex distributed system of highly regulated laminar flow. VESGEN has elucidated changes in vascular patterning resulting from inflammatory, developmental and other signaling pathways within numerous tissues of major model organisms important for Space Biology, especially for rodents. Important early stage regenerative opportunities have been identified by VESGEN vascular analysis for visual impairments in the human retina, and is currently being used for research into astronaut visual and ocular disorders associated with long duration missions. The VESGEN 2D software is a mature, automated, widely published capability for which beta testing and public release by NASA is planned for the upcoming year. Early-stage capabilities for VESGEN 3D analysis are under development for the rodent retina and intestine as prototype tissues. A prototype VESGEN 2D Bioinformatics software capability has also been developed to associate phenotypic changes in molecular expression with vascular structure and function. By new VESGEN bioinformatic innovations, expression patterns of the genetic, transcriptional, protein and other markers for regulatory molecules such as vascular endothelial growth factor (VEGF) and their receptors, often indicators of tissue oxygenation status, are co-localized with alterations in vascular pattern. Biomarkers are therefore mapped and quantified as information dimensions directly correlated with the spatial dimensions of a vascular pattern. Further important technology innovations by NASA include substantial image segmentation advances for more automated binary extraction of the grayscale vascular patterns, together with informative associated image quality assessments. Vascular mapping and quantification capabilities for the rodent retina and intestine are illustrated for VESGEN 2D, along with technology status reports on VESGEN 3D and Bioinformatic capabilities. Research partially supported by Ames Center Innovation Awards.

Parsons-Wingerter, P.↗

Trajectory Specification Applied to Terminal Airspace

Despite major efforts to automate air traffic control (ATC), it is still performed by humans today. The complexity and safety-criticality of ATC makes it very difficult to safely automate, but it must be automated to increase airspace capacity (the density of traffic that can be safely managed) and airport throughput (the number of arrivals and departures that an airport can safely handle in a given period of time) beyond what is possible with human controllers. This paper presents the Trajectory Specification (TS) concept, which can help to safely automate ATC. TS is a method of specifying aircraft trajectories such that the position at any given time in flight is restricted to a precisely defined bounding space, removing all ambiguity as to where the flight is allowed to be. The bounding space or volume is determined by tolerances relative to a reference trajectory (position as a function of time). The tolerances are dynamic and are based on the aircraft navigation capabilities and the traffic situation. The tolerances can be a piecewise linear function of time or distance along the route, allowing the tolerances to vary as needed, typically increasing with time for departures and decreasing for arrivals. A Trajectory Specification Language (TSL) is proposed for communicating trajectories from aircraft to ATC as requests and from ATC to aircraft as assignments. The TS concept requires a new generation of airborne Flight Management Systems (FMS) that understand the TSL and can fly the assigned trajectories, but this paper focuses on the ATC functions and the prototype ATC algorithms and software that were developed to test the TS concept. Assuming conformance, TS can guarantee safe separation for an arbitrary length of time even in the event of an ATC system or communication outage. It can help to achieve the high level of safety and reliability needed for ATC automation, and it can also reduce the reliance on ATC backup systems for tactical conflict detection and resolution during normal operation. TS can be applied to any controlled airspace, including enroute, terminal, and urban airspace, but this paper presents algorithms and software for arrival spacing and conflict detection and resolution in the terminal airspace serving a major airport. In a fast-time simulation of a full day of traffic in a major terminal airspace, all conflicts were resolved in near real time, demonstrating the computational feasibility and the preliminary operational feasibility of the TS concept. This paper is a compilation of previous papers, and it adds significant information that was omitted from those papers due to length limitations. It also updates some of the results of those earlier papers due to algorithm refinements and corrections of minor software errors.

air traffic control, trajectory↗

Airspace Automation Flight Tabletop Exercise

Interconnections of new systems are needed for airspace automation capabilities required in Urban Air Mobility (UAM). FAA Concept of Operations (CONOPS) V1.0 shows Provider of Services for UAM (PSU) at the center of the notional architecture; however, the functional role of the PSU in data exchange and the path to get there is unclear. In partnership with Wisk Aero, Avision, ANRA, Collins Aerospace, OneSky, SkyGrid, and AURA, the NASA National Campaign held discussions and tabletop exercises to test the functional allocations and work flows between an aircraft operator, airspace providers, Command and Control Communication Service Providers (C2CSP), and FAA air traffic in a real-world scenario. The exercise included preplanning and execution of a passenger mission with nominal, contingency, and conflict management scenarios for initial UAM operations. This working paper describes initial conditions for the flight tabletop exercise, exercise summaries, lessons learned, and recommendations for future work.

National Campaign↗

Experimental testing using a remotely operated flap with a 2D high lift model

The problem of efficient wind tunnel testing for multi-element airfoils was first addressed by the author during a previous ASEE fellowship. A modern three element model with internal actuators to position a flap in two degrees of freedom was designed and later built. Some preliminary testing proved that the approach was viable. The purpose of this summer's work was to fully develop experimental methods including efficient data acquisition. The final goal is to develop dense data sets for both lift and drag measurements as a function of flap position for both take-off and landing configurations. The model has a span of 36 in. and chord of 18 in. and is currently being fitted for a 3 ft. x 4 ft. low speed wind tunnel. The flap was reworked to allow all pressure taps to function after initial tests showed two blocked ports. The serial method of obtaining pressures from the surface taps was found to be exceedingly slow so a new method using 12 pressure transducers and a 12 port parallel scanning valve were developed. A new automated data acquisition and control algorithm was developed using LabView software and a PC platform. Flow two-dimensionality is currently under investigation with boundary layer control by blowing; this was previously omitted for initial testing. By the end of the summer a detailed data set (uncorrected) consisting of lift coefficient versus flap position for the landing configuration should be available.

Landman, Drew↗

Advances in Domain Connectivity for Overset Grids Using the X-Rays Approach

Advances in automation and robustness of the X-rays approach to domain connectivity for overset grids are presented. Given the surface definition for each component that makes up a complex configuration, the determination of hole points with appropriate hole boundaries is automatically and efficiently performed. Improvements made to the original X-rays approach for identifying the minimum hole include an automated closure scheme for hole-cutters with open boundaries, automatic determination of grid points to be considered for blanking by each hole-cutter, and an adaptive X-ray map to economically handle components in close proximity. Furthermore, an automated spatially varying offset of the hole boundary from the minimum hole is achieved using a dual wall-distance function and an orphan point removal iteration process. Results using the new scheme are presented for a number of static and relative motion test cases on a variety of aerospace applications.

Chan, William M.↗

Autonomous Real Time Requirements Tracing

One of the more challenging aspects of software development is the ability to verify and validate the functional software requirements dictated by the Software Requirements Specification (SRS) and the Software Detail Design (SDD). Insuring the software has achieved the intended requirements is the responsibility of the Software Quality team and the Software Test team. The utilization of Timeliner-TLX(sup TM) Auto- Procedures for relocating ground operations positions to ISS automated on-board operations has begun the transition that would be required for manned deep space missions with minimal crew requirements. This transition also moves the auto-procedures from the procedure realm into the flight software arena and as such the operational requirements and testing will be more structured and rigorous. The autoprocedures would be required to meet NASA software standards as specified in the Software Safety Standard (NASASTD- 8719), the Software Engineering Requirements (NPR 7150), the Software Assurance Standard (NASA-STD-8739) and also the Human Rating Requirements (NPR-8705). The Autonomous Fluid Transfer System (AFTS) test-bed utilizes the Timeliner-TLX(sup TM) Language for development of autonomous command and control software. The Timeliner-TLX(sup TM) system has the unique feature of providing the current line of the statement in execution during real-time execution of the software. The feature of execution line number internal reporting unlocks the capability of monitoring the execution autonomously by use of a companion Timeliner-TLX(sup TM) sequence as the line number reporting is embedded inside the Timeliner-TLX(sup TM) execution engine. This negates I/O processing of this type data as the line number status of executing sequences is built-in as a function reference. This paper will outline the design and capabilities of the AFTS Autonomous Requirements Tracker, which traces and logs SRS requirements as they are being met during real-time execution of the targeted system. It is envisioned that real time requirements tracing will greatly assist the movement of autoprocedures to flight software enhancing the software assurance of auto-procedures and also their acceptance as reliable commanders.

Plattsmier, George↗

Testing First-Order Logic Axioms in AutoCert

AutoCert [2] is a formal verification tool for machine generated code in safety critical domains, such as aerospace control code generated from MathWorks Real-Time Workshop. AutoCert uses Automated Theorem Provers (ATPs) [5] based on First-Order Logic (FOL) to formally verify safety and functional correctness properties of the code. These ATPs try to build proofs based on user provided domain-specific axioms, which can be arbitrary First-Order Formulas (FOFs). These axioms are the most crucial part of the trusted base, since proofs can be submitted to a proof checker removing the need to trust the prover and AutoCert itself plays the part of checking the code generator. However, formulating axioms correctly (i.e. precisely as the user had really intended) is non-trivial in practice. The challenge of axiomatization arise from several dimensions. First, the domain knowledge has its own complexity. AutoCert has been used to verify mathematical requirements on navigation software that carries out various geometric coordinate transformations involving matrices and quaternions. Axiomatic theories for such constructs are complex enough that mistakes are not uncommon. Second, adjusting axioms for ATPs can add even more complexity. The axioms frequently need to be modified in order to have them in a form suitable for use with ATPs. Such modifications tend to obscure the axioms further. Thirdly, speculating validity of the axioms from the output of existing ATPs is very hard since theorem provers typically do not give any examples or counterexamples.

Ahn, Ki Yung↗

Autonomous Real Time Requirements Tracing

One of the more challenging aspects of software development is the ability to verify and validate the functional software requirements dictated by the Software Requirements Specification (SRS) and the Software Detail Design (SDD). Insuring the software has achieved the intended requirements is the responsibility of the Software Quality team and the Software Test team. The utilization of Timeliner-TLX(sup TM) Auto-Procedures for relocating ground operations positions to ISS automated on-board operations has begun the transition that would be required for manned deep space missions with minimal crew requirements. This transition also moves the auto-procedures from the procedure realm into the flight software arena and as such the operational requirements and testing will be more structured and rigorous. The autoprocedures would be required to meet NASA software standards as specified in the Software Safety Standard (NASASTD- 8719), the Software Engineering Requirements (NPR 7150), the Software Assurance Standard (NASA-STD-8739) and also the Human Rating Requirements (NPR-8705). The Autonomous Fluid Transfer System (AFTS) test-bed utilizes the Timeliner-TLX(sup TM) Language for development of autonomous command and control software. The Timeliner- TLX(sup TM) system has the unique feature of providing the current line of the statement in execution during real-time execution of the software. The feature of execution line number internal reporting unlocks the capability of monitoring the execution autonomously by use of a companion Timeliner-TLX(sup TM) sequence as the line number reporting is embedded inside the Timeliner-TLX(sup TM) execution engine. This negates I/O processing of this type data as the line number status of executing sequences is built-in as a function reference. This paper will outline the design and capabilities of the AFTS Autonomous Requirements Tracker, which traces and logs SRS requirements as they are being met during real-time execution of the targeted system. It is envisioned that real time requirements tracing will greatly assist the movement of autoprocedures to flight software enhancing the software assurance of auto-procedures and also their acceptance as reliable commanders

Plattsmier, George I.↗

Optical studies in the holographic ground station

The Holographic Group System (HGS) Facility in rooms 22 & 123, Building 4708 has been developed to provide for ground based research in determining pre-flight parameters and analyzing the results from space experiments. The University of Alabama, Huntsville (UAH) has researched the analysis aspects of the HGS and reports their findings here. Some of the results presented here also occur in the Facility Operating Procedure (FOP), which contains instructions for power up, operation, and powerdown of the Fluid Experiment System (FES) Holographic Ground System (HGS) Test Facility for the purpose of optically recording fluid and/or crystal behavior in a test article during ground based testing through the construction of holograms and recording of videotape. The alignment of the optical bench components, holographic reconstruction and and microscopy alignment sections were also included in the document for continuity even though they are not used until after optical recording of the test article) setup of support subsystems and the Automated Holography System (AHS) computer. The HGS provides optical recording and monitoring during GCEL runs or development testing of potential FES flight hardware or software. This recording/monitoring can be via 70mm holographic film, standard videotape, or digitized images on computer disk. All optical bench functions necessary to construct holograms will be under the control of the AHS personal computer (PC). These include type of exposure, time intervals between exposures, exposure length, film frame identification, film advancement, film platen evacuation and repressurization, light source diffuser introduction, and control of realtime video monitoring. The completed sequence of hologram types (single exposure, diffuse double exposure, etc.) and their time of occurrence can be displayed, printed, or stored on floppy disk posttest for the user.

Workman, Gary L.↗