SEARCH · Search NASA

Results for “realtime”

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.

SourceResearch connectionFrom yearThrough year

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

At least 199 records · Page 11

All sources NASA NTRS DOE OSTI

NASA NTRS2003

Using X-band Weather Radar Measurements to Monitor the Integrity of Digital Elevation Models for Synthetic Vision Systems

Synthetic Vision Systems (SVS) provide pilots with displays of stored geo-spatial data representing terrain, obstacles, and cultural features. As comprehensive validation is impractical, these databases typically have no quantifiable level of integrity. Further, updates to the databases may not be provided as changes occur. These issues limit the certification level and constrain the operational context of SVS for civil aviation. Previous work demonstrated the feasibility of using a realtime monitor to bound the integrity of Digital Elevation Models (DEMs) by using radar altimeter measurements during flight. This paper describes an extension of this concept to include X-band Weather Radar (WxR) measurements. This enables the monitor to detect additional classes of DEM errors and to reduce the exposure time associated with integrity threats. Feature extraction techniques are used along with a statistical assessment of similarity measures between the sensed and stored features that are detected. Recent flight-testing in the area around the Juneau, Alaska Airport (JNU) has resulted in a comprehensive set of sensor data that is being used to assess the feasibility of the proposed monitor technology. Initial results of this assessment are presented.

Young, Steve↗

NASA NTRS2003

Definition of International GPM GV Research Program

The Global Precipitation Measurement (GPM) Mission will consist of a constellation of rain-measuring satellites, the main member of which (the core satellite) will serve as the measurement reference to the other members of the constellation. The core satellite is being developed jointly by the National Aeronautics and Space Administration (NASA) and the newly-named Japan Aerospace Exploration Agency (JAXA -- previously NASDA) along with its government partner, the Communications Research Laboratory (CRL). The GPM mission was proposed as a follow-up mission to the Tropical Rainfall Measuring Mission (TRMM) by both NASA and NASDA based on the unparalleled scientific success of TRMM, and has recently been joined by the European Space Agency (ESA) via its formulation of the European GPM mission (i.e., EGPM). GPM is an ambitious mission designed to produce accurate and frequent global observations of precipitation (both rain and snow) made possible by replacing the TRMM satellite with the new core satellite carrying an advanced radar-radiometer system, and serving as the centerpiece for the constellation of some eight (8) additional satellites being provided through international cooperation. The core satellite is to be flown up to high latitudes (inclined some 65-70 degrees), and will carry a Ku/Ka-band, nadir-scanning, dual-frequency precipitation radar (DPR) that is being developed by JAXA and CRL, along with a large aperture, extended frequency-range, conically-scanning passive microwave radiometer being developed by NASA and its industrial partners. Each constellation satellite will also carry some type of multi-channel passive microwave radiometer (as well as a multi-beam Ka-band radar in the case of EGPM) whose rain estimates will be calibrated and referenced to those made by the core satellite, producing for the first time fully-global, continuous, and bias-free precipitation datasets. GPM data will be delivered in near-realtime, taking a major step toward the operational use of precipitation information for model initialization and data assimilation in a number of application areas such as hazardous weather forecasting, flood warning, fresh water resource assessment, and crop growth prediction. In addition, GPM data will complement the now-existing global temperature record, allowing for improved assessments of climate change, particularly those processes in which the global water cycle both forces and responds to climatic drifts in global temperature conditions. A foremost element of this international constellation mission is a parallel international ground validation (GV) network. This GV network is needed to determine uncertainties in the rain retrievals, critical for application of the retrieval information in weather and hydrometeorological modeling and climate diagnostics, as well as assurances that the satellite retrievals of surface rainfall are consistent with those actually measured at the surface. The key aspects of this network is that it must be worldwide and created through the GPM partnership process. Therefore the network will consist of a confederation of government agencies, academic organizations, private institutions, and individual scientists from a collection of nations who have initiated the process by gathering in Abingdon to develop the fundamentals of the international GPM GV research programme. Therefore in keeping with our responsibilities as the front-runners of the programme, the main objectives of this workshop are: (1) to present and share opinions on interests, perspectives, and concerns about GPM GV research; (2) to examine the conceptual and/or planned GPM GV site templates from NASA, NASDA, ESA, and other partners; (3) to define the main scientific objectives of the international GPM GV research programme; (4) to formulate a preliminary set of international GPM GV science and measurement requirements; and (5) to convene a Steering Committee to aid the organization of the GPM GV program, to document its science implementation plans, and to aid planning for follow-up GPM GV meetings.

