Search NASA⌕ Search

SEARCH · Search NASA

Results for “collaborative design”

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 181 records · Page 10

TEAMER: Water Tunnel Data from Testing the Pterofin Skimmer Concept

Pterofin's Skimmer concept relies on a flapping and pitching hydrofoil to extract hydrokinetic energy from water flows. The concept aims to utilize unsteady fluid dynamics phenomena (added mass, shed vorticity, and unsteady boundary layer development) to achieve higher lift coefficients, enabling increased power density of the hydrokinetic device and a fundamental shift in the rpm/torque scaling of the power take off compared with turbines. The Applied Research Laboratory at Penn State, in collaboration with Pterofin, designed and built a proof-of-concept flapping/pitching mechanism which was subsequently tested in ARL's 12-inch water tunnel facility. The mechanical power supplied to or extracted from the mechanism was measured for a range of hydrofoils provided by Pterofin over operating conditions including reduced frequency, Reynolds number, and the ratio between pitching and flapping amplitudes. The power lost to friction in the mechanism was removed from the net power measurement by means of a bare hub tare, with the resultant hydrodynamic power being used to calculate a mechanism-independent and non-dimensional power coefficient. The product of this effort is a dataset describing the power coefficient of a hydrofoil having simultaneous pitching and flapping motions, both of which are approximately sinusoidal. Power coefficients were collected for a range of primary design variables including: - Reduced frequency: 0.01 to 0.95 - Pitching/flapping peak angle ratio: 1.5 to 3.0 - Chord-based Reynolds number: 60,000 to 560,000 Secondary design variables relating to the hydrofoil geometry were explored including: - Aspect ratio - Planform shape - Section thickness distribution - Hydrofoil position relative to the pitching axis - Hydrofoil sweep angle relative to the pitching axis Measured data are provided in mean and time series formats. MATLAB scripts are provided which can be used to generate figures of time-averaged and phase-averaged hydrodynamic power coefficients calculated from the measured data. A complete description of the experiment and data reduction can be found in the Post Access Report for the Pterofin Skimmer test effort which will be available on the TEAMER website. This work was supported by the Pacific Energy Ocean Trust via a TEAMER award.

16 TIDAL AND WAVE POWER↗

Roll-to-Roll Advanced Materials Manufacturing DOE Laboratory Collaboration (FY2020 Final Report)

R2R processing is used to manufacture a wide range of products for various applications which span many industrial business sectors. The overall R2R methodology has been in use for decades and this continuous technique traditionally involves deposition of material(s) onto moving webs, carriers or other continuous belt-fed or conveyor-based processes that enable successive steps to build a final version which serves to support the deposited materials. Established methods that typify R2R processing include tape casting, silk-screen printing, reel-to-reel vacuum deposition/coating, and R2R lithography. Products supported by R2R manufacturing include micro-electronics, electro-chromic window films, PVs, fuel cells for energy conversion, battery electrodes for energy storage, and barrier and membrane materials. Due to innovation in materials and process equipment, high-quality yet very low-cost multilayer technologies have the potential to be manufactured on a very cost-competitive basis. To move energy-related products from high-cost niche applications to the commercial sector, the means must be available to enable manufacture of these products in a cost-competitive manner that is affordable. Fortunately, products such as fuel cells, thin- and mid-film PVs, batteries, electrochromic and piezoelectric films, water separation membranes, and other energy saving technologies readily lend themselves to manufacture using R2R approaches. However, more early-stage research is needed to solve the challenge of linking the materials (particles, polymers, solvents, additives) used in ink and slurry formulations and the coating and drying processes to the ultimate performance of the final R2R product, especially for a process that uses multiple layers of deposition to achieve the end product. To solve the problems associated with these challenges, the R2R Collaboration is executing a research program with outcomes that will ultimately link modeling, processing, metrology and defect detection tools, thereby directly relating the properties of constituent particles and processing conditions to the performance of final devices. This collaborative approach was designed to foster identification and development of materials and processes related to R2R for clean-energy materials development. Using computational and experimental capabilities by acknowledged subject matter experts within the supported National Laboratory system, this project leverages the capabilities and expertise at each of five National Laboratories to further the development of multilayer technologies that will enable high-volume, cost-competitive platforms. A typical R2R process has three steps: (1) mixing of particles and various constituents in a slurry, (2) coating of the ink/slurry mixture on a substrate, and (3) drying/curing and processing of the coating. Final performance of devices made via R2R processes is dependent on the active materials (e.g., electrochemical particles in battery or fuel cell electrodes) and the device structure that stems from the governing component interactions within the various steps. However, a fundamental understanding of the underlying mechanisms and phenomena is still lacking, which is why industrial-scale R2R process development and manufacturing is still largely empirical in nature. The FY 2019 through FY 2021 program addresses aspects of the following two targets from the AMO Multi-Year Program Plan: (1) Target 8.1 Develop technologies to reduce the cost per manufactured throughput of continuous R2R manufacturing processes. (A) Increasing throughput of R2R processes by 5 times for batteries (to 50 square feet per minute (50 ft 2 /min)) and capacitors and 10 times for printed electronics and the manufacture of other substrates and MEs used in support of these products. (B) Developing resolution capabilities to enable registration and alignment that will detect, align, and co-deposit multiple layers of coatings and print < 1-micron (1 µm) features using continuous process scalable for commercial production. (C) Developing scalable and reliable R2R processes for solution deposition of ultra-thin (<10 nm) films for active and passive materials. (D) Develop in-line multilayer coating technology on thin films with yields greater than 95%. (2) Target 8.2 Develop in-line instrumentation tools that will evaluate the quality of single and multilayer materials in-process. (A) Developing in-line QC technologies and methodologies for real-time identification of defects and expected product properties “in-use/application” during continuous processing at all size-scales with a focus on the “micro” and “nano” scale traces, lines, and devices, i.e., <1 μm at 300 ft./min for R2R processing in air and <10 nm at 20 ft./min for vacuum (B) Developing technologies to increase the measurement frequency of surface rheology without significant cost increases with a goal of a 10-nanometer in-line profilometry at a production rate of 100,000 square millimeters per minute (100,000 mm 2 /min).

