SEARCH · Search NASA

Results for “concurrent engineering 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.

SourceResearch connectionFrom yearThrough year

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

At least 289 records · Page 16

All sources NASA NTRS DOE OSTI

NASA NTRS2010

Improved Signal Processing Technique Leads to More Robust Self Diagnostic Accelerometer System

The self diagnostic accelerometer (SDA) is a sensor system designed to actively monitor the health of an accelerometer. In this case an accelerometer is considered healthy if it can be determined that it is operating correctly and its measurements may be relied upon. The SDA system accomplishes this by actively monitoring the accelerometer for a variety of failure conditions including accelerometer structural damage, an electrical open circuit, and most importantly accelerometer detachment. In recent testing of the SDA system in emulated engine operating conditions it has been found that a more robust signal processing technique was necessary. An improved accelerometer diagnostic technique and test results of the SDA system utilizing this technique are presented here. Furthermore, the real time, autonomous capability of the SDA system to concurrently compensate for effects from real operating conditions such as temperature changes and mechanical noise, while monitoring the condition of the accelerometer health and attachment, will be demonstrated.

Tokars, Roger↗

DOE OSTI2027

Conceptual design of highly-constrained splitters for the FFA@CEBAF energy upgrade study

The Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab is investigating a significant energy upgrade utilizing Fixed-Field Alternating-gradient (FFA) recirculating arcs. This upgrade requires the design of complex horizontal beam splitters to manage up to six concurrent beam passes. This paper presents the conceptual design of these splitters, which are subject to severe physical constraints imposed by the existing accelerator tunnel and multifaceted beam dynamics requirements for matching into the permanent-magnet FFA arcs. The design methodology, centered on multi-pass simulations in the Bmad toolkit, is detailed from the initial geometric layout through the advanced optics matching. Key results include a robust geometric arrangement that fits within the spatial boundaries and the development of multiple, flexible optics matching solutions. Furthermore, the design integrates a viable scheme for extracting high-energy beams for the experimental halls, a critical operational requirement. This work establishes a comprehensive and viable conceptual design, forming a baseline for future engineering and performance optimization studies.

