Search NASA⌕ Search

SEARCH · Search NASA

Results for “Compiler”

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 1,243 records · Page 69

Performance Comparison of HPF and MPI Based NAS Parallel Benchmarks

Compilers supporting High Performance Form (HPF) features first appeared in late 1994 and early 1995 from Applied Parallel Research (APR), Digital Equipment Corporation, and The Portland Group (PGI). IBM introduced an HPF compiler for the IBM RS/6000 SP2 in April of 1996. Over the past two years, these implementations have shown steady improvement in terms of both features and performance. The performance of various hardware/ programming model (HPF and MPI) combinations will be compared, based on latest NAS Parallel Benchmark results, thus providing a cross-machine and cross-model comparison. Specifically, HPF based NPB results will be compared with MPI based NPB results to provide perspective on performance currently obtainable using HPF versus MPI or versus hand-tuned implementations such as those supplied by the hardware vendors. In addition, we would also present NPB, (Version 1.0) performance results for the following systems: DEC Alpha Server 8400 5/440, Fujitsu CAPP Series (VX, VPP300, and VPP700), HP/Convex Exemplar SPP2000, IBM RS/6000 SP P2SC node (120 MHz), NEC SX-4/32, SGI/CRAY T3E, and SGI Origin2000. We would also present sustained performance per dollar for Class B LU, SP and BT benchmarks.

Saini, Subhash↗

NAS Parallel Benchmark. Results 11-96: Performance Comparison of HPF and MPI Based NAS Parallel Benchmarks

High Performance Fortran (HPF), the high-level language for parallel Fortran programming, is based on Fortran 90. HALF was defined by an informal standards committee known as the High Performance Fortran Forum (HPFF) in 1993, and modeled on TMC's CM Fortran language. Several HPF features have since been incorporated into the draft ANSI/ISO Fortran 95, the next formal revision of the Fortran standard. HPF allows users to write a single parallel program that can execute on a serial machine, a shared-memory parallel machine, or a distributed-memory parallel machine. HPF eliminates the complex, error-prone task of explicitly specifying how, where, and when to pass messages between processors on distributed-memory machines, or when to synchronize processors on shared-memory machines. HPF is designed in a way that allows the programmer to code an application at a high level, and then selectively optimize portions of the code by dropping into message-passing or calling tuned library routines as 'extrinsics'. Compilers supporting High Performance Fortran features first appeared in late 1994 and early 1995 from Applied Parallel Research (APR) Digital Equipment Corporation, and The Portland Group (PGI). IBM introduced an HPF compiler for the IBM RS/6000 SP/2 in April of 1996. Over the past two years, these implementations have shown steady improvement in terms of both features and performance. The performance of various hardware/ programming model (HPF and MPI (message passing interface)) combinations will be compared, based on latest NAS (NASA Advanced Supercomputing) Parallel Benchmark (NPB) results, thus providing a cross-machine and cross-model comparison. Specifically, HPF based NPB results will be compared with MPI based NPB results to provide perspective on performance currently obtainable using HPF versus MPI or versus hand-tuned implementations such as those supplied by the hardware vendors. In addition we would also present NPB (Version 1.0) performance results for the following systems: DEC Alpha Server 8400 5/440, Fujitsu VPP Series (VX, VPP300, and VPP700), HP/Convex Exemplar SPP2000, IBM RS/6000 SP P2SC node (120 MHz) NEC SX-4/32, SGI/CRAY T3E, SGI Origin2000.

Saini, Subash↗

On the Efficacy of Source Code Optimizations for Cache-Based Systems

Obtaining high performance without machine-specific tuning is an important goal of scientific application programmers. Since most scientific processing is done on commodity microprocessors with hierarchical memory systems, this goal of "portable performance" can be achieved if a common set of optimization principles is effective for all such systems. It is widely believed, or at least hoped, that portable performance can be realized. The rule of thumb for optimization on hierarchical memory systems is to maximize temporal and spatial locality of memory references by reusing data and minimizing memory access stride. We investigate the effects of a number of optimizations on the performance of three related kernels taken from a computational fluid dynamics application. Timing the kernels on a range of processors, we observe an inconsistent and often counterintuitive impact of the optimizations on performance. In particular, code variations that have a positive impact on one architecture can have a negative impact on another, and variations expected to be unimportant can produce large effects. Moreover, we find that cache miss rates - as reported by a cache simulation tool, and confirmed by hardware counters - only partially explain the results. By contrast, the compiler-generated assembly code provides more insight by revealing the importance of processor-specific instructions and of compiler maturity, both of which strongly, and sometimes unexpectedly, influence performance. We conclude that it is difficult to obtain performance portability on modern cache-based computers, and comment on the implications of this result.

