Search NASA⌕ Search

SEARCH · Search NASA

Results for “static program analysis”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Transient analysis techniques in performing impact and crash dynamic studies

Because of the emphasis being placed on crashworthiness as a design requirement, increasing demands are being made by various organizations to analyze a wide range of complex structures that must perform safely when subjected to severe impact loads, such as those generated in a crash event. The ultimate goal of crashworthiness design and analysis is to produce vehicles with the ability to reduce the dynamic forces experienced by the occupants to specified levels, while maintaining a survivable envelope around them during a specified crash event. DYCAST is a nonlinear structural dynamic finite element computer code that started from the plans systems of a finite element program for static nonlinear structural analysis. The essential features of DYCAST are outlined.

Pifko, A. B.↗
NASA NTRS1980

Evaluation of verification and testing tools for FORTRAN programs

Two automated software verification and testing systems were developed for use in the analysis of computer programs. An evaluation of the static analyzer DAVE and the dynamic analyzer PET, which are used in the analysis of FORTRAN programs on Control Data (CDC) computers, are described. Both systems were found to be effective and complementary, and are recommended for use in testing FORTRAN programs.

Smith, K. A.↗
NASA NTRS1973

Feasibility study of the numerical integration of shell equations using the field method

The field method is developed for arbitrary open branch domains subjected to general linear boundary conditions. Although closed branches are within the scope of the method, they are not treated here. The numerical feasibility of the method has been demonstrated by implementing it in a computer program for the linear static analysis of open branch shells of revolution under asymmetric loads. For such problems the field method eliminates the well-known numerical problem of long subintervals associated with the rapid growth of extraneous solutions. Also, the method appears to execute significantly faster than other numerical integration methods.

Cohen, G. A.↗
NASA NTRS1976

Correlation of AH-1G airframe test data with a NASTRAN mathematical model

Test data was provided for evaluating a mathematical vibration model of the Bell AH-1G helicopter airframe. The math model was developed and analyzed using the NASTRAN structural analysis computer program. Data from static and dynamic tests were used for comparison with the math model. Static tests of the fuselage and tailboom were conducted to verify the stiffness representation of the NASTRAN model. Dynamic test data were obtained from shake tests of the airframe and were used to evaluate the NASTRAN model for representing the low frequency (below 30 Hz) vibration response of the airframe.

Cronkhite, J. D.↗
NASA NTRS1972

Nonapplicability of linear finite element programs to the stress analysis of tires

A static finite element stress analysis of an inflated radial car tire was carried out. The deformed shape of the sidewall presents outward bulging. The analysis of a homogeneous isotropic toroidal shell shows that the problem is common to all solids of this type. The study suggests that the geometric stiffness due to the inflation pressure has to be taken into account. Also, the resulting large displacements make it necessary for the geometry to be updated at each load step.

Durand, M.↗
NASA NTRS1980

Shell theory automated for rotational structures

Package of numerical integration programs static, buckling, vibration, and plastic analysis on thin sheels of revolution. Sheels may be subjected to distributed loads, concentrated line loads, and thermal strain. Outputs include stresses, displacement, plastic strains, and vibration and buckling results. Program aids design of aircraft bodies, spacecraft, submarines, and storage tanks. Written in FORTRAN IV for batch execution, program has been implemented on UNIVAC 1108.

Key, J.↗
NASA NTRS1997

A Categorization of Dynamic Analyzers

Program analysis techniques and tools are essential to the development process because of the support they provide in detecting errors and deficiencies at different phases of development. The types of information rendered through analysis includes the following: statistical measurements of code, type checks, dataflow analysis, consistency checks, test data,verification of code, and debugging information. Analyzers can be broken into two major categories: dynamic and static. Static analyzers examine programs with respect to syntax errors and structural properties., This includes gathering statistical information on program content, such as the number of lines of executable code, source lines. and cyclomatic complexity. In addition, static analyzers provide the ability to check for the consistency of programs with respect to variables. Dynamic analyzers in contrast are dependent on input and the execution of a program providing the ability to find errors that cannot be detected through the use of static analysis alone. Dynamic analysis provides information on the behavior of a program rather than on the syntax. Both types of analysis detect errors in a program, but dynamic analyzers accomplish this through run-time behavior. This paper focuses on the following broad classification of dynamic analyzers: 1) Metrics; 2) Models; and 3) Monitors. Metrics are those analyzers that provide measurement. The next category, models, captures those analyzers that present the state of the program to the user at specified points in time. The last category, monitors, checks specified code based on some criteria. The paper discusses each classification and the techniques that are included under them. In addition, the role of each technique in the software life cycle is discussed. Familiarization with the tools that measure, model and monitor programs provides a framework for understanding the program's dynamic behavior from different, perspectives through analysis of the input/output data.

Lujan, Michelle R.↗
NASA NTRS1987

Efficient Ada multitasking on a RISC register window architecture

This work addresses the problem of reducing context switch overhead on a processor which supports a large register file - a register file much like that which is part of the Berkeley RISC processors and several other emerging architectures (which are not necessarily reduced instruction set machines in the purest sense). Such a reduction in overhead is particularly desirable in a real-time embedded application, in which task-to-task context switch overhead may result in failure to meet crucial deadlines. A storage management technique by which a context switch may be implemented as cheaply as a procedure call is presented. The essence of this technique is the avoidance of the save/restore of registers on the context switch. This is achieved through analysis of the static source text of an Ada tasking program. Information gained during that analysis directs the optimized storage management strategy for that program at run time. A formal verification of the technique in terms of an operational control model and an evaluation of the technique's performance via simulations driven by synthetic Ada program traces are presented.