Bodenstein, R.M. [Thomas Jefferson National Accele↗

NASA NTRS2006

Implementing Distributed Operations: A Comparison of Two Deep Space Missions

Two very different deep space exploration missions--Mars Exploration Rover and Cassini--have made use of distributed operations for their science teams. In the case of MER, the distributed operations capability was implemented only after the prime mission was completed, as the rovers continued to operate well in excess of their expected mission lifetimes; Cassini, designed for a mission of more than ten years, had planned for distributed operations from its inception. The rapid command turnaround timeline of MER, as well as many of the operations features implemented to support it, have proven to be conducive to distributed operations. These features include: a single science team leader during the tactical operations timeline, highly integrated science and engineering teams, processes and file structures designed to permit multiple team members to work in parallel to deliver sequencing products, web-based spacecraft status and planning reports for team-wide access, and near-elimination of paper products from the operations process. Additionally, MER has benefited from the initial co-location of its entire operations team, and from having a single Principal Investigator, while Cassini operations have had to reconcile multiple science teams distributed from before launch. Cassini has faced greater challenges in implementing effective distributed operations. Because extensive early planning is required to capture science opportunities on its tour and because sequence development takes significantly longer than sequence execution, multiple teams are contributing to multiple sequences concurrently. The complexity of integrating inputs from multiple teams is exacerbated by spacecraft operability issues and resource contention among the teams, each of which has their own Principal Investigator. Finally, much of the technology that MER has exploited to facilitate distributed operations was not available when the Cassini ground system was designed, although later adoption of web-based and telecommunication tools has been critical to the success of Cassini operations.

Cassini Mission↗

DOE OSTI2026

Persistent Elevated Soot Emissions Induced by Clustered Stochastic Preignition Events

Stochastic Preignition (SPI) is an abnormal combustion phenomenon that can occur in spark-ignition engines particularly under high-load operation. SPI is characterized by uncontrolled initiation of combustion prior to spark discharge, an abnormal combustion process that can lead to severe knock events and significant engine damage. SPI has been associated with fuel properties, lubricant composition, and engine design and operation. Here, in this work, a single-cylinder test engine with a dry-sump oil system was utilized to study the SPI response of E10 and E25 fuels with a range of Reid Vapor Pressure (RVP). An automated test procedure was employed, consisting of ten square-waved load profile segments, with each segment composed of 5 min of low-load operation followed by 25 min of sustained high-load operation. These tests were replicated across multiple days of testing including a lubricant triple flush between tests, and an online Fuel in Oil diagnostic measurement. Exhaust particulate emissions were continuously measured by an AVL microsoot sensor (MSS). Elevated particulate matter emissions were observed to occur concurrently with SPI events as blooms of soot. Particularly after clustered events (i.e., multiple SPI cycles occurring within 10 consecutive engine cycles), high soot emissions were observed to persist over several days of sequential operation despite daily lubricant changes, a complete warm-up procedure, and sustained low-load operation between test segments. This result implies that the particulate emissions trends may be dominated by deposit-based effects, where higher load operation is needed to alter deposition and formation processes. The observed soot blooms were also found to correspond to a reduction in the engine fueling and the fuel engine oil dilution rate despite the engine exhaust remaining at stoichiometric exhaust operation. These observations suggest that post-SPI events, pathways for lubricant migration and consumption into the combustion chamber may occur until these pathways are closed from deposit formation or ring dynamics during extended operation. These observed sooting propensity persisted with all fuels tests, but a linear correlation was observed between the summation of soot and particulate matter index (PMI) value for each fuel as well as SPI events, proving that PMI is a crucial fuel property for reducing SPI.

Splitter, Derek [Oak Ridge National Laboratory (OR↗

NASA NTRSDate not supplied

Rapid Assessment of a Lunar Surface Laboratory Module

Johnson Space Center is piloting an innovation team known as the Forge to perform rapid turnaround, concurrent engineering studies. The Forge is intended to be able to pull together a team of strategically selected domain experts to innovatively solve a specified problem within a short period of time. The Forge’s inaugural project being the development of a Lunar Surface Laboratory Module concept. The lab module is intended as an option for the Artemis program’s Lunar Architecture Team. The lab module may allow for increased science productivity and return on investment than a surface architecture with only the habitat. This paper will discuss the configuration of the Lunar Laboratory module, including the pressure vessel, its placement relative to the Surface Habitat and Pressurized Rover, and internal architecture. In order to determine the suitability of such a design, a human factors evaluation is conducted. Historically, a human factors evaluation of a habitable volume could require a month or longer, including time needed to prepare a test plan, conduct the evaluation, compile the data, and produce a report. The entire Forge effort will only last for five weeks, forcing the creation of a rapid assessment process. This rapid assessment includes three evaluation studies, all conducted and processed in the space of a single day, to determine the acceptability of the resulting design. The first evaluation is a card sort evaluation of the laboratory instruments. A brief discussion of the card sort evaluation is provided. This card sort is focused on the relative positioning of the laboratory instruments, determining whether a given instrument should be adjacent to, or separated from, another. It will use human factors personnel and both life and physical scientists as subject matter experts. The second evaluation is a science productivity tabletop evaluation. This evaluation focuses on the selection of instruments and the number of instruments, attempting to assess the amount of work the crew will be able to use the facility to do. It uses life and physical science personnel as subject matter experts. The third evaluation is a CAD or Virtual Reality human factors walkthrough evaluation. This evaluation focuses on the layout of the lab module and its connectivity to the basecamp’s pressurized elements. If possible, astronauts will be used as subject matter experts. Each of these evaluations will focus primarily on objective data with limited subjective comments, reducing the time required for processing responses. The results of each evaluation and their implications will be discussed. Based on the evaluation data, an overall acceptability of the Lunar Surface Laboratory Module produced by the Forge study can be determined. Lessons learned and recommendations for future use of the human factors rapid assessment process in early design trades will also be provided.

Lunar Laboratory↗

NASA NTRS1991

Is bigger always better? An economic study of U.S. ETO vehicle architectures

This analysis, performed as part of NASA's Space Transportation Infrastructure Study, compares the cost efficiency of two candidate launch vehicle families, used in conjunction with existing expendable launch vehicles and the Shuttle, to accomplish the nation's future space missions through 2030. Missions analyzed include those identified in NASA's Civil Needs Data Base (CNDB) and Space Exploration Initiative (SEI) Option E program, as well as estimates of commercial and U.S. Department of Defense flights. A family of Shuttle-derived In-line vehicles is compared against a family designed around a vehicle optimized for large (250t) payloads. The analysis is performed within the context of an entire space transportation architecture. The goal is to determine which architecture best captures the required missions most cost-effectively. Results indicate that, for the particular mission model analyzed, neither option is clearly superior across the entire payload range. The Shuttle-derived family displays a better evolutionary path for supporting the total mission model (CNDB plus SEI missions). It also reduces earth-to-orbit (ETO) peak funding by 20 percent. The architecture incorporating the Heavy Lift ETO family minimizes SEI program cost and on-orbit operations but is subject to greater schedule risk because of the need for concurrent ETO core and engine development.

Eimers, Dan R.↗

NASA NTRS2018

Developing a Foundation for Space-Based Two-Phase Thermal Control Systems: Future of 2-Phase Thermal Control

Two-phase thermal control systems in microgravity, with significant density differences between phases, pose challenges for many current and proposed spacecraft systems. Because of the lack of understanding of these effects and the inability to scale multiphase systems in low gravity, NASA generally opts to avoid using two-phase systems for spacecraft despite the significant performance increases and lower mass. The goal of this panel discussion will be to identify key technology gaps and challenges that thermal engineers face today when considering a two-phase thermal management system. The panel discussion will begin with a brief overview of recent and on-going NASA projects designed to elicit a fundamental understanding of gas-liquid two phase behavior as it applies to thermal control systems in the Space environment. The projects/experiments discussed will range from boiling/condensation fundamentals, heat pipes, and cryogenic storage systems. We will identify what fundamental question or questions are being addressed in each case. An overview will be also be presented to address future mission needs and the specific advantages multi-phase systems offer, in particular for low cost planetary science missions and enabling missions in extreme environments. The need for efficient heat transfer with concurrent spatial and temporal temperature stability to reduce thermally-induced noise drives a serious look at multi-phase systems as a solution. Furthermore, missions to environments such as the Venus surface or penetration of ice layers in ocean worlds will likely require them. Time will be allocated at the end of this session to allow comments and questions from attendees. The intent is to use this session as a starting point to advocate for a coordinated technology development effort in this area.

Thermal Control Systems↗

NASA NTRSDate not supplied

Thermal Design for the New Era of Lunar Instruments: Lessons Learned from NASA Goddard Space Flight Center’s Instrument Design Laboratory

As NASA enters the Age of Artemis, the resurgence of interest in the Moon has not only contributed to rapid development of crewed vehicles and habitats, it has also inspired a design renaissance for robotic and astronaut-deployed instrumentation for the lunar surface. NASA Goddard Space Flight Center’s Instrument Design Laboratory (IDL) has been at the forefront of lunar instrument concept design, and in recent years has used its collaborative and concurrent process to design instruments ranging from small devices held or worn by astronauts to large lander- or rover-mounted instruments with multiple scientific or technical functions. This paper explores the wide spectrum of lunar instruments studied by the IDL within the past few years and their thermal design nuances. A series of lessons learned will be used to categorize the general trends prevalent across lunar-specific design and the thermal and systems-level drivers for instrumentation on the surface of the Moon. While the instruments investigated in this work are not named due to their competition sensitivity and proprietary nature, it is hoped that the lessons learned captured here will help identify specific design drivers and areas of focus for the thermal and systems engineers designing the next generation of lunar instrumentation.

Lunar, instrument, artemis, design, IDL, Goddard↗

NASA NTRS2011

Environmentally Responsible Aviation (ERA) Project - N+2 Advanced Vehicle Concepts Study and Conceptual Design of Subscale Test Vehicle (STV) Final Report

NASA has set demanding goals for technology developments to meet national needs to improve fuel efficiency concurrent with improving the environment to enable air transportation growth. A figure shows NASA's subsonic transport system metrics. The results of Boeing ERA N+2 Advanced Vehicle Concept Study show that the Blended Wing Body (BWB) vehicle, with ultra high bypass propulsion systems have the potential to meet the combined NASA ERA N+2 goals. This study had 3 main activities. 1) The development of an advanced vehicle concepts that can meet the NASA system level metrics. 2) Identification of key enabling technologies and the development of technology roadmaps and maturation plans. 3) The development of a subscale test vehicle that can demonstrate and mature the key enabling technologies needed to meet the NASA system level metrics. Technology maturation plans are presented and include key performance parameters and technical performance measures. The plans describe the risks that will be reduced with technology development and the expected progression of technical maturity.

Aircraft Engines↗

DOE OSTI2022

PIP2-BD: GeV Proton Beam Dump at Fermilab's PIP-II Linac

The PIP-II superconducting RF linac is currently under construction at Fermilab and is expected to be completed by the end of 2028. PIP-II is capable of operating in a continuous-wave mode and can concurrently supply 800 MeV protons to a mega-watt, GeV-scale beam dump facility and to LBNF/DUNE. Designs for proton accumulator rings are being studied to bunch the PIP-II protons into the short pulses needed for neutrino and low-mass dark matter experiments. PIP2-BD is a proposed 100-ton LAr scintillation-only experiment, whose detector design is inspired by CENNS-10 and CCM, that would have world-leading sensitivities to BSM physics, including low-mass dark matter produced in the PIP-II proton beam dump.

42 ENGINEERING↗

NASA NTRS1988

Plume spectrometry for liquid rocket engine health monitoring

An investigation of Space Shuttle Main Engine (SSME) testing failures identified optical events which appeared to be precursors of those failures. A program was therefore undertaken to detect plume trace phenomena characteristic of the engine and to design a monitoring system, responsive to excessive activity in the plume, capable of delivering a warning of an anomalous condition. By sensing the amount of extraneous material entrained in the plume and considering engine history, it may be possible to identify wearing of failing components in time for a safe shutdown and thus prevent a catastrophic event. To investigate the possibilities of safe shutdown and thus prevent a monitor to initiate the shutdown procedure, a large amount of plume data were taken from SSME firings using laboratory instrumentation. Those data were used to design a more specialized instrument dedicated to rocket plume diagnostics. The spectral wavelength range of the baseline data was about 220 nanometers (nm) to 15 micrometer with special attention given to visible and near UV. The data indicates that a satisfactory design will include a polychromator covering the range of 250 nM to 1000 nM, along with a continuous coverage spectrometer, each having a resolution of at least 5A degrees. The concurrent requirements for high resolution and broad coverage are normally at odds with one another in commercial instruments, therefore necessitating the development of special instrumentation. The design of a polychromator is reviewed herein, with a detailed discussion of the continuous coverage spectrometer delayed to a later forum. The program also requires the development of applications software providing detection, variable background discrimination, noise reduction, filtering, and decision making based on varying historical data.

Powers, William T.↗

DOE OSTI2024

A Full-Stack Exploration of Language-Based Parallelism in Fortran 2023

This poster explores native parallel features in Fortran 2023 through the lens of supporting applications with libraries, compilers, and parallel runtimes. The language revision informally named Fortran 2008 introduced parallelism in the form of Single Program Multiple Data (SPMD) execution with two broad feature sets: (1) loop-level parallelism via do concurrent and (2) a Partitioned Global Address Space (PGAS) comprised of distributed “coarray” data structures. Fortran’s native parallelism has demonstrated high performance [1] and reduced the burden of inserting what sometimes amounts to more directives than code. Several compilers support both feature sets, typically by translating do concurrent into serial do loops annotated by parallel directives and by translating SPMD/PGAS features into direct calls to a communication library. Our research focuses primarily on two questions: (1) can the compiler’s parallel runtime library be developed in the language being compiled (Fortran) and (2) can we define an interface to the runtime that liberates compilers from being hardwired to one runtime and vice versa. We are answering these questions by developing the Parallel Runtime Interface for Fortran (PRIF) [2] and the Co-Array Fortran Framework of Efficient Interfaces to Network Environments (Caffeine) [3]. Caffeine is initially targeting adoption by LLVM Flang, a new open-source Fortran compiler developed by a broad community in industry, academia, and government labs. We are also exploring the use of these features in Inference-Engine, a deep learning library designed to facilitate neural network training and inference for high-performance computing applications written in modern Fortran.

Rasmussen, Katherine↗

DOE OSTI2022

AI-enhanced Codesign for Next-Generation Neuromorphic Circuits and Systems

This report details work that was completed to address the Fiscal Year 2022 Advanced Science and Technology (AS&T) Laboratory Directed Research and Development (LDRD) call for “AI-enhanced Co-Design of Next Generation Microelectronics.” This project required concurrent contributions from the fields of 1) materials science, 2) devices and circuits, 3) physics of computing, and 4) algorithms and system architectures. During this project, we developed AI-enhanced circuit design methods that relied on reinforcement learning and evolutionary algorithms. The AI-enhanced design methods were tested on neuromorphic circuit design problems that have real-world applications related to Sandia’s mission needs. The developed methods enable the design of circuits, including circuits that are built from emerging devices, and they were also extended to enable novel device discovery. We expect that these AI-enhanced design methods will accelerate progress towards developing next-generation, high-performance neuromorphic computing systems.