VanderWijngaart, Rob F.↗

On the Efficacy of Source Code Optimizations for Cache-Based Systems

Obtaining high performance without machine-specific tuning is an important goal of scientific application programmers. Since most scientific processing is done on commodity microprocessors with hierarchical memory systems, this goal of "portable performance" can be achieved if a common set of optimization principles is effective for all such systems. It is widely believed, or at least hoped, that portable performance can be realized. The rule of thumb for optimization on hierarchical memory systems is to maximize temporal and spatial locality of memory references by reusing data and minimizing memory access stride. We investigate the effects of a number of optimizations on the performance of three related kernels taken from a computational fluid dynamics application. Timing the kernels on a range of processors, we observe an inconsistent and often counterintuitive impact of the optimizations on performance. In particular, code variations that have a positive impact on one architecture can have a negative impact on another, and variations expected to be unimportant can produce large effects. Moreover, we find that cache miss rates-as reported by a cache simulation tool, and confirmed by hardware counters-only partially explain the results. By contrast, the compiler-generated assembly code provides more insight by revealing the importance of processor-specific instructions and of compiler maturity, both of which strongly, and sometimes unexpectedly, influence performance. We conclude that it is difficult to obtain performance portability on modern cache-based computers, and comment on the implications of this result.

VanderWijngaart, Rob F.↗

Outgassing Data for Selecting Spacecraft Materials

Outgassing data, derived from tests at 396 K (125 C) for 24 hours in vacuum as per ASTM E 595-77, have been compiled for numerous materials for spacecraft use. The data presented are the total mass loss (TML) and the collected volatile condensable materials (CVCM). The various materials are compiled by likely usage and alphabetically.

Campbell, William A., Jr.↗

Quantifying Astronaut Tasks: Robotic Technology and Future Space Suit Design

The primary aim of this research effort was to advance the current understanding of astronauts' capabilities and limitations in space-suited EVA by developing models of the constitutive and compatibility relations of a space suit, based on experimental data gained from human test subjects as well as a 12 degree-of-freedom human-sized robot, and utilizing these fundamental relations to estimate a human factors performance metric for space suited EVA work. The three specific objectives are to: 1) Compile a detailed database of torques required to bend the joints of a space suit, using realistic, multi- joint human motions. 2) Develop a mathematical model of the constitutive relations between space suit joint torques and joint angular positions, based on experimental data and compare other investigators' physics-based models to experimental data. 3) Estimate the work envelope of a space suited astronaut, using the constitutive and compatibility relations of the space suit. The body of work that makes up this report includes experimentation, empirical and physics-based modeling, and model applications. A detailed space suit joint torque-angle database was compiled with a novel experimental approach that used space-suited human test subjects to generate realistic, multi-joint motions and an instrumented robot to measure the torques required to accomplish these motions in a space suit. Based on the experimental data, a mathematical model is developed to predict joint torque from the joint angle history. Two physics-based models of pressurized fabric cylinder bending are compared to experimental data, yielding design insights. The mathematical model is applied to EVA operations in an inverse kinematic analysis coupled to the space suit model to calculate the volume in which space-suited astronauts can work with their hands, demonstrating that operational human factors metrics can be predicted from fundamental space suit information.

Newman, Dava↗

Laboratory Astrophysics Needs of the Herschel Space Observatory

The science teams of the Herschel Space Observatory have identified a number of areas where laboratory study is required for proper interpretation of Herschel observational data. The most critical is the collection and compilation of laboratory data on spectral line frequencies, transition probabilities and energy levels for the known astrophysical atomic and molecular species in 670 to 57 micron wavelength range of Herschel. The second most critical need is the compilation of collisional excitation cross sections for the species known to dominate the energy balance in the ISM and the temperature dependent chemical reaction rates. On the theoretical front, chemical and radiative transfer models need to be prepared in advance to assess calibration and identify instrument anomalies. In the next few years there will be a need to incorporate spectroscopists and theoretical chemists into teams of astronomers so that the spectroscopic surveys planned can he properly calibrated and rapidly interpreted once the data becomes available. The science teams have also noted that the enormous prospects for molecular discovery will be greatly handicapped by the nearly complete lack of spectroscopic data for anything not already well known in the ISM. As a minimum, molecular species predicted to exist by chemical models should be subjected to detailed laboratory study to ensure conclusive detections. This has the greatest impact on any astrobiology program that might be proposed for Herschel. Without a significant amount of laboratory work in the very near future Herschel will not be prepared for many planned observations, much less addressing the open questions in molecular astrophysics.