42 ENGINEERING↗

Advanced Thin Film Core Technology: CIGS Final Technical Report (FTR)

Cu(In,Ga)Se 2 (CIGS) thin-film photovoltaics are a high-efficiency and reliable technology. This project completed research in two important areas and was designed to work collaboratively with industrial partners. Task 1: Alkali Science focused on alkali post-deposition treatments (PDT). PDTs have been instrumental in the dramatic voltage improvements that have moved CIGS device efficiencies from 20% to 23.35% [1]. Based on a survey of CIGS companies at the beginning of the project, the single biggest breakthrough for the CIGS community would be a mechanistic understanding of the role of alkalis in the material system. Significant accomplishments of Task 1: Alkali Science: 1) KF post-deposition treatments were shown to improve lifetime, open-circuit voltage (VOC), and efficiency of industrial partner samples, even when done as a later step, separate from the original CIGS deposition. 2) KF boosted efficiency when incorporated at the end of the third stage of NREL CIGS growth. 3) XPS characterization of CIGS surfaces with and without PDTs led to a proposed mechanism whereby K drives structural transformation at 350 degrees C that is locked in at room temperature even after K is rinsed away. 4) Published recipes for KF and RbF PDTs. Literature to date did not provide enough detail to quickly reproduce experimental results. 5) Identified most important parameters (RbF cell temperature and lamp setpoint temperature) and set boundaries for successful RbF PDTs. The purpose of Task 2: Cell-level Reliability was to overcome the largest challenges to investor confidence and long product lifetime in CIGS-based photovoltaic products: metastability, shading-induced hot spots, and potential-induced degradation (PID). Key findings were made in each of these areas by studying CIGS reliability at the cell level: 1) Published NREL's cell-level reliability testing procedures along with challenges that were encountered while developing them. These were also distributed to the community through an MRS conference presentation. 2) Decreased metastability by adding a CdS hole-injection layer between the CIGS and Zn(O,S) in the device stack. It also improved device performance. Materials other than CdS can be used for the same purpose. 3) Reduced front-glass PID by replacing soda-lime glass with low-Na borosilicate glass. 4) Found that PID depends on leakage current and light/electrical bias. This will help labs avoid test-specific degradation. 5) Discovered that CIGS can suffer from two different types of PID with different mechanisms. Front is slower and leads to shunting ZnO. Back is faster and degrades the p-n junction. 6) Holding cells at open circuit slows PID compared to short circuit. This affects testing protocols for glass/glass modules.