42 ENGINEERING↗

NASA NTRS1996

An Open Computing Infrastructure that Facilitates Integrated Product and Process Development from a Decision-Based Perspective

Computer applications for design have evolved rapidly over the past several decades, and significant payoffs are being achieved by organizations through reductions in design cycle times. These applications are overwhelmed by the requirements imposed during complex, open engineering systems design. Organizations are faced with a number of different methodologies, numerous legacy disciplinary tools, and a very large amount of data. Yet they are also faced with few interdisciplinary tools for design collaboration or methods for achieving the revolutionary product designs required to maintain a competitive advantage in the future. These organizations are looking for a software infrastructure that integrates current corporate design practices with newer simulation and solution techniques. Such an infrastructure must be robust to changes in both corporate needs and enabling technologies. In addition, this infrastructure must be user-friendly, modular and scalable. This need is the motivation for the research described in this dissertation. The research is focused on the development of an open computing infrastructure that facilitates product and process design. In addition, this research explicitly deals with human interactions during design through a model that focuses on the role of a designer as that of decision-maker. The research perspective here is taken from that of design as a discipline with a focus on Decision-Based Design, Theory of Languages, Information Science, and Integration Technology. Given this background, a Model of IPPD is developed and implemented along the lines of a traditional experimental procedure: with the steps of establishing context, formalizing a theory, building an apparatus, conducting an experiment, reviewing results, and providing recommendations. Based on this Model, Design Processes and Specification can be explored in a structured and implementable architecture. An architecture for exploring design called DREAMS (Developing Robust Engineering Analysis Models and Specifications) has been developed which supports the activities of both meta-design and actual design execution. This is accomplished through a systematic process which is comprised of the stages of Formulation, Translation, and Evaluation. During this process, elements from a Design Specification are integrated into Design Processes. In addition, a software infrastructure was developed and is called IMAGE (Intelligent Multidisciplinary Aircraft Generation Environment). This represents a virtual apparatus in the Design Experiment conducted in this research. IMAGE is an innovative architecture because it explicitly supports design-related activities. This is accomplished through a GUI driven and Agent-based implementation of DREAMS. A HSCT design has been adopted from the Framework for Interdisciplinary Design Optimization (FIDO) and is implemented in IMAGE. This problem shows how Design Processes and Specification interact in a design system. In addition, the problem utilizes two different solution models concurrently: optimal and satisfying. The satisfying model allows for more design flexibility and allows a designer to maintain design freedom. As a result of following this experimental procedure, this infrastructure is an open system that it is robust to changes in both corporate needs and computer technologies. The development of this infrastructure leads to a number of significant intellectual contributions: 1) A new approach to implementing IPPD with the aid of a computer; 2) A formal Design Experiment; 3) A combined Process and Specification architecture that is language-based; 4) An infrastructure for exploring design; 5) An integration strategy for implementing computer resources; and 6) A seamless modeling language. The need for these contributions is emphasized by the demand by industry and government agencies for the development of these technologies.