Pearson, J. C.↗

Wilbur and Orville Wright: A Reissue of a Chronology Commemorating the Hundredth Anniversary of the Birth of Orville Wright, August 19, 1871

During the year 2003, hundreds of events will mark the one-hundredth anniversary of the Wright brothers historic first flights at Kitty Hawk, North Carolina. The centennial year will witness exhibitions, lectures, television documentaries, films, air shows, flight recreations of Wright aircraft, the issuing of postage stamps and medals, the publication of dozens of new books and articles, and numerous other commemorative activities. One of these events, although not likely to make the evening news, is among the most important of all in terms of a lasting contribution to the observance of this ultimate aviation milestone: the reprinting of Arthur G. Renstrom WIlbur & Orville Wrght: A Chronology Commemorating the Hundredth Anniversary of the Birth of Orville Wright, August 19, 1871. Since its appearance in 1975, Wilbur end Orville Wright: A Chronology has become indispensable to students and authors concerned with the life and work of the famous brothers. No doubt every book on the subject published in the last quarter century, including three of my own, was written with this treasure close at hand. This volume is far more than a simple compilation of dates and facts. Renstrom was a master reference librarian and bibliographer with a passion for aviation and the Wright brothers. He brought his considerable research skills to bear on the topic, and the result is a richly detailed, ever-informative, often entertaining walk through the lives and achievements of these two extraordinary individuals. Renstrom was not content to offer a date with a one-line tidbit. His entries are brimming with information. This is a highly readable reference work that, believe it or not, can be enjoyably read from cover to cover. The project was clearly a labor of love by a talented professional. During most of the last twenty years, I have been privileged to be the curator of the 1903 Wright Flyer at the Smithsonian Institution s National Air and Space Museum. The position brings a steady stream of inquiries about the Wright airplane and the endlessly fascinating brothers who created it. I do not know how I would have done this job without Renstrom s superb volume on my bookshelf. It is the first place I go to check anything on the Wright brothers, and I typically find what I am looking for in its pages. Arthur Renstrom also published two other classic reference works on the Wright brothers: Wilbur & Orville Wright: A Bibliography Commemorating the Hundredth Anniversary of the Birth of Wilbur Wright, April 16, 1867, in 1968 (an updated revision was published by the National Aeronautics and Space Administration in 2002) and Wilbur & Orville Wright, Pictorial Materials: A Documentary Guide in 1982, completing a series of research tools for which there are few peers on any subject. He was also part of the team that produced the landmark two-volume compilation of the Wrights letters, notebooks, and diaries in 1953, The Papers of Wilbur and Orville Wright, edited by Marvin W. McFarland. Renstrom s contribution to the documentation and preservation of the Wright story is a lasting legacy that will serve researchers, students, and general enthusiasts for generations to come. In this busy, high-profile anniversary year, the reprinting of a nearly thirty-year-old reference book may seem a mundane and quiet contribution to the celebration surrounding the Wright brothers world-changing achievement, but it is perhaps one of the most important. The U.S. Centennial of Flight Commission and NASA are to be commended for their foresight.

Renstrom, Arthur George↗

Transition from Research to Operations: Assessing Value of Experimental Forecast Products within the NWSFO Environment