Smith, Eric A.↗

NASA NTRS2003

NASA GPM GV Science Requirements

An important scientific objective of the NASA portion of the GPM Mission is to generate quantitatively-based error characterization information along with the rainrate retrievals emanating from the GPM constellation of satellites. These data must serve four main purposes: (1) they must be of sufficient quality, uniformity, and timeliness to govern the observation weighting schemes used in the data assimilation modules of numerical weather prediction models; (2) they must extend over that portion of the globe accessible by the GPM core satellite to which the NASA GV program is focused - (approx.65 degree inclination); (3) they must have sufficient specificity to enable detection of physically-formulated microphysical and meteorological weaknesses in the standard physical level 2 rainrate algorithms to be used in the GPM Precipitation Processing System (PPS), i.e., algorithms which will have evolved from the TRMM standard physical level 2 algorithms; and (4) they must support the use of physical error modeling as a primary validation tool and as the eventual replacement of the conventional GV approach of statistically intercomparing surface rainrates fiom ground and satellite measurements. This approach to ground validation research represents a paradigm shift vis-&-vis the program developed for the TRMM mission, which conducted ground validation largely as a statistical intercomparison process between raingauge-derived or radar-derived rainrates and the TRMM satellite rainrate retrievals -- long after the original satellite retrievals were archived. This approach has been able to quantify averaged rainrate differences between the satellite algorithms and the ground instruments, but has not been able to explain causes of algorithm failures or produce error information directly compatible with the cost functions of data assimilation schemes. These schemes require periodic and near-realtime bias uncertainty (i.e., global space-time distributed conditional accuracy of the retrieved rainrates) and local error covariance structure (i.e., global space-time distributed error correlation information for the local 4-dimensional space-time domain -- or in simpler terms, the matrix form of precision error). This can only be accomplished by establishing a network of high quality-heavily instrumented supersites selectively distributed at a few oceanic, continental, and coastal sites. Economics and pragmatics dictate that the network must be made up of a relatively small number of sites (6-8) created through international cooperation. This presentation will address some of the details of the methodology behind the error characterization approach, some proposed solutions for expanding site-developed error properties to regional scales, a data processing and communications concept that would enable rapid implementation of algorithm improvement by the algorithm developers, and the likely available options for developing the supersite network.

Smith, E.↗

NASA NTRS2003

Research on TRMM and GPM Through Collaboration Between JAXA & NASA

The Japan Aerospace Exploration Agency (JAXA) is conducting joint research with the Communications Research Laboratory (CRL) and the National Aeronautics and Space Administration (NASA) on a new constellation satellite observation project called Global Precipitation Measurement (GPM), the main satellite of which is planned for launch in 2008 by JAXA. This GPM project was proposed as a follow-up mission to the Tropical Rainfall Measuring Mission (TRMM) by both the Japanese and American sides based on the unparalleled scientific success of TRMM. A major reason for TRMM's success was the use of the worlds first spaceborne rain radar, the Precipitation Radar (PR) system developed by the National Space Development Agency of Japan (NASDA, now JAXA) and CRL. Measurements from this instrument have ushered in many new scientific findings and have opened a new era of precipitation measuring from space. GPM is an ambitious project which will produce accurate and frequent global observations of precipitation (both rain and snow) made possible by replacing TRMM with a new core satellite carrying an advanced radar-radiometer system, and serving as the centerpiece for a constellation of some eight (8) additional satellites being provided through international cooperation. The core satellite is to be flown up to high latitudes (inclined some 65-70 degrees), and will carry a dual-frequency precipitation radar (DPR) that will be newly developed by JAXA and CRL, along with a large aperture, extended frequency-range passive microwave radiometer being provided by NASA. Each constellation satellite will also carry some type of multi-channel passive microwave radiometer whose rain estimates will be calibrated and referenced to those made by the core satellite, producing for the first time fully-global, continuous, and bias-free precipitation datasets. GPM data will be delivered in near-realtime, taking a major step toward the operational use of precipitation information for model initialization and data assimilation in a number of application areas such as hazardous weather forecasting, flood warning, fresh water resource assessment, and crop growth prediction. In addition, GPM data will complement the now-existing global temperature record, allowing for improved assessments of climate change, particularly those processes in which the global water cycle both forces and responds to climatic drifts in global temperature conditions.