Hale, Mark A.↗

NASA NTRS1995

Advanced transportation system studies. Technical area 2: Heavy lift launch vehicle development: Technical Results - Volume 2

Sections 10 to 13 of the Advanced Transportation System Studies final report are included in this volume. Section 10 contains a copy of an executive summary that was prepared by Lockheed Space Operations Company (LSOC) to document their support to the TA-2 contract during the first-year period of performance of the contract, May 1992 through May 1993. LSOC participated on the TA-2 contract as part of the concurrent engineering launch system definition team, and provided outstanding heavy lift launch vehicle (HLLV) ground operations requirements and concept assessments for Lockheed Missiles and Space Company (LMSC) through an intercompany work transfer as well as providing specific HLLV ground operations assessments at the direction of NASA KSC through KSC funding that was routed to the TA-2 contract. Section 11 contains a copy of a vehicle-independent, launch system health management requirements assessment. The purpose of the assessment was to define both health management requirements and the associated interfaces between a generic advanced transportation system launch vehicle and all related elements of the entire transportation system, including the ground segment. Section 12 presents the major TA-2 presentations provided to summarize the significant results and conclusions that were developed over the course of the contract. Finally, Section 13 presents the design and assessment report on the first lunar outpost heavy lift launch vehicle.

Source record↗