Kearns, J. P.↗
NASA NTRS1996

MSC/NASTRAN DMAP Alter Used for Closed-Form Static Analysis With Inertia Relief and Displacement-Dependent Loads

Solving for the displacements of free-free coupled systems acted upon by static loads is a common task in the aerospace industry. Often, these problems are solved by static analysis with inertia relief. This technique allows for a free-free static analysis by balancing the applied loads with the inertia loads generated by the applied loads. For some engineering applications, the displacements of the free-free coupled system induce additional static loads. Hence, the applied loads are equal to the original loads plus the displacement-dependent loads. A launch vehicle being acted upon by an aerodynamic loading can have such applied loads. The final displacements of such systems are commonly determined with iterative solution techniques. Unfortunately, these techniques can be time consuming and labor intensive. Because the coupled system equations for free-free systems with displacement-dependent loads can be written in closed form, it is advantageous to solve for the displacements in this manner. Implementing closed-form equations in static analysis with inertia relief is analogous to implementing transfer functions in dynamic analysis. An MSC/NASTRAN (MacNeal-Schwendler Corporation/NASA Structural Analysis) DMAP (Direct Matrix Abstraction Program) Alter was used to include displacement-dependent loads in static analysis with inertia relief. It efficiently solved a common aerospace problem that typically has been solved with an iterative technique.

Source record↗
NASA NTRS1975

A survey of NASTRAN improvements since level 15.5

Several improvements and capabilities were developed and installed in intermediate levels and are being analyzed and evaluated. A survey of current improvements to the program is presented which includes static analysis with differential stiffness rigid format, normal modes with differential stiffness rigid format, the TRIAAX and TRAPAX elements, the CNGRNT feature, fully stressed design, element strain energy and grid point force balance, and complex modal displacement plots.

Mcdonough, J. R.↗
NASA NTRS1976

Application of NASTRAN to large space structures

The application of NASTRAN to design studies of two very large-area lightweight structures is described. The first is the Satellite Solar Power Station, while the second is a deployable three hundred meter diameter antenna. A brief discussion of the operation of the SSPS is given, followed by a description of the structure. The use of the NASTRAN program for static, vibration and thermal analysis is illustrated and some results are given. Next, the deployable antenna is discussed and the use of NASTRAN for static analysis, buckling analysis and vibration analysis is detailed.

Balderes, T.↗
NASA NTRS1981

Advanced composite aileron for L-1011 transport aircraft: Design and analysis

Detail design of the composite aileron has been completed. The aileron design is a multi-rib configuration with single piece upper and lower covers mechanically fastened to the substructure. Covers, front, spar and ribs are fabricated with graphite/epoxy tape or fabric composite material. The design has a weight savings of 23 percent compared to the aluminum aileron. The composite aileron has 50 percent fewer fasteners and parts than the metal aileron and is predicted to be cost competitive. Structural integrity of the composite aileron was verified by structural analysis and an extensive test program. Static, failsafe, and vibration analyses have been conducted on the composite aileron using finite element models and specialized computer programs for composite material laminates. The fundamental behavior of the composite materials used in the aileron was determined by coupon tests for a variety of environmental conditions. Critical details of the design were interrogated by static and fatigue tests on full-scale subcomponents and subassemblies of the aileron.

Griffin, C. F.↗
NASA NTRS1981

The NASTRAN theoretical manual

Designed to accommodate additions and modifications, this commentary on NASTRAN describes the problem solving capabilities of the program in a narrative fashion and presents developments of the analytical and numerical procedures that underlie the program. Seventeen major sections and numerous subsections cover; the organizational aspects of the program, utility matrix routines, static structural analysis, heat transfer, dynamic structural analysis, computer graphics, special structural modeling techniques, error analysis, interaction between structures and fluids, and aeroelastic analysis.

Source record↗
NASA NTRS1984

Numerical Investigation of the Micromechanics of Composite Fracture

A generalized program for the two-dimensional analysis of static crack growth problems was developed and is being tested. In addition to a detailed examination and development of fracture criteria needed to track cracks in composites at the micromechanical level, the program employs fully automatic finite element mesh generation. This is an entirely new approach in program structure that is being taken to allow for the automatic tracking of discrete crack growth. The maximum strain energy density criterion (T-criterion) was found to be a good alternative to the minimum strain energy density criterion (S-criterion).

Source record↗
NASA NTRS2004

Using Block-local Atomicity to Detect Stale-value Concurrency Errors

Data races do not cover all kinds of concurrency errors. This paper presents a data-flow-based technique to find stale-value errors, which are not found by low-level and high-level data race algorithms. Stale values denote copies of shared data where the copy is no longer synchronized. The algorithm to detect such values works as a consistency check that does not require any assumptions or annotations of the program. It has been implemented as a static analysis in JNuke. The analysis is sound and requires only a single execution trace if implemented as a run-time checking algorithm. Being based on an analysis of Java bytecode, it encompasses the full program semantics, including arbitrarily complex expressions. Related techniques are more complex and more prone to over-reporting.

Artho, Cyrille↗