Smith, Eric A.↗

NASA NTRS2004

Automated Rendezvous and Capture System Development and Simulation for NASA

The United States does not have an Automated Rendezvous and Capture Docking (AR&C) capability and is reliant on manned control for rendezvous and docking of orbiting spacecraft. T h i s reliance on the labor intensive manned interface for control of rendezvous and docking vehicles has a significant impact on the cost of the operation of the International Space Station (ISS) and precludes the use of any U.S. expendable launch capabilities for Space Station resupply. The Marshall Space Flight Center (MSFC) has conducted pioneering research in the development of an automated rendezvous and capture (or docking) (AR&C) system for U.S. space vehicles. This A M C system was tested extensively using hardware-in-the-loop simulations in the Flight Robotics Laboratory, and a rendezvous sensor, the Video Guidance Sensor was developed and successfully flown on the Space Shuttle on flights STS-87 and STS-95, proving the concept of a video- based sensor. Further developments in sensor technology and vehicle and target configuration have lead to continued improvements and changes in AR&C system development and simulation. A new Advanced Video Guidance Sensor (AVGS) with target will be utilized as the primary navigation sensor on the Demonstration of Autonomous Rendezvous Technologies (DART) flight experiment in 2004. Realtime closed-loop simulations will be performed to validate the improved AR&C systems prior to flight.

Roe, Fred D.↗

NASA NTRS2004

The NASA Aircraft VOrtex Spacing System (AVOSS): Concept Demonstration Results and Future Direction

Since the late 1990s the national airspace system has been recognized as approaching a capacity crisis. In the light of this condition, industry, government, user organizations, and educational institutions have been working on procedural and technological solutions to the problem. One aspect of system operations that holds potential for improvement is the separation criteria applied to aircraft for wake vortex avoidance. These criteria, applied when operations are conducted under instrument flight rules (IFR), were designed to represent safe spacing under weather conditions conducive to the longest wake hazards. It is well understood that wake behavior is dependent on meteorological conditions as well as the physical parameters of the generating aircraft. Under many ambient conditions, such as moderate crosswinds or turbulence, wake hazard durations are substantially reduced. To realize this reduction NASA has developed a proof-of-concept Aircraft VOrtex Spacing System (AVOSS). Successfully demonstrated in a realtime field demonstration during July 2000 at the Dallas Ft. Worth International Airport (DFW), AVOSS is a novel integration of weather sensors, wake sensors, and analytical wake prediction algorithms. AVOSS provides dynamic wake separation criteria that are a function of the ambient weather conditions for a particular airport, and the predicted wake behavior under those conditions. Wake sensing subsystems provide safety checks and validation for the predictions. The AVOSS was demonstrated in shadow mode; no actual spacing changes were applied to aircraft. This paper briefly reviews the system architecture and operation, reports the latest performance results from the DFW deployment, and describes the future direction of the project.

Rutishauser, David K.↗

NASA NTRS2004

A Real-Time Satellite-Based Icing Detection System