14 SOLAR ENERGY↗

Low‐cost, Long Duration Electrical Energy Storage Using a CO 2 ‐based Pumped Thermal Energy Storage

The increasing deployment of non‐dispatchable, intermittent renewable energy generation sources to address climate change is placing pressure upon electrical grids’ ability to match supply with demand. The need to deploy large quantities of long duration energy storage assets is rapidly approaching, and innovative methods of energy storage that are low cost, efficient, safe and environmentally benign are needed urgently. CO 2 ‐based Pumped Thermal Energy Storage (PTES) is a low cost, efficient and environmentally safe energy storage technology. PTES uses an electrically‐driven CO 2 heat pump to charge thermal reservoirs that are later used as resources to generate electricity using a CO 2 heat engine. In this program, Echogen and collaborators refined the design of a utility‐scale CO 2 PTES system and demonstrated key technologies that will be required for successful commercial development in a laboratory‐scale system. Component and system‐level performance was evaluated over multiple charge/discharge cycles, with favorable results. Echogen is continuing to develop and commercialize this technology at utility scale.

25 ENERGY STORAGE↗

ROADRUNNER MiniFuel Experiment: Readiness for Insertion

The Research On ADvancing the peRformance of UraNium Nitrides in Extreme enviRonments (ROADRUNNER) campaign is a collaborative irradiation experiment designed to evaluate the performance of uranium nitride (UN) fuel fabricated with controlled variations in density and impurity content. Oak Ridge National Laboratory’s MiniFuel irradiation platform and the High Flux Isotope Reactor (HFIR) are being used to irradiate six targets containing 36 UN miniature disks. These targets have been assembled to systematically investigate burnup and temperature effects under accelerated irradiation conditions. This report documents the finalized test plan, describes the experiment assembly and subcapsule integration process, and confirms the readiness of all ROADRUNNER targets for HFIR insertion. All targets have passed quality control procedures, and five have begun irradiation. The campaign will provide critical performance data to support fuel model validation and future UN qualification efforts.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

ROADRUNNER MiniFuel Experiment: Readiness for Insertion

The Research On ADvancing the peRformance of UraNium Nitrides in Extreme enviRonments (ROADRUNNER) campaign is a collaborative irradiation experiment designed to evaluate the performance of uranium nitride (UN) fuel fabricated with controlled variations in density and impurity content. Oak Ridge National Laboratory’s MiniFuel irradiation platform and the High Flux Isotope Reactor (HFIR) are being used to irradiate six targets containing 36 UN miniature disks. These targets have been assembled to systematically investigate burnup and temperature effects under accelerated irradiation conditions. This report documents the finalized test plan, describes the experiment assembly and subcapsule integration process, and confirms the readiness of all ROADRUNNER targets for HFIR insertion. All targets have passed quality control procedures, and five have begun irradiation. The campaign will provide critical performance data to support fuel model validation and future UN qualification efforts.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

To investigate the reciprocal interactions between dielectric barrier discharges and different biological targets in cell culture medium

The objective of this project was to investigate the dynamic interactions between non-thermal plasma (NTP) and biological targets suspended in a physiological liquid medium. The experiments under this collaborative study were designed to combine theoretical and experimental approaches to test the hypothesis that when living cells (and the growth medium surrounding them) encounter plasma, they reciprocally and dynamically modify each other.

59 BASIC BIOLOGICAL SCIENCES↗

The Event Detection System in the NEXT-White Detector

This article describes the event detection system of the NEXT-White detector, a 5 kg high pressure xenon TPC with electroluminescent amplification, located in the Laboratorio Subterráneo de Canfranc (LSC), Spain. The detector is based on a plane of photomultipliers (PMTs) for energy measurements and a silicon photomultiplier (SiPM) tracking plane for offline topological event filtering. The event detection system, based on the SRS-ATCA data acquisition system developed in the framework of the CERN RD51 collaboration, has been designed to detect multiple events based on online PMT signal energy measurements and a coincidence-detection algorithm. Implemented on FPGA, the system has been successfully running and evolving during NEXT-White operation. The event detection system brings some relevant and new functionalities in the field. A distributed double event processor has been implemented to detect simultaneously two different types of events thus allowing simultaneous calibration and physics runs. This special feature provides constant monitoring of the detector conditions, being especially relevant to the lifetime and geometrical map computations which are needed to correct high-energy physics events. Other features, like primary scintillation event rejection, or a double buffer associated with the type of event being searched, help reduce the unnecessary data throughput thus minimizing dead time and improving trigger efficiency.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

