Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Distributed Software Development”

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,117 records · Page 62

Interaction of loading pattern and nuclear data uncertainties in reactor core calculations

Along with best-estimate calculations for design and safety analysis, understanding uncertainties is important to determine appropriate design margins. In this framework, nuclear data uncertainties and their propagation to full core calculations are a critical issue. To deal with this task, different error propagation techniques, deterministic and stochastic are currently developed to evaluate the uncertainties in the output quantities. Among these is the sampling based uncertainty and sensitivity software XSUSA which is able to quantify the influence of nuclear data covariance on reactor core calculations. In the present work, this software is used to investigate systematically the uncertainties in the power distributions of two PWR core loadings specified in the OECD UAM-Benchmark suite. With help of a statistical sensitivity analysis, the main contributors to the uncertainty are determined. Using this information a method is studied with which loading patterns of reactor cores can be optimized with regard to minimizing power distribution uncertainties. It is shown that this technique is able to halve the calculation uncertainties of a MOX/UOX core configuration. (authors)

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

Using the cFS Command and Data Dictionary (CCDD) to Automate Software Development on Habulous

Final paper is attached. The NASA developed Core Flight System (cFS) is a reusable software architecture that has been used on multiple spaceflight missions. By using this framework, missions are able to reuse code from other missions, as well as leverage deployment onto similar computer architectures (i.e. not "reinvent the wheel" on each new mission). The success in the cFS concept can be seen in the large number of projects using cFS at FSW-2018. The Habulous project is an Earth-based testbed, used for hardware and software that may one day be used on a future space habitat unit, with many participating groups from various NASA centers and aerospace organizations around the country. The distributed nature of the various teams mean that defining (and following) an interface definition is critical on the project. Additionally, since various groups use various types of computer hardware (32/64-bit, big/little endian, Linux/VxWorks/Windows) many additional complications exist in interfacing all the various components into a final integrated system. cFS is used on the majority the flight software (FSW) in running in Habulous. But some subsystems have elected to not use cFS, and use a software bridge (called SBN_lib) to interact with the other cFS nodes in Habulous. In order to most efficiently develop the FSW, a central database is used to define and store each message sent by cFS. A Command and Data Dictionary (CDD) is something nearly universal on spacecraft, but as a team we worked to develop the CDD before the SW development was complete, and not treat it like "as built" documentation. To manage the CDD, the cFS Command and Data Dictionary (CCDD) tool was chosen (available from NASA as open source software). The CCDD tool has successfully been used to automate/autocode a large amount of software used on Habulous, as we are hoping to use it to define even more items in the future (time-triggered Ethernet (TTE) network maps, CPU scheduling). Additionally, Habulous has been exploring the use of cFS on wildly heterogeneous CPUs, and how to coordinate all those various machines using/extending the software bus – network (SBN) application in cFS, as well as TTE to coordinate message passing between various synchronized machines. The major topics to be covered in the presentation are: (1) Updating to the CCSDS_v2 extended headers (and using CPU# as subsystem ID). (2) Managing all the message identification numbers for each cFS message sent/received on any of the various CPUs. (3) Using the CCDD information to automatically generate the C-header files that define the structure for all software bus (SB) commands/telemetry messages. (4) Using the CCDD to automatically generate XML Telemetry and Command Exchange (XTCE) files, which streams display production/integration/testing in a web based display architecture (5) Extending/customizing SBN to pass messages among computers on multiple networks. (6) Using "Protobetter" inside SBN to manage different endian-ness/architectures. (7) Using SBN_lib to allow non-cFS node to communicate with cFS nodes. (8) Developing TTE network and schedule tables for all the various CPUs to use.

Hirsh, Robert L.↗

SBbadger: biochemical reaction networks with definable degree distributions

Abstract Motivation An essential step in developing computational tools for the inference, optimization and simulation of biochemical reaction networks is gauging tool performance against earlier efforts using an appropriate set of benchmarks. General strategies for the assembly of benchmark models include collection from the literature, creation via subnetwork extraction and de novo generation. However, with respect to biochemical reaction networks, these approaches and their associated tools are either poorly suited to generate models that reflect the wide range of properties found in natural biochemical networks or to do so in numbers that enable rigorous statistical analysis. Results In this work, we present SBbadger, a python-based software tool for the generation of synthetic biochemical reaction or metabolic networks with user-defined degree distributions, multiple available kinetic formalisms and a host of other definable properties. SBbadger thus enables the creation of benchmark model sets that reflect properties of biological systems and generate the kinetics and model structures typically targeted by computational analysis and inference software. Here, we detail the computational and algorithmic workflow of SBbadger, demonstrate its performance under various settings, provide sample outputs and compare it to currently available biochemical reaction network generation software. Availability and implementation SBbadger is implemented in Python and is freely available at https://github.com/sys-bio/SBbadger and via PyPI at https://pypi.org/project/SBbadger/. Documentation can be found at https://SBbadger.readthedocs.io. Supplementary information Supplementary data are available at Bioinformatics online.

59 BASIC BIOLOGICAL SCIENCES↗

J/Psi Photoproduction Near Threshold With CLAS12

The structure of the proton is comprised of quarks and a sea of gluons. A mechanism that can extract the characteristics of the hidden-color correlations of the nuclear wavefunction is the production of charm near threshold. Due to the fact that momentum transfer is large near threshold in the production of J/ψ , all three valence quarks must act coherently to ex- change energy for the reaction to occur. Models have been developed to predict the nature of J/ψ photoproduction at these specific energies. These include production mechanisms with the two-gluon and three-gluon exchanges. The transferred momentum dependence of the differential cross sections are sensitive to the gluonic form factors, which describe the distribution of color charge in the proton. The CLAS12 detector is capable of measuring J/ψ photoproduction at the energy range close to the threshold. Work showcased in this dissertation encompasses the preparation of the CLAS12 experiments, including the optimization of tracking reconstruction through the study of the Torus magnetic field. In terms of software, contributions were made to the CLAS12 Event Builder, a key stage of reconstruction where event-by-event information is summarized for efficient data analysis. After the run periods were successfully completed, analysis of the RG-A data commenced and an analysis framework was developed to measure the differential and total cross sections of J/ψ photoproduction in Hall B.

Newton, Joseph↗

Distributed systems and Ada

Viewgraphs of two briefings designed to provide information to the Software I and V Study Group to help complete the I and V study task are given. The information is taken from the areas of Ada real-time processing support, Ada run-time environments, Ada program construction, object oriented design, and Ada/UNIX/POSIX interfaces. Also covered are the development, integration, and verification of Ada systems; fault tolerance and Ada; and Ada programming standards, techniques, and tools.

Source record↗

Meteor44 Video Meteor Photometry

Meteor44 is a software system developed at MSFC for the calibration and analysis of video meteor data. The dynamic range of the (8bit) video data is extended by approximately 4 magnitudes for both meteors and stellar images using saturation compensation. Camera and lens specific saturation compensation coefficients are derived from artificial variable star laboratory measurements. Saturation compensation significantly increases the number of meteors with measured intensity and improves the estimation of meteoroid mass distribution. Astrometry is automated to determine each image's plate coefficient using appropriate star catalogs. The images are simultaneously intensity calibrated from the contained stars to determine the photon sensitivity and the saturation level referenced above the atmosphere. The camera s spectral response is used to compensate for stellar color index and typical meteor spectra in order to report meteor light curves in traditional visual magnitude units. Recent efforts include improved camera calibration procedures, long focal length 'streak' meteor photometry and two-station track determination. Meteor44 has been used to analyze data from the 2001, 2002 and 2003 MSFC Leonid observational campaigns as well as several lesser showers. The software is interactive and can be demonstrated using data from recent Leonid campaigns.

Swift, Wesley R.↗

Meteor44 Video Meteor Photometry

Meteor44 is a software system developed at MSFC for the calibration and analysis of video meteor data. The dynamic range of the (8bit) video data is extended by approximately 4 magnitudes for both meteors and stellar images using saturation compensation. Camera and lens specific saturation compensation coefficients are derived from artificial variable star laboratory measurements. Saturation compensation significantly increases the number of meteors with measured intensity and improves the estimation of meteoroid mass distribution. Astrometry is automated to determine each image s plate coefficient using appropriate star catalogs. The images are simultaneously intensity calibrated from the contained stars to determine the photon sensitivity and the saturation level referenced above the atmosphere. The camera s spectral response is used to compensate for stellar color index and typical meteor spectra in order to report meteor light curves in traditional visual magnitude units. Recent efforts include improved camera calibration procedures, long focal length "streak" meteor photome&y and two-station track determination. Meteor44 has been used to analyze data from the 2001.2002 and 2003 MSFC Leonid observational campaigns as well as several lesser showers. The software is interactive and can be demonstrated using data from recent Leonid campaigns.

Swift, Wesley R.↗

High temperature high velocity direct power extraction using an open-cycle oxy-combustion system

The implementation of oxy-fuel technology in fossil-fuel power plants may contribute to increased system efficiencies and a reduction of pollutant emissions. One technology that has potential to utilize the temperature of undiluted oxy-combustion flames is open-cycle magnetohydrodynamic (MHD) power generators. These systems can be configured as a topping cycle and provide high enthalpy, electrically conductive flows for direct conversion of electricity. This report presents the design and modeling strategies of a MHD combustor operating at temperatures exceeding 3000 K. Throughout the study, computational fluid dynamics (CFD) models were extensively used as a design and optimization tool. A lab-scale 60 kWth model was designed, manufactured and tested as part of this project. A fully-coupled numerical method was developed in ANSYS FLUENT to characterize the heat transfer in the system. This study revealed that nozzle heat transfer may be predicted through a 40% reduction of the semi-empirical Bartz correlation. Experimental results showed good agreement with the numerical evaluation, with the combustor exhibiting a favorable performance when tested during extended time periods. A transient numerical method was employed to analyze fuel injector geometries for the 60-kW combustor. The ANSYS FLUENT study revealed that counter-swirl inlets achieve a uniform pressure and velocity ratio when the ports of the injector length to diameter ratio (L/D) is 4. An angle of 115 degrees was found to increase distribution efficiency. The findings show that this oxy-combustion concept is capable of providing a high-enthalpy environment for seeding, in order to render the flow to be conductive. Based on previous findings, temperatures in the range of 2800-3000 K may enable magnetohydrodynamic power extraction. The heat loss fraction in this oxy-combustion system, based on CFD and analytical calculations, at optimal operating conditions, was estimated to be less than 10 percent. Furthermore, the heat transfer design removed approximately 7 MW/m2. The results observed in the lab-scale system were employed to develop a 1-MW scaled prototype. Scaling methods were based on critical design criteria found in similar systems, aimed at replicating combustion flow fields and reducing possible instabilities. A numerical simulation of the combustor wall was developed for a combined thermal steady model and static structural model. This combined model was developed predict combined stress parameters within the wall during testing conditions. Both models were developed within ANSYS FEA software package. The relative accuracy presented as well major performance parameters are discussed to assess the design's validity and ensure safety. The scaled prototype was manufactured through selective laser melting (SLM)-based additive manufacturing to reduce lead times and increase geometrical complexity. Additional CFD models were developed to optimize coolant manifold system parameters and perform a parametric study on channel geometry. An investigation on coolant manifold geometry demonstrated improvements in channel flow distribution when enlarging manifold lengths and increasing the number of tubes feeding into the flow. A three-dimensional model based on a single channel was developed to capture the effect of variable properties and thermal stratification. All cases in the simulation exhibited higher wall temperatures and lower convective coefficients than those determined through 1-D analytical equations. This implies that pressure and velocity safety factors must be implemented during system operation. Overall, the findings made in this investigation are thought to be of value to researchers and industrial practitioners when designing oxy-fuel direct power extraction systems operating at temperatures exceeding 3000 K. In addition to this, the implementation of the developed technology at pilot and commercial scales could result in a significant improvement in the efficiencies of heritage and next-generation power cycles.

03 NATURAL GAS↗

Exploring Architectural-Aware Affinity Policies in Modern HPC Runtimes

Modern commodity and High-Performance Computing (HPC) systems are evolving with complex CPU architectures. These architectures now feature higher core and NUMA domain counts and implement features such as hyperthreading. When considering significant differences in hardware configurations, library availability, and hardware-tailored system/software stacks, which could substantially vary from one system to another, performance portability is hard to achieve. Throughout the years, this trend resulted in an increasingly high burden on application developers to fine-tune their workloads for each architecture. This work explores how hardware-dependent aspects such as locality/process/thread affinity affect performance in modern CPU architectures. We focus our study on the Global Memory and Threading (GMT) distributed runtime system as a representative of Partitioned Global Address Space (PGAS) software stacks commonly adopted for productivity. In particular, to appreciate performance implications, we evaluate GMT’s thread affinity policies, and, introduce two new ones which exploit architectural awareness. Finally, we explore alternative NUMA configurations via different process bindings and perform a scalability study on three HPC clusters with varying CPU architectures and NUMA layouts. Our analysis indicates that more complex architectures are more affected by affinity and binding policies and highlights the importance of setting proper runtime configurations to achieve superior performance.

Di Dio Lavore, Ian↗

Modifications to Sandia's MDT and WNTR tools for ERMA

ERMA is leveraging Sandia’s Microgrid Design Toolkit (MDT) [1] and adding significant new features to it. Development of the MDT was primarily funded by the Department of Energy, Office of Electricity Microgrid Program with some significant support coming from the U.S. Marine Corps. The MDT is a software program that runs on a Microsoft Windows PC. It is an amalgamation of several other software capabilities developed at Sandia and subsequently specialized for the purpose of microgrid design. The software capabilities include the Technology Management Optimization (TMO) application for optimal trade-space exploration, the Microgrid Performance and Reliability Model (PRM) for simulation of microgrid operations, and the Microgrid Sizing Capability (MSC) for preliminary sizing studies of distributed energy resources in a microgrid.

97 MATHEMATICS AND COMPUTING↗

Development and Application of a Portable Health Algorithms Test System

This paper describes the development and initial demonstration of a Portable Health Algorithms Test (PHALT) System that is being developed by researchers at the NASA Glenn Research Center (GRC). The PHALT System was conceived as a means of evolving the maturity and credibility of algorithms developed to assess the health of aerospace systems. Comprising an integrated hardware-software environment, the PHALT System allows systems health management algorithms to be developed in a graphical programming environment; to be tested and refined using system simulation or test data playback; and finally, to be evaluated in a real-time hardware-in-the-loop mode with a live test article. In this paper, PHALT System development is described through the presentation of a functional architecture, followed by the selection and integration of hardware and software. Also described is an initial real-time hardware-in-the-loop demonstration that used sensor data qualification algorithms to diagnose and isolate simulated sensor failures in a prototype Power Distribution Unit test-bed. Success of the initial demonstration is highlighted by the correct detection of all sensor failures and the absence of any real-time constraint violations.

Melcher, Kevin J.↗

Data Democratization: Challenges and Opportunities

Democratizing Earth data is one of the challenges many organizations around the world face in order to maximize the use of their Earth data for research, applications, education, and societal benefits. For example, at the NASA Goddard Earth Sciences (GES) Data and Information Services Center (DISC), over 1600 global and regional datasets in several NASA Earth science focus areas, including atmospheric composition, water and energy cycles, and climate variability, are archived and distributed to the public. Giovanni, the Geospatial Interactive Online Visualization and Analysis Infrastructure, was developed by GES DISC to facilitate data access and exploration, especially for novice users of Earth science. With Giovanni, users can analyze and visualize over 2000 Earth science variables (e.g., precipitation, aerosol, surface wind) without downloading data, software, the expert understanding of data formats and structures, and coding skills, lowering the barrier to data analysis/comparison by preprocessing and accessing to the data. Results of data analysis and visualization can be accessed in several popular formats (e.g., NetCDF, CSV). As a result of Giovanni's efforts, more than 3000 referral papers have been published in various fields. In spite of this, Giovanni is still difficult to use for some users. For instance, if one searches for "precipitation," it will return over 150 related variables. The question is, which one to use? Furthermore, variables from different data providers (e.g., satellites and models) are named differently with different units, further confusing users, especially those outside the communities. Data democratization is complex and multifaceted. Challenges include service and data discovery, user experiences, visualization, data quality, trustworthiness, and more. In this presentation, we will examine Giovanni as an example of challenges and opportunities in developing data democratization services.

data democratization↗

Nebraska Integrated Carbon Capture and Storage Pre-Feasibility Study

In collaboration with the Nebraska Public Power District (NPPD), the Energy & Environmental Research Center (EERC) has conducted a pre-feasibility study for a commercial-scale carbon dioxide (CO 2 ) geologic storage complex in western Nebraska integrated with potential CO 2 capture at Gerald Gentleman Station (GGS). GGS is the largest coal-fired electricity-generating station in Nebraska, emitting 8.5 million metric tons (Mt) of CO 2 annually, and is located near the town of Sutherland. This pre-feasibility (Phase 1) project has been executed as part of the U.S. Department of Energy (DOE) CarbonSAFE program, a multiphase initiative to support the deployment of large-scale carbon capture and storage (CCS) projects. Each CarbonSAFE project is required to demonstrate the potential to capture and store at least 50 million tonnes (Mt) of CO 2 over a 25-year operational period. The EERC and NPPD established a coordination team to identify challenges to a potential Nebraska CCS project, comprising local stakeholder organizations, which met twice in Lincoln and via several Webinars, providing feedback and guidance throughout the pre-feasibility study. The EERC also secured the technical support of Schlumberger Carbon Services and Computer Modelling Group Ltd. (CMG). The project comprised four technical themes, all using published information sources. Regional and stakeholder analysis, including identification of sensitive environmental areas, potential resource conflicts, and strategies for public outreach. A review of geographic and socioeconomic characteristics, in combination with geologic characterization in the subbasinal analysis described below, identified an area to the southwest and within a 75-mile radius of GGS as the most prospective for development of a storage site. This area largely avoided lands with protected status such as wetlands. A public outreach plan has also been developed for implementation in any further phases of CCS assessment in western Nebraska, for example a CarbonSAFE Phase 2 feasibility study. Scenario analysis, addressing economic and regulatory factors. GGS is the only single major source of CO 2 emissions capable of satisfying the CarbonSAFE 50-Mt scale requirement within the study region. Chemical absorption using amines was identified as the most viable technology for postcombustion CO 2 capture at GGS. The total cost of a CCS project at GGS was estimated to be between $67/tonne CO 2 for capture and auxiliary boiler to minimize parasitic load and $70/tonne CO 2 avoided cost, using the Carnegie-Mellon University Integrated Environmental Control Model (IECM). The total avoided cost included the capture facility and parasitic load, a flue gas desulfurization plant required for the use of amine solvent technology, transport via pipeline, and dedicated storage infrastructure. Nebraska has no legislation in place to address typical CCS-specific issues, for example pore space ownership for storage. Long-term liability, therefore, falls under the U.S. Environmental Protection Agency Underground Injection Control (UIC) Class 6 program regulations. Subbasinal analysis, addressing the potential for a dedicated subsurface “container” to store the required 50-Mt quantity of CO 2 . Modeling and simulation studies identified an area to the southwest of GGS with the potential for storage of 50 Mt CO 2 in the Cloverly Formation, comprising sandstones with interbedded and intermingled shales. The area of review (AOR) that would be required for monitoring under a Class VI operating permit was estimated to be as high as 400–700 square miles, due to uncertain pressure effects. The viability of this storage option is subject to significant uncertainty due to the relatively limited amount of existing characterization data available to the pre-feasibility study; for example, dynamic simulation indicated that the proposed storage rate might require as little as two or as many as 14 injection wells. A key uncertainty is the relative proportion and distribution of sandstone and shale within the Cloverly Formation. A preliminary, semiquantitative risk assessment also suggested uncertainty over storage capacity and injectivity constitute the most significant project risks at this pre-feasibility stage. No assessed risks were considered to rule out the possibility of a project moving to deployment. National Risk Assessment Partnership (NRAP) validation, using software tools developed by the National Energy Technology Laboratory (NETL) to assess risks associated with the potential 50-Mt CO 2 storage complex. NRAP tools were used to assess hypothetical leakage scenarios. Results broadly supported the conclusion of the semiquantitative risk analysis – for example, even worst-case analysis of theoretical leakage scenarios found limited migration rates and impacts. In summary, the work undertaken in this Phase 1 pre-feasibility study has shown that western Nebraska has potential to host a commercial-scale CCS project, including a dedicated storage “container” for 50 Mt of CO 2 . However, the following key challenges would need to be overcome: The business case for deploying CCS projects is uncertain; recently announced federal tax credits and sales of CO 2 for enhanced oil recovery may not cover the full costs of a CCS project at GGS, as estimated by this pre-feasibility study. The potential 50-Mt CO 2 dedicated storage container defined in this pre-feasibility study should be regarded as having a relatively low level of readiness to support a CCS project. Public outreach would be a vital element in western Nebraska, where sensitivities around such environmental issues as water resource protection and pipeline construction would need to be carefully addressed.

54 ENVIRONMENTAL SCIENCES↗

Desert Research and Technology Studies (RATS) 2007 Field Campaign Objectives and Results

Desert "RATS" (Research and Technology Studies) is a combined, multi-discipline group of inter-NASA center scientists and engineers, net-working and collaborating with representatives of industry and academia, for the purpose of conducting planetary surface exploration-focused remote field exercises. These integrated testing exercises conducted under representative analog Lunar and Mars surface terrain conditions, provide NASA the capability to validate experimental prototype hardware and software systems as well as to evaluate and develop mission operational techniques in order to identify and establish technical requirements and identify potential technology "gaps" applicable for future planetary human exploration. The 2007 D-RATS field campaign test activities were initiated based on the major themes and objectives of a notional 5-year plan developed for conducting relative analog test activities in support of the engineering evaluation and assessment of various system architectural requirements, conceptual prototype support equipment and selected technologies necessary for the establishment of a lunar outpost. Specifically, the major objectives included measuring task efficiency during robot, human, and human-robot interactive tasks associated with lunar outpost site surveying and reconnaissance activities and deployment of a representative solar panel power and distribution system. In addition, technology demonstrations were conducted with a new Lithium-ion battery and autonomous software to coordinate multiple robot activities. Secondary objectives were evaluating airlock concept mockups and prototype removable space suit over-garment elements for dust mitigation, and upgrades to the prototype extravehicular activities (EVA) communication and information system. Dry run test activities, prior to testing at a designated remote field site location, were initially conducted at the Johnson Space Center (JSC) Remote Field Demonstration Test Site. This is a multi-acre external test site located at JSC and has detailed representative terrain features simulating both Lunar and Mars surface characteristics. Both the local JSC and remote field test sites have terrain conditions that are representative and characteristic of both the Moon and Mars, such as strewn rock and volcanic ash fields, craters, rolling plains, hills, gullies, slopes, and outcrops. The D-RATS 2007 field campaign, representing the completion of its tenth year of analog testing, was conducted at the large Cinder Lake volcanic ash bed area adjacent to Flagstaff, Arizona.

Kosmo, Joseph↗

Investigation into Na and Cs activity coefficients in high salt solutions to support Cs removal in Hanford tank waste

The treatment of Hanford tank waste is one of the most technically challenging environmental cleanup activities for the U.S. Department of Energy to date. To expedite the processing of liquid waste stored in underground tanks in southeastern Washington state, it is necessary to remove the significant dose contributor, 137 Cs. Toward this effort, ion exchange with crystalline silicotitanate (CST) has been employed as part of the Tank Side Cesium Removal system. The model used to predict Cs exchange onto CST was developed using activity coefficients calculated from the Bromley equation. A series of batch contact tests that varied in [Na] were conducted to look at the impact of Na concentration on Cs distribution. Experimental distribution ratios ( K d ) were compared to the distribution ratios predicted using three different activity coefficient models: (1) commercially available HSC software, (2) the Bromley equation, and (3) a simplified approach adapted from Marcos-Arroyo et al. Ultimately, the Bromley method underpredicted the effect of ionic strength on the Na activity coefficient ( γ Na+ ), HSC overestimated the impact of ionic strength on the expected performance due to the Cs activity coefficient ( γ Cs+ ), but the simplified approach predicted the experimental K d values quite well in a binary matrix. In conclusion, expansion of this approach in complex matrices is necessary for application to Hanford tank waste.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗

Concepts and Tools for the Software Life Cycle

The tools, techniques, and aids needed to engineer, manage, and administer a large software-intensive task are themselves parts of a large softwaare base, and are incurred only at great expense. The needs of the software life cycle in terms of such supporting tools and methodologies are highlighted. The concept of a distributed network for engineering, management, and administrative functions is outlined, and the key characteristics of localized subnets in high-communications-traffic areas of software activity are discussed. A formal, deliberate, structured, systems-engineering approach for the construction of a uniform, coordinated tool set is proposed as a means to reduce development and maintenance costs, foster adaptability, enhance reliability, and promote standardization.

Tausworthe, R. C.↗

Concepts and tools for the software life cycle

The tools, techniques, and aids needed to engineer, manage, and administer a large software-intensive task are themselves parts of a large software base, and are incurred only at great expense. The needs of the software life cycle in terms of such supporting tools and methodologies are highlighted. The concept of a distributed network for engineering, management, and administrative functions is outlined, and the key characteristics of localized subnets in high-communications-traffic areas of software actively are discussed. A formal, deliberate, structured, systems-engineering approach for the construction of a uniform, coordinated tool set is proposed as a means to reduce development and maintenance costs, foster adaptability, enhance reliability, and promote standardization.

Tausworthe, R. C.↗

Preliminary design of the redundant software experiment

The goal of the present experiment is to characterize the fault distributions of highly reliable software replicates, constructed using techniques and environments which are similar to those used in comtemporary industrial software facilities. The fault distributions and their effect on the reliability of fault tolerant configurations of the software will be determined through extensive life testing of the replicates against carefully constructed randomly generated test data. Each detected error will be carefully analyzed to provide insight in to their nature and cause. A direct objective is to develop techniques for reducing the intensity of coincident errors, thus increasing the reliability gain which can be achieved with fault tolerance. Data on the reliability gains realized, and the cost of the fault tolerant configurations can be used to design a companion experiment to determine the cost effectiveness of the fault tolerant strategy. Finally, the data and analysis produced by this experiment will be valuable to the software engineering community as a whole because it will provide a useful insight into the nature and cause of hard to find, subtle faults which escape standard software engineering validation techniques and thus persist far into the software life cycle.

Campbell, Roy↗