Aircraft icing is one of the most dangerous weather conditions for general aviation. Currently, model forecasts and pilot reports (PIREPS) constitute much of the database available to pilots for assessing the icing conditions in a particular area. Such data are often uncertain or sparsely available. Improvements in the temporal and areal coverage of icing diagnoses and prognoses would mark a substantial enhancement of aircraft safety in regions susceptible to heavy supercooled liquid water clouds. The use of 3.9 microns data from meteorological satellite imagers for diagnosing icing conditions has long been recognized (e.g., Ellrod and Nelson, 1996) but to date, no explicit physically based methods have been implemented. Recent advances in cloud detection and cloud property retrievals using operational satellite imagery open the door for real-time objective applications of those satellite datasets for a variety of weather phenomena. Because aircraft icing is related to cloud macro- and microphysical properties (e.g., Cober et al. 1995), it is logical that the cloud properties from satellite data would be useful for diagnosing icing conditions. This paper describes the a prototype realtime system for detecting aircraft icing from space.

Minnis, Patrick↗

NASA NTRS2004

Real-Time Unsteady Loads Measurements Using Hot-Film Sensors

Several flight-critical aerodynamic problems such as buffet, flutter, stall, and wing rock are strongly affected or caused by abrupt changes in unsteady aerodynamic loads and moments. Advanced sensing and flow diagnostic techniques have made possible simultaneous identification and tracking, in realtime, of the critical surface, viscosity-related aerodynamic phenomena under both steady and unsteady flight conditions. The wind tunnel study reported here correlates surface hot-film measurements of leading edge stagnation point and separation point, with unsteady aerodynamic loads on a NACA 0015 airfoil. Lift predicted from the correlation model matches lift obtained from pressure sensors for an airfoil undergoing harmonic pitchup and pitchdown motions. An analytical model was developed that demonstrates expected stall trends for pitchup and pitchdown motions. This report demonstrates an ability to obtain unsteady aerodynamic loads in real time, which could lead to advances in air vehicle safety, performance, ride-quality, control, and health management.

Mangalam, Arun S.↗

NASA NTRS2004

Autonomous Component Health Management with Failed Component Detection, Identification, and Avoidance

This paper details a novel scheme for autonomous component health management (ACHM) with failed actuator detection and failed sensor detection, identification, and avoidance. This new scheme has features that far exceed the performance of systems with triple-redundant sensing and voting, yet requires fewer sensors and could be applied to any system with redundant sensing. Relevant background to the ACHM scheme is provided, and the simulation results for the application of that scheme to a single-axis spacecraft attitude control system with a 3rd order plant and dual-redundant measurement of system states are presented. ACHM fulfills key functions needed by an integrated vehicle health monitoring (IVHM) system. It is: autonomous; adaptive; works in realtime; provides optimal state estimation; identifies failed components; avoids failed components; reconfigures for multiple failures; reconfigures for intermittent failures; works for hard-over, soft, and zero-output failures; and works for both open- and closed-loop systems. The ACHM scheme combines a prefilter that generates preliminary state estimates, detects and identifies failed sensors and actuators, and avoids the use of failed sensors in state estimation with a fixed-gain Kalman filter that generates optimal state estimates and provides model-based state estimates that comprise an integral part of the failure detection logic. The results show that ACHM successfully isolates multiple persistent and intermittent hard-over, soft, and zero-output failures. It is now ready to be tested on a computer model of an actual system.

Davis, Robert N.↗

NASA NTRS2004

Real-Time Cloud, Radiation, and Aircraft Icing Parameters from GOES over the USA

A preliminary new, physically based method for realtime estimation of the probability of icing conditions has been demonstrated using merged GOES-10 and 12 data over the continental United States and southern Canada. The algorithm produces pixel-level cloud and radiation properties as well as an estimate of icing probability with an associated intensity rating Because icing depends on so many different variables, such as aircraft size or air speed, it is not possible to achieve 100% success with this or any other type of approach. This initial algorithm, however, shows great promise for diagnosing aircraft icing and putting it at the correct altitude within 0.5 km most of the time. Much additional research must be completed before it can serve as a reliable input for the operational CIP. The delineation of the icing layer vertical boundaries will need to be improved using either the RUC or balloon soundings or ceilometer data to adjust the cloud base height, a change that would require adjustment of the cloud-top altitude also.