DOE OSTI2026

Reacting CO 2 with Light Alkanes to Value-Added Products

Catalytic conversion of anthropogenic carbon dioxide (CO 2 ) into value-added products is a promising strategy to mitigate global carbon emissions. Concurrently, the shale gas revolution has provided an abundant supply of light alkanes (methane, ethane, propane, and butane), presenting a unique opportunity to employ these underutilized hydrocarbons as an effective, low-cost hydrogen source for CO 2 reduction. In this Perspective, we summarize past efforts, current state, and future opportunities for reacting CO 2 with light alkanes to generate a diverse range of value-added products. Compared with direct alkane conversion, the introduction of CO 2 fundamentally alters reaction thermodynamics and kinetics, enabling selective C–H and C–C bond activation while suppressing catalyst deactivation from coke formation. Building on decades of research in dry reforming and CO 2 -assisted dehydrogenation, recent advances in catalyst design have enabled CO 2 -assisted dehydrogenation processes that approach chemical equilibrium for the selective production of olefins and syngas. Importantly, advances in catalyst design and reactor engineering have further expanded the product scope beyond gas-phase (syngas and olefins) to include liquid-phase (oxygenates and aromatics), and solid-phase products (carbon nanomaterials). We highlight key catalyst design principles for controlling reaction pathways and discuss major challenges and opportunities in developing selective and versatile platforms for the simultaneous upgrading of CO 2 and light alkanes.