The NASA Short-term Prediction Research and Transition (SPoRT) Center seeks to accelerate the infusion of NASA Earth Science Enterprise (ESE) observations, data assimilation and modeling research into NWS forecast operations and decision-making. To meet long-term program expectations, it is not sufficient simply to give forecasters sophisticated workstations or new forecast products without fully assessing the ways in which they will be utilized. Close communication must be established between the research and operational communities so that developers have a complete understanding of user needs. In turn, forecasters must obtain a more comprehensive knowledge of the modeling and sensing tools available to them. A major goal of the SPoRT Program is to develop metrics and conduct assessment studies with NWS forecasters to evaluate the impacts and benefits of ESE experimental products on forecast skill. At a glance the task seems relatively straightforward. However, performing assessment of experimental products in an operational environment is demanding. Given the tremendous time constraints placed on NWS forecasters, it is imperative that forecaster input be obtained in a concise unobtrusive manor. Great care must also be taken to ensure that forecasters understand their participation will eventually benefit them and WFO operations in general. Two requirements of the assessment plan developed under the SPoRT activity are that it 1) Can be implemented within the WFO environment; and 2) Provide tangible results for BOTH the research and operational communities. Supplemental numerical quantitative precipitation forecasts (QPF) were chosen as the first experimental SPoRT product to be evaluated during a Pilot Assessment Program conducted 1 May 2003 within the Huntsville AL National Weather Service Forecast Office. Forecast time periods were broken up into six- hour bins ranging from zero to twenty-four hours. Data were made available for display in AWIPS on an operational basis so they could be efficiently incorporated into the forecast process. The methodology used to assess the value of experimental QPFs compared to available operational products is best described as a three-tier approach involving both forecasters and research scientists. Tier-one is a web-based survey completed by duty forecasters on the aviation and public desks. The survey compiles information on how the experimental product was used in the forecast decision making process. Up to 6 responses per twenty-four hours can be compiled during a precipitation event. Tier-two consists of an event post mortem and experimental product assessment performed daily by the NASA/NWS Liaison. Tier-three is a detailed breakdown/analysis of specific events targeted by either the NWS SO0 or SPoRT team members. The task is performed by both NWS and NASA research scientists and may be conducted once every couple of months. The findings from the Pilot Assessment Program will be reported at the meeting.

Lapenta, William M.↗

Dissecting global diversity patterns: examples from the Ordovician Radiation

Although the history of life has been characterized by intermittent episodes of radiation that can be recognized in global compilations of biodiversity, it does not necessarily follow that these episodes are caused by processes that occurred uniformly around the world. Major diversity increases could be generated by the cumulative effects of different mechanisms operating simultaneously at several geographic or environmental scales. The purpose of this review is to describe ongoing research on the manifestations, at several scales, of the Ordovician Radiation, which was among the most extensive intervals of diversification in the history of life. Through much of the period, diversity was concentrated most heavily near regions of active mountain building and volcanism; differences in diversity patterns from continent to continent, and among regions within continents, reflect this overprint. While this suggests a linkage of the Radiation and tectonic activity, this is by no means the only mediating agent. Outcrop-based research in North America has demonstrated that tectonic activity was detrimental to some biotic elements, in contrast to its effects on other organisms. Moreover, in the Great Basin of North America where the local stratigraphic record is of particularly high quality, biotic transitions characteristic of the period occurred far more rapidly than observed in global compilations of diversity, suggesting that the global rate of transition may represent the aggregate sum of transitions that occurred abruptly, but at different times, around the world. Finally, it has been demonstrated that, in concert with an increase in average age, the environmental and geographic ranges of Ordovician genera both increased significantly through the period, indicating a role for intrinsic factors in producing Ordovician biotic patterns.

Non-NASA Center↗

Ten years in the library: new data confirm paleontological patterns

A comparison is made between compilations of times of origination and extinction of fossil marine animal families published in 1982 and 1992. As a result of ten years of library research, half of the information in the compendia has changed: families have been added and deleted, low-resolution stratigraphic data been improved, and intervals of origination and extinction have been altered. Despite these changes, apparent macroevolutionary patterns for the entire marine fauna have remained constant. Diversity curves compiled from the two data bases are very similar, with a goodness-of-fit of 99%; the principal difference is that the 1992 curve averages 13% higher than the older curve. Both numbers and percentages of origination and extinction also match well, with fits ranging from 83% to 95%. All major events of radiation and extinction are identical. Therefore, errors in large paleontological data bases and arbitrariness of included taxa are not necessarily impediments to the analysis of pattern in the fossil record, so long as the data are sufficiently numerous.

NASA Discipline Number 52-40↗

L' AND M' Photometry Of Ultracool Dwarfs