Minnis, Patrick↗

NASA NTRS2004

Aviation Communications Emulation Testbed

Aviation related applications that rely upon datalink for information exchange are increasingly being developed and deployed. The increase in the quantity of applications and associated data communications will expose problems and issues to resolve. NASA s Glenn Research Center has prepared to study the communications issues that will arise as datalink applications are employed within the National Airspace System (NAS) by developing an aviation communications emulation testbed. The Testbed is evolving and currently provides the hardware and software needed to study the communications impact of Air Traffic Control (ATC) and surveillance applications in a densely populated environment. The communications load associated with up to 160 aircraft transmitting and receiving ATC and surveillance data can be generated in realtime in a sequence similar to what would occur in the NAS. The ATC applications that can be studied are the Aeronautical Telecommunications Network s (ATN) Context Management (CM) and Controller Pilot Data Link Communications (CPDLC). The Surveillance applications are Automatic Dependent Surveillance - Broadcast (ADS-B) and Traffic Information Services - Broadcast (TIS-B).

Sheehe, Charles↗

NASA NTRS2004

Imaging Beyond What Man Can See

Three lightweight, portable hyperspectral sensor systems have been built that capture energy from 200 to 1700 nanometers (ultravio1et to shortwave infrared). The sensors incorporate a line scanning technique that requires no relative movement between the target and the sensor. This unique capability, combined with portability, opens up new uses of hyperspectral imaging for laboratory and field environments. Each system has a GUI-based software package that allows the user to communicate with the imaging device for setting spatial resolution, spectral bands and other parameters. NASA's Space Partnership Development has sponsored these innovative developments and their application to human problems on Earth and in space. Hyperspectral datasets have been captured and analyzed in numerous areas including precision agriculture, food safety, biomedical imaging, and forensics. Discussion on research results will include realtime detection of food contaminants, molds and toxin research on corn, identifying counterfeit documents, non-invasive wound monitoring and aircraft applications. Future research will include development of a thermal infrared hyperspectral sensor that will support natural resource applications on Earth and thermal analyses during long duration space flight. This paper incorporates a variety of disciplines and imaging technologies that have been linked together to allow the expansion of remote sensing across both traditional and non-traditional boundaries.

May, George↗

NASA NTRS1997

Rocket Engine Numerical Simulator (RENS)

Work is being done at three universities to help today's NASA engineers use the knowledge and experience of their Apolloera predecessors in designing liquid rocket engines. Ground-breaking work is being done in important subject areas to create a prototype of the most important functions for the Rocket Engine Numerical Simulator (RENS). The goal of RENS is to develop an interactive, realtime application that engineers can utilize for comprehensive preliminary propulsion system design functions. RENS will employ computer science and artificial intelligence research in knowledge acquisition, computer code parallelization and objectification, expert system architecture design, and object-oriented programming. In 1995, a 3year grant from the NASA Lewis Research Center was awarded to Dr. Douglas Moreman and Dr. John Dyer of Southern University at Baton Rouge, Louisiana, to begin acquiring knowledge in liquid rocket propulsion systems. Resources of the University of West Florida in Pensacola were enlisted to begin the process of enlisting knowledge from senior NASA engineers who are recognized experts in liquid rocket engine propulsion systems. Dr. John Coffey of the University of West Florida is utilizing his expertise in interviewing and concept mapping techniques to encode, classify, and integrate information obtained through personal interviews. The expertise extracted from the NASA engineers has been put into concept maps with supporting textual, audio, graphic, and video material. A fundamental concept map was delivered by the end of the first year of work and the development of maps containing increasing amounts of information is continuing. Find out more information about this work at the Southern University/University of West Florida. In 1996, the Southern University/University of West Florida team conducted a 4day group interview with a panel of five experts to discuss failures of the RL10 rocket engine in conjunction with the Centaur launch vehicle. The discussion was recorded on video and audio tape. Transcriptions of the entire proceedings and an abbreviated video presentation of the discussion highlights are under development. Also in 1996, two additional 3year grants were awarded to conduct parallel efforts that would complement the work being done by Southern University and the University of West Florida. Dr. Prem Bhalla of Jackson State University in Jackson, Mississippi, is developing the architectural framework for RENS. By employing the Rose Rational language and Booch Object Oriented Programming (OOP) technology, Dr. Bhalla is developing the basic structure of RENS by identifying and encoding propulsion system components, their individual characteristics, and cross-functionality and dependencies. Dr. Ruknet Cezzar of Hampton University, located in Hampton, Virginia, began working on the parallelization and objectification of rocket engine analysis and design codes. Dr. Cezzar will use the Turbo C++ OOP language to translate important liquid rocket engine computer codes from FORTRAN and permit their inclusion into the RENS framework being developed at Jackson State University. The Southern University/University of West Florida grant was extended by 1 year to coordinate the conclusion of all three efforts in 1999.