MODIS-HIRIS ground data systems commonality report

The High Resolution Imaging Spectrometer (HIRIS) and Moderate Resolution Imaging Spectrometer (MODIS) Data Systems Working Group was formed in September 1988 with representatives of the MODIS Data System Study Group and the HIRIS Project Data System Design Group to collaborate in the development of requirements on the EosDIS necessary to meet the science objectives of the two facility instruments. A major objective was to identify and promote commonality between the HIRIS and MODIS data systems, especially from the science users' point of view. A goal was to provide a base set of joint requirements and specifications which could easily be expanded to a Phase-B representation of the needs of the science users of all EOS instruments. This document describes the points of commonality and difference between the Level-II Requirements, Operations Concepts, and Systems Specifications for the ground data systems for the MODIS and HIRIS instruments at their present state of development.

Han, D.↗

Data Processing for the Near Earth Asteroid Rendezvous (NEAR), X-ray and Gamma-ray Spectrometer (XGRS) Ground System

An X-ray and Gamma-ray spectrometer (XGRS) is onboard the Near Earth Asteroid Rendezvous (NEAR) spacecraft to determine the elemental composition of the surface of the asteroid 433Eros. The Eros asteroid is highly non-spherical in physical shape and the development of data management and analysis methodologies are in several areas a divergence from traditional remotely sensed geographical information systems techniques. Field of view and asteroid surface geometry must be derived virtually and then combined with real measurements of solar, spectral and instrument calibration information to derive meaningful scientific results. Spatial resolution of planned geochemical maps will be improved from the initial conditions of low statistical significance per integration by repeated surface flyovers and regional spectral accumulation. This paper describes the results of a collaborative effort of design and development of the NEAR XGRS instrument ground system undertaken by participants at the Goddard Space Flight Center, University of Arizona, Cornell University, Applied Physics Laboratory, and Max Plank institute.

McClanahan, Timothy P.↗

Data Processing for the Near Earth Asteroid Rendezvous (NEAR), X-Ray and Gamma-Ray Spectrometer (XRS) Ground System

An X-ray and Gamma-ray spectrometer (XGRS) is onboard the Near Earth Asteroid Rendezvous (NEAR) spacecraft to determine the elemental composition of the surface of the asteroid 433Eros. The Eros asteroid is highly non-spherical in physical shape and the development of data management and analysis methodologies are in several areas a divergence from traditional remotely sensed geographical information systems techniques. Field of view and asteroid surface geometry must be derived virtually and then combined with real measurements of solar, spectral and instrument calibration information to derive meaningful scientific results. Spatial resolution of planned geochemical maps will be improved from the initial conditions of low statistical significance per integration by repeated surface flyovers and regional spectral accumulation. This paper describes the results of a collaborative effort of design and development of the NEAR XGRS instrument ground system undertaken by participants at the Goddard Space Flight Center, University of Arizona, Cornell University, Applied Physics Laboratory, and Max Plank institute.

McClanahan, Timothy P.↗

NASA Tech Briefs, February 2003

opics covered include: Integrated Electrode Arrays for Neuro-Prosthetic Implants; Eroding Potentiometers; Common/Dependent-Pressure-Vessel Nickel-Hydrogen Batteries; 120-GHz HEMT Oscillator With Surface-Wave-Assisted Antenna; 80-GHz MMIC HEMT Voltage-Controlled Oscillator; High-Energy-Density Capacitors; Microscale Thermal-Transpiration Gas Pump; Instrument for Measuring Temperature of Water; Improved Measurement of Coherence in Presence of Instrument Noise; Compact Instruments Measure Helium-Leak Rates; Irreversible Entropy Production in Two-Phase Mixing Layers; Subsonic and Supersonic Effects in Bose-Einstein Condensate; Nanolaminate Mirrors With "Piston" Figure-Control Actuators; Mixed Conducting Electrodes for Better AMTEC Cells; Process for Encapsulating Protein Crystals; Lightweight, Self-Deployable Wheels; Grease-Resistant O Rings for Joints in Solid Rocket Motors; LabVIEW Serial Driver Software for an Electronic Load; Software Computes Tape-Casting Parameters; Software for Tracking Costs of Mars Projects; Software for Replicating Data Between X.500 and LDAP Directories; The Technical Work Plan Tracking Tool; Improved Multiple-DOF SAW Piezoelectric Motors; Propulsion Flight-Test Fixture; Mechanical Amplifier for a Piezoelectric Transducer; Swell Sleeves for Testing Explosive Devices; Linear Back-Drive Differentials; Miniature Inchworm Actuators Fabricated by Use of LIGA; Using ERF Devices to Control Deployments of Space Structures; High-Temperature Switched-Reluctance Electric Motor; System for Centering a Turbofan in a Nacelle During Tests; Fabricating Composite-Material Structures Containing SMA Ribbons; Optimal Feedback Control of Thermal Networks; Artifacts for Calibration of Submicron Width Measurements; Navigating a Mobile Robot Across Terrain Using Fuzzy Logic; Designing Facilities for Collaborative Operations; and Quantitating Iron in Serum Ferritin by Use of ICP-MS.