CO2↗

NASA NTRS1993

The Iridium (tm) system: Personal communications anytime, anyplace

The Iridium system is designed to provide handheld personal communications between diverse locations around the world at any time and without prior knowledge of the location of the personal units. This paper provides an overview of the system, the services it provides, its operation, and an overview of the commercial practices and relatively high volume satellite production techniques which will make the system cost effective. A constellation of 66 satellites will provide an orbiting, spherical-shell, infrastructure for this global calling capability. The satellites act as tall cellular towers and allow convenient operation for portable handheld telephones. The system will provide a full range of services including voice, paging, data, geolocation, and fax capabilities. Motorola is a world leader in the production of high volume, high quality, reliable telecommunications hardware. One of Iridium's goals is to apply these production techniques to high reliability space hardware. Concurrent engineering, high performance work teams, advanced manufacturing technologies, and improved assembly and test methods are some of the techniques that will keep the Iridium system cost effective. Mobile, global, flexible personal communications are coming that will allow anyone to call or receive a call from/to anyplace at anytime. The Iridium system will provide communications where none exist today. This connectivity will allow increased information transfer, open new markets for various business endeavors, and in general increase productivity and development.

Hatlelid, John E.↗

NASA NTRS1990

Achieving dependability throughout the development process - A distributed software experiment

Distributed software engineering techniques and methods for improving the specification and testing phases are considered. With multiversion development, multiple implementations allow the use of an automated approach to testing called back-to-back (B/B) testing in which the outputs are compared to detect any discrepancies. However, a specification defect may lead to similar errors in the multiple versions and the underlying fault may not be detected with a B/B testing approach. The use of diverse formal specifications has been proposed as a solution to this problem, since defects in independently written specifications are likely to be different. To examine these issues, an experiment was performed using the design diversity approach in the specification, design, implementation, and testing of distributed software. In the experiment, three diverse formal specifications were used to produce multiple independent implementations of a distributed communication protocol in Ada. The problems encountered in building complex concurrent processing systems in Ada were also studied. Many pitfalls were discovered in mapping the formal specifications into Ada implementations.

Kelly, John P. J.↗