Davidian, Kenneth O.↗

NASA NTRS2004

Propulsion Integrated Vehicle Health Management Technology Experiment (PITEX) Conducted

The Propulsion Integrated Vehicle Health Management (IVHM) Technology Experiment (PITEX) is a continuing NASA effort being conducted cooperatively by the NASA Glenn Research Center, the NASA Ames Research Center, and the NASA Kennedy Space Center. It was a key element of a Space Launch Initiative risk-reduction task performed by the Northrop Grumman Corporation in El Segundo, California. PITEX's main objectives are the continued maturation of diagnostic technologies that are relevant to second generation reusable launch vehicle (RLV) subsystems and the assessment of the real-time performance of the PITEX diagnostic solution. The PITEX effort has considerable legacy in the NASA IVHM Technology Experiment for X-vehicles (NITEX) that was selected to fly on the X-34 subscale RLV that was being developed by Orbital Sciences Corporation. NITEX, funded through the Future-X Program Office, was to advance the technology-readiness level of selected IVHM technologies within a flight environment and to begin the transition of these technologies from experimental status into RLV baseline designs. The experiment was to perform realtime fault detection and isolation and suggest potential recovery actions for the X-34 main propulsion system (MPS) during all mission phases by using a combination of system-level analysis and detailed diagnostic algorithms.

Maul, William A.↗

NASA NTRS2005

Experimental Microfluidic System

The ultimate goal of this project is to integrate microfluidic devices with NASA's space bioreactor systems. In such a system, the microfluidic device would provide realtime feedback control of the bioreactor by monitoring pH, glucose, and lactate levels in the cell media; and would provide an analytical capability to the bioreactor in exterrestrial environments for monitoring bioengineered cell products and health changes in cells due to environmental stressors. Such integrated systems could be used as biosentinels both in space and on planet surfaces. The objective is to demonstrate the ability of microfabricated devices to repeatedly and reproducibly perform bead cytometry experiments in micro, lunar, martian, and hypergravity (1.8g).

Culbertson, Christopher↗

NASA NTRS2004

Decision Support Tool Evaluation Report for General NOAA Oil Modeling Environment(GNOME) Version 2.0

NASA's Earth Science Applications Directorate evaluated the potential of NASA remote sensing data and modeling products to enhance the General NOAA Oil Modeling Environment (GNOME) decision support tool. NOAA's Office of Response and Restoration (OR&R) Hazardous Materials (HAZMAT) Response Division is interested in enhancing GNOME with near-realtime (NRT) NASA remote sensing products on oceanic winds and ocean circulation. The NASA SeaWinds sea surface wind and Jason-1 sea surface height NRT products have potential, as do sea surface temperature and reflectance products from the Moderate Resolution Imaging Spectroradiometer and sea surface reflectance products from Landsat and the Advanced Spaceborne Thermal Emission and Reflectance Radiometer. HAZMAT is also interested in the Advanced Circulation model and the Ocean General Circulation Model. Certain issues must be considered, including lack of data continuity, marginal data redundancy, and data formatting problems. Spatial resolution is an issue for near-shore GNOME applications. Additional work will be needed to incorporate NASA inputs into GNOME, including verification and validation of data products, algorithms, models, and NRT data.