Source record↗

Towards Autonomous Operation of Robonaut 2

The Robonaut 2 (R2) platform, as shown in Figure 1, was designed through a collaboration between NASA and General Motors to be a capable robotic assistant with the dexterity similar to a suited astronaut [1]. An R2 robot was sent to the International Space Station (ISS) in February 2011 and, in doing so, became the first humanoid robot in space. Its capabilities are presently being tested and expanded to increase its usefulness to the crew. Current work on R2 includes the addition of a mobility platform to allow the robot to complete tasks (such as cleaning, maintenance, or simple construction activities) both inside and outside of the ISS. To support these new activities, R2's software architecture is being developed to provide efficient ways of programming robust and autonomous behavior. In particular, a multi-tiered software architecture is proposed that combines principles of low-level feedback control with higher-level planners that accomplish behavioral goals at the task level given the run-time context, user constraints, the health of the system, and so on. The proposed architecture is shown in Figure 2. At the lowest-level, the resource level, there exists the various sensory and motor signals available to the system. The sensory signals for a robot such as R2 include multiple channels of force/torque data, joint or Cartesian positions calculated through the robot's proprioception, and signals derived from objects observable by its cameras.

Badger, Julia M.↗

An Operational Configuration of the ARPS Data Analysis System to Initialize WRF in the NM'S Environmental Modeling System

The Weather Research and Forecasting (WRF) model is the next generation community mesoscale model designed to enhance collaboration between the research and operational sectors. The NM'S as a whole has begun a transition toward WRF as the mesoscale model of choice to use as a tool in making local forecasts. Currently, both the National Weather Service in Melbourne, FL (NWS MLB) and the Spaceflight Meteorology Group (SMG) are running the Advanced Regional Prediction System (AIRPS) Data Analysis System (ADAS) every 15 minutes over the Florida peninsula to produce high-resolution diagnostics supporting their daily operations. In addition, the NWS MLB and SMG have used ADAS to provide initial conditions for short-range forecasts from the ARPS numerical weather prediction (NWP) model. Both NM'S MLB and SMG have derived great benefit from the maturity of ADAS, and would like to use ADAS for providing initial conditions to WRF. In order to assist in this WRF transition effort, the Applied Meteorology Unit (AMU) was tasked to configure and implement an operational version of WRF that uses output from ADAS for the model initial conditions. Both agencies asked the AMU to develop a framework that allows the ADAS initial conditions to be incorporated into the WRF Environmental Modeling System (EMS) software. Developed by the NM'S Science Operations Officer (S00) Science and Training Resource Center (STRC), the EMS is a complete, full physics, NWP package that incorporates dynamical cores from both the National Center for Atmospheric Research's Advanced Research WRF (ARW) and the National Centers for Environmental Prediction's Non-Hydrostatic Mesoscale Model (NMM) into a single end-to-end forecasting system. The EMS performs nearly all pre- and postprocessing and can be run automatically to obtain external grid data for WRF boundary conditions, run the model, and convert the data into a format that can be readily viewed within the Advanced Weather Interactive Processing System. The EMS has also incorporated the WRF Standard Initialization (SI) graphical user interface (GUT), which allows the user to set up the domain, dynamical core, resolution, etc., with ease. In addition to the SI GUT, the EMS contains a number of configuration files with extensive documentation to help the user select the appropriate input parameters for model physics schemes, integration timesteps, etc. Therefore, because of its streamlined capability, it is quite advantageous to configure ADAS to provide initial condition data to the EMS software. One of the biggest potential benefits of configuring ADAS for ingest into the EMS is that the analyses could be used to initialize either the ARW or NMM. Currently, the ARPS/ADAS software has a conversion routine only for the ARW dynamical core. However, since the NIvIM runs about 2.5 times faster than the ARW, it is quite advantageous to be able to run an ADAS/NMM configuration operationally due to the increased efficiency.