We have compiled L' (3.4-4.1 microns) and M' (4.6- 4.8 microns) photometry of 63 single and binary M, L, and T dwarfs obtained at the United Kingdom Infrared Telescope using the Mauna Kea Observatory filter set. This compilation includes new L' measurements of eight L dwarfs and 13 T dwarfs and new M' measurements of seven L dwarfs, five T dwarfs, and the M1 dwarf Gl 229A. These new data increase by factors of 0. 6 and 1.6, respectively, the numbers of ultracool dwarfs T (sub eff) </= 2400 K for which L' and M' measurements have been reported. We compute L(sub bol), BC(sub K), and T(sub eff) for 42 dwarfs whose flux-calibrated JHK spectra, L' photometry, and trigonometric parallaxes are available, and we estimate these quantities for nine other dwarfs whose parallaxes and flux-calibrated spectra have been obtained. BC(SUB K) is a well-behaved function of near-infrared spectral type with a dispersion of approx. 0.1 mag for types M6-T5 it is significantly more scattered for types T5-T9. T (sub eff) declines steeply and monotonically for types M6-L7 and T4-T9, but it is nearly constant at approx. 1450 K for types L7-T4 with assumed ages of approx. 3 Gyr. This constant T(sub eff) is evidenced by nearly unchanging values of L'-M' between types L6 and T3. It also supports recent models that attribute the changing near-infrared luminosities and spectral features across the L-T transition to the rapid migration, disruption, and/or thinning of condensate clouds over a narrow range of T(sub eff). The L' and M' luminosities of early-T dwarfs do not exhibit the pronounced humps or inflections previously noted in l through K bands, but insufficient data exist for types L6-T5 to assert that M(Sub L') and M(sub M') are strictly monotonic within this range of typew. We compare the observed K, L', and M' luminosities of L and T dwarfs in our sample with those predicted by precipitation-cloud-free models for varying surface gravities and sedimentation efficiencies.

COOL STARS↗

Low NO(x) Combustor Development

The goal of these efforts was the development of an ultra-low emissions, lean-burn combustor for the High Speed Civil Transport. The HSCT Mach 2.4 FLADE C1 Cycle was selected as the baseline engine cycle. A preliminary compilation of performance requirements for the HSCT combustor system was developed. The emissions goals of the program, baseline engine cycle, and standard combustor performance requirements were considered in developing the compilation of performance requirements. Seven combustor system designs were developed. The development of these system designs was facilitated by the use of spreadsheet-type models which predicted performance of the combustor systems over the entire flight envelope of the HSCT. A chemical kinetic model was developed for an LPP combustor and employed to study NO(x) formation kinetics, and CO burnout. These predictions helped to define the combustor residence time. Five fuel-air mixer concepts were analyzed for use in the combustor system designs. One of the seven system designs, one using the Swirl-Jet and Cyclone Swirler fuel-air mixers, was selected for a preliminary mechanical design study.

Kastl, J. A.↗

Size Distribution of Genesis Solar Wind Array Collector Fragments Recovered

Genesis launched in 2001 with 271 whole and 30 half hexagonally-shaped collectors mounted on 5 arrays, comprised of 9 materials described in [1]. The array collectors were damaged during re-entry impact in Utah in 2004 [2], breaking into many smaller pieces and dust. A compilation of the number and approximate size of the fragments recovered was compiled from notes made during the field packaging performed in the Class 10,000 cleanroom at Utah Test and Training Range [3].

Allton, J. H.↗

[Exploring Aeronautics]

This summer I have been working with the N.A.S.A. Project at Cuyahoga Community College (Tri-C) under the title of Exploring Aeronautics Project Leader. The class that I have worked with is comprised of students that will enter the eighth grade in the fall of 2004. The program primarily focuses upon math proficiency and individualized class projects. My duties have encompassed both realms. During the first 2-3 weeks of my internship, I worked at NASA Glenn Research Center (GRC) researching, organizing, and compiling information for weekly Scholastic Challenges and the Super Scholastic Challenge. I was able to complete an overview of Scholastic Challenge and staff responsibilities regarding the competition; a proposal for an interactive learning system, Quizdom; a schedule for challenge equipment, as well as a schedule listing submission deadlines for the staff. Also included in my tasks, during these first 2-3 weeks, were assisting Tammy Allen and Candice Thomas with the student application review and interview processes for student applicants. For the student and parent orientation, I was assigned publications and other varying tasks to complete before the start of the program. Upon the commencement of the program, I changed location from NASA GRC to Tri-C Metro Campus, where student classes for the Cleveland site are held. During the duration of the program, I work with the instructor for the Exploring Aeronautics class, kkkk, assisting in classroom management, daily attendance, curriculum, project building, and other tasks as needed. These tasks include the conducting of the weekly competition, known as Scholastic Challenge. As a Project Leader, I am also responsible for one subject area of the Scholastic Challenge aspect of the N.A.S.A. Project curriculum. Each week I have to prepare a mission that the participants will take home the following Monday and at least 10 questions that will be included in the pool of questions used for the Scholastic Challenge competition on Thursdays. For at least one of these competitions, I must compile all mission and question information submitted by the staff, distribute missions to the students, and enter questions into Jeopardy formatted PowerPoint presentation. Unique to the N.A.S.A. Project are its Saturday sessions and opportunities for field trips. As a Project Leader, I am required to attend all field trips and Saturday sessions held for participants and their parent(s)/guardian(s). The Saturday sessions do not require my assistance because they are facilitated by a contracting company, Imhotep. This leaves my duties to observation unless instructed otherwise.

Robinson, Brandi↗

Perturbed Equations of Motion for Formation Flight Near the Sun-Earth L2 Point

This Memorandum Report consists of a compilation of three individual reports, of increasing complexity, describing investigations of formation flight of spacecraft in the vicinity of the L2 Sun-Earth 1ibration point. The individual reports form the following parts of this compilation: - Introduction to the relative motion of spacecraft about the Sun-Earth L2 Point - Linear and quadratic modelling and solution of the relative motion - Modelling the Perturbations - Elliptical Earth Orbit, Lunar Gravity, Solar Radiation Pressure, Thrusters. The three parts are self-contained, with somewhat, varying notation and terminology. After fair1y significant literature searches: this new work (of Parts 2 and 3) is deemed to be unique because it describes the primary perturbations to the description of relative motion between nearby spacecraft. The effect of the elliptical motion of the Earth about the Sun was verified to be the dominant perturbation to the circular restricted three body problem. Contributions due to lunar gravity and solar radiation pressure are seen to have much smaller effect.

Segerman, Alan M.↗

Mars Sample Handling Protocol Workshop Series: Workshop 4

In preparation for missions to Mars that will involve the return of samples to Earth, it will be necessary to prepare for the receiving, handling, testing, distributing, and archiving of martian materials here on Earth. Previous groups and committees have studied selected aspects of sample return activities, but specific detailed protocols for the handling and testing of returned samples must still be developed. To further refine the requirements for sample hazard testing and to develop the criteria for subsequent release of sample materials from quarantine, the NASA Planetary Protection Officer convened a series of workshops in 2000-2001. The overall objective of the Workshop Series was to produce a Draft Protocol by which returned martian sample materials can be assessed for biological hazards and examined for evidence of life (extant or extinct) while safeguarding the purity of the samples from possible terrestrial contamination. This report also provides a record of the proceedings of Workshop 4, the final Workshop of the Series, which was held in Arlington, Virginia, June 5-7, 2001. During Workshop 4, the sub-groups were provided with a draft of the protocol compiled in May 2001 from the work done at prior Workshops in the Series. Then eight sub-groups were formed to discuss the following assigned topics: Review and Assess the Draft Protocol for Physical/Chemical Testing Review and Assess the Draft Protocol for Life Detection Testing Review and Assess the Draft Protocol for Biohazard Testing Environmental and Health/Monitoring and Safety Issues Requirements of the Draft Protocol for Facilities and Equipment Contingency Planning for Different Outcomes of the Draft Protocol Personnel Management Considerations in Implementation of the Draft Protocol Draft Protocol Implementation Process and Update Concepts This report provides the first complete presentation of the Draft Protocol for Mars Sample Handling to meet planetary protection needs. This Draft Protocol, which was compiled from deliberations and recommendations from earlier Workshops in the Series, represents a consensus that emerged from the discussions of all the sub-groups assembled over the course of the five Workshops of the Series. These discussions converged on a conceptual approach to sample handling, as well as on specific analytical requirements. Discussions also identified important issues requiring attention, as well as research and development needed for protocol implementation.

Race Margaret S.↗

Reducing software security risk through an integrated approach

The fourth quarter delivery, FY'01 for this RTOP is a Property-Based Testing (PBT), 'Tester's Assistant' (TA). The TA tool is to be used to check compiled and pre-compiled code for potential security weaknesses that could be exploited by hackers. The TA Instrumenter, implemented mostly in C++ (with a small part in Java), parsels two types of files: Java and TASPEC. Security properties to be checked are written in TASPEC. The Instrumenter is used in conjunction with the Tester's Assistant Specification (TASpec)execution monitor to verify the security properties of a given program.

software security↗