Spruce, Joseph P.↗

NASA NTRS2005

Formal Safety Certification of Aerospace Software

In principle, formal methods offer many advantages for aerospace software development: they can help to achieve ultra-high reliability, and they can be used to provide evidence of the reliability claims which can then be subjected to external scrutiny. However, despite years of research and many advances in the underlying formalisms of specification, semantics, and logic, formal methods are not much used in practice. In our opinion this is related to three major shortcomings. First, the application of formal methods is still expensive because they are labor- and knowledge-intensive. Second, they are difficult to scale up to complex systems because they are based on deep mathematical insights about the behavior of the systems (t.e., they rely on the "heroic proof"). Third, the proofs can be difficult to interpret, and typically stand in isolation from the original code. In this paper, we describe a tool for formally demonstrating safety-relevant aspects of aerospace software, which largely circumvents these problems. We focus on safely properties because it has been observed that safety violations such as out-of-bounds memory accesses or use of uninitialized variables constitute the majority of the errors found in the aerospace domain. In our approach, safety means that the program will not violate a set of rules that can range for the simple memory access rules to high-level flight rules. These different safety properties are formalized as different safety policies in Hoare logic, which are then used by a verification condition generator along with the code and logical annotations in order to derive formal safety conditions; these are then proven using an automated theorem prover. Our certification system is currently integrated into a model-based code generation toolset that generates the annotations together with the code. However, this automated formal certification technology is not exclusively constrained to our code generator and could, in principle, also be integrated with other code generators such as RealTime Workshop or even applied to legacy code. Our approach circumvents the historical problems with formal methods by increasing the degree of automation on all levels. The restriction to safety policies (as opposed to arbitrary functional behavior) results in simpler proof problems that can generally be solved by fully automatic theorem proves. An automated linking mechanism between the safety conditions and the code provides some of the traceability mandated by process standards such as DO-178B. An automated explanation mechanism uses semantic markup added by the verification condition generator to produce natural-language explanations of the safety conditions and thus supports their interpretation in relation to the code. It shows an automatically generated certification browser that lets users inspect the (generated) code along with the safety conditions (including textual explanations), and uses hyperlinks to automate tracing between the two levels. Here, the explanations reflect the logical structure of the safety obligation but the mechanism can in principle be customized using different sets of domain concepts. The interface also provides some limited control over the certification process itself. Our long-term goal is a seamless integration of certification, code generation, and manual coding that results in a "certified pipeline" in which specifications are automatically transformed into executable code, together with the supporting artifacts necessary for achieving and demonstrating the high level of assurance needed in the aerospace domain.

Denney, Ewen↗

NASA NTRS2005

The 0.125 degree finite-volume General Circulation Model on the NASA Columbia Supercomputer: Preliminary Simulations of Mesoscale Vortices

The NASA Columbia supercomputer was ranked second on the TOP500 List in November, 2004. Such a quantum jump in computing power provides unprecedented opportunities to conduct ultra-high resolution simulations with the finite-volume General Circulation Model (fvGCM). During 2004, the model was run in realtime experimentally at 0.25 degree resolution producing remarkable hurricane forecasts [Atlas et al., 2005]. In 2005, the horizontal resolution was further doubled, which makes the fvGCM comparable to the first mesoscale resolving General Circulation Model at the Earth Simulator Center [Ohfuchi et al., 2004]. Nine 5-day 0.125 degree simulations of three hurricanes in 2004 are presented first for model validation. Then it is shown how the model can simulate the formation of the Catalina eddies and Hawaiian lee vortices, which are generated by the interaction of the synoptic-scale flow with surface forcing, and have never been reproduced in a GCM before.)

Shen, B.-W.↗