Case, Jonathan↗

Conceptual Design of a Flight Validation Mission for a Hypervelocity Asteroid Intercept Vehicle

Near-Earth Objects (NEOs) are asteroids and comets whose orbits approach or cross Earth s orbit. NEOs have collided with our planet in the past, sometimes to devastating effect, and continue to do so today. Collisions with NEOs large enough to do significant damage to the ground are fortunately infrequent, but such events can occur at any time and we therefore need to develop and validate the techniques and technologies necessary to prevent the Earth impact of an incoming NEO. In this paper we provide background on the hazard posed to Earth by NEOs and present the results of a recent study performed by the NASA/Goddard Space Flight Center s Mission Design Lab (MDL) in collaboration with Iowa State University s Asteroid Deflection Research Center (ADRC) to design a flight validation mission for a Hypervelocity Asteroid Intercept Vehicle (HAIV) as part of a Phase 2 NASA Innovative Advanced Concepts (NIAC) research project. The HAIV is a two-body vehicle consisting of a leading kinetic impactor and trailing follower carrying a Nuclear Explosive Device (NED) payload. The HAIV detonates the NED inside the crater in the NEO s surface created by the lead kinetic impactor portion of the vehicle, effecting a powerful subsurface detonation to disrupt the NEO. For the flight validation mission, only a simple mass proxy for the NED is carried in the HAIV. Ongoing and future research topics are discussed following the presentation of the detailed flight validation mission design results produced in the MDL.

Barbee, Brent W.↗

RECOVER: An Automated Cloud-Based Decision Support System for Post-fire Rehabilitation Planning

RECOVER is a site-specific decision support system that automatically brings together in a single analysis environment the information necessary for post-fire rehabilitation decision-making. After a major wildfire, law requires that the federal land management agencies certify a comprehensive plan for public safety, burned area stabilization, resource protection, and site recovery. These burned area emergency response (BAER) plans are a crucial part of our national response to wildfire disasters and depend heavily on data acquired from a variety of sources. Final plans are due within 21 days of control of a major wildfire and become the guiding document for managing the activities and budgets for all subsequent remediation efforts. There are few instances in the federal government where plans of such wide-ranging scope and importance are assembled on such short notice and translated into action more quickly. RECOVER has been designed in close collaboration with our agency partners and directly addresses their high-priority decision-making requirements. In response to a fire detection event, RECOVER uses the rapid resource allocation capabilities of cloud computing to automatically collect Earth observational data, derived decision products, and historic biophysical data so that when the fire is contained, BAER teams will have a complete and ready-to-use RECOVER dataset and GIS analysis environment customized for the target wildfire. Initial studies suggest that RECOVER can transform this information-intensive process by reducing from days to a matter of minutes the time required to assemble and deliver crucial wildfire-related data.

cloud computing↗

Reducing V&V Cost of Flight Critical Systems: Myth or Reality?

This paper presents an overview of NASA research program on the V&V of flight critical systems. Five years ago, NASA started an effort to reduce the cost and possibly increase the effectiveness of V&V for flight critical systems. It is the right time to take a look back and realize what progress has been made. This paper describes our overall approach and the tools introduced to address different phases of the software lifecycle. For example, we have improved testing by developing a statistical learning approach tor defining test cases. The tool automatically identifies possible unsafe conditions by analyzing outliers in output data; using an iterative learning process, it can then generate more test cases that represent potentially unsafe regions of operation. At the code level, we have developed and made available as open source a static analyzer for C and C++ programs called IKOS. We have shown that IKOS is very precise in the analysis of embedded C programs (very few false positives) and a bit less for regular C and C++ code. At the design level, in collaboration with our NRA partners, we have developed a suite of analysis tools for Simulink models. The analysis is done in a compositional framework for scalability.

Brat, Guillaume P.↗