Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “complex systems”

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,783 records · Page 99
All sourcesNASA NTRSDOE OSTI
NASA NTRS2011

Dexterous Operations on ISS and Future Applications

The Mobile Servicing System (MSS) is a complex robotics system used extensively in the assembly, inspection and maintenance of the International Space Station (ISS). Its external components are comprised of the Space Station Remote Manipulator System (SSRMS), the Mobile Base System (MBS), and the Special Purpose Dexterous Manipulator (SPDM or "Dextre"). Dexterous robotic maintenance operations on the ISS are now enabled with the launch and deployment of "Dextre" in March 2008 and the recently completed commissioning to support nominal operations. These operations include allowing for maintenance of the MSS capability to be executed uniquely via robotic means. Examples are detailed inspection and the removal and replacement of On-orbit Replaceable Units (ORUs) located outside the pressurized volume of the ISS, alleviating astronauts from performing numerous risky and time-consuming extra-vehicular activities (EVAs). In light of the proposed extension of the ISS to 2020 and beyond, "Dextre" can also be seen as a resource for the support and conduct of external ISS experiments. "Dextre" can be utilized to move experiments around ISS, as test bed for more elaborate experiments outside the original design intent, and as a unique platform for external experiments. This paper summarizes the status of "Dextre", its planned use, and future potential for dexterous operations on the ISS. Lessons learned from the planning and execution of SPDM commissioning are first introduced, and significant differences between "Dextre" and SSRMS operations are discussed. The use of ground control as the predominant method for operating "Dextre" is highlighted, along with the benefits and challenges that this poses. Finally, the latest plans for dexterous operations on ISS are summarized including visiting vehicle unloading, nominal maintenance, and operations of a more experimental flavor.

Keenan, P. Andrew↗
NASA NTRS2013

Integrated Tools for Future Distributed Engine Control Technologies

Turbine engines are highly complex mechanical systems that are becoming increasingly dependent on control technologies to achieve system performance and safety metrics. However, the contribution of controls to these measurable system objectives is difficult to quantify due to a lack of tools capable of informing the decision makers. This shortcoming hinders technology insertion in the engine design process. NASA Glenn Research Center is developing a Hardware-inthe- Loop (HIL) platform and analysis tool set that will serve as a focal point for new control technologies, especially those related to the hardware development and integration of distributed engine control. The HIL platform is intended to enable rapid and detailed evaluation of new engine control applications, from conceptual design through hardware development, in order to quantify their impact on engine systems. This paper discusses the complex interactions of the control system, within the context of the larger engine system, and how new control technologies are changing that paradigm. The conceptual design of the new HIL platform is then described as a primary tool to address those interactions and how it will help feed the insertion of new technologies into future engine systems.

Culley, Dennis↗
NASA NTRS2014

Identification of Vehicle Health Assurance Related Trends

Trend analysis in aviation as related to vehicle health management (VHM) was performed by reviewing the most current statistical and prognostics data available from the National Transportation Safety Board (NTSB) accident, the Federal Aviation Administration (FAA) incident, and the NASA Aviation Safety Reporting System (ASRS) incident datasets. In addition, future directions in aviation technology related to VHM research areas were assessed through the Commercial Aviation Safety Team (CAST) Safety Enhancements Reserved for Future Implementations (SERFIs), the National Transportation Safety Board (NTSB) Most-Wanted List and recent open safety recommendations, the National Research Council (NRC) Decadal Survey of Civil Aeronautics, and the Future Aviation Safety Team (FAST) areas of change. Future research direction in the VHM research areas is evidently strong as seen from recent research solicitations from the Naval Air Systems Command (NAVAIR), and VHM-related technologies actively being developed by aviation industry leaders, including GE, Boeing, Airbus, and UTC Aerospace Systems. Given the highly complex VHM systems, modifications can be made in the future so that the Vehicle Systems Safety Technology Project (VSST) technical challenges address inadequate maintenance crew's trainings and skills, and the certification methods of such systems as recommended by the NTSB, NRC, and FAST areas of change.

Phojanamongkolkij, Nipa↗
NASA NTRS2015

Testing of an Arcjet Thruster with Capability of Direct-Drive Operation

Electric thrusters typically require a power processing unit (PPU) to convert the spacecraft provided power to the voltage-current that a thruster needs for operation. Testing has been initiated to study whether an arcjet thruster can be operated directly with the power produced by solar arrays without any additional conversion. Elimination of the PPU significantly reduces system-level complexity of the propulsion system, and lowers developmental cost and risk. The work aims to identify and address technical questions related to power conditioning and noise suppression in the system and heating of the thruster in long-duration operation. The apparatus under investigation has a target power level from 400-1,000 W. However, the proposed direct-drive arcjet is potentially a highly scalable concept, applicable to solar-electric spacecraft with up to 100's of kW and beyond. A direct-drive electric propulsion system would be comprised of a thruster that operates with the power supplied directly from the power source (typically solar arrays) with no further power conditioning needed between those two components. Arcjet thrusters are electric propulsion devices, with the power supplied as a high current at low voltage; of all the different types of electric thruster, they are best suited for direct drive from solar arrays. One advantage of an arcjet over Hall or gridded ion thrusters is that for comparable power the arcjet is a much smaller device and can provide more thrust and orders of magnitude higher thrust density (approximately 1-10 N/sq m), albeit at lower I(sub sp) (approximately 800-1000 s). In addition, arcjets are capable of operating on a wide range of propellant options, having been demonstrated on H2, ammonia, N2, Ar, Kr, Xe, while present SOA Hall and ion thrusters are primarily limited to Xe propellant. Direct-drive is often discussed in terms of Hall thrusters, but they require 250-300 V for operation, which is difficult even with high-voltage solar arrays. The arcjet requires under 100 V, which is more in-line with what is easily possible with a solar array. Direct-drive of an electric propulsion system confers the advantage of reducing or eliminating the power processing unit (PPU) that is typically needed to convert the spacecraft-provided power to the voltage and current needed for thruster operation. Since the PPU is typically the most expensive piece of an electric thruster system, from both a fabrication and qualification standpoint, its elimination offers the potential for major reductions in system cost and risk. The design of the arcjet built for this effort was based on previous low power (1 kW class) arcjets. It has a precision machined 99.95% pure tungsten anode which also serves as the nozzle. The anode constrictor region is 1 mm (0.040-in) diameter and 1 mm (0.040-in) long. The cathode is a tungsten welding electrode doped with LaO2; its tip was precision ground to a 30◦ angle ending in a blunt end. The two electrodes are separated by a boron-nitride insulator which also serves as the propellant injection manifold; it ends in six small holes which introduce the propellant gas in the diverging section of the nozzle, directly adjacent to the cathode. The electrodes and insulator are housed in a stainless-steel outer-body, with a Macor insulator at the mid-plane to provide thermal isolation between the front and back halves of the device. The gas seals were made using Grafoil gaskets. Figure 1A shows the assembled thruster in the vacuum chamber; figure 1B shows the thruster in operation on argon at a flow rate of 676 sccm (20 mg/s). Initial testing was conducted in a 3.5-ft diameter vacuum chamber; the ultimate pressure reached during quasi-steady operation of the thruster was about 330 millitorr. The thruster was powered with a high-current, 0-100A, 15 kW power supply. The discharge was initiated with a high-voltage (approximately 10 kV) spark initiator that was isolated from the supply by a stack of diodes. The testing indicated that an operating point exists within the I-V characteristics that is compatible with direct-drive solar-electric operation; for a flow rate of 20 mg/s (argon) the arc could be sustained at a voltage of about 20 V and a current of 25 A (500W).

Martin, Adam K.↗
NASA NTRS2015

Direct Drive Solar-Powered Arcjet Thruster

Electric thrusters typically require a power processing unit (PPU) to convert the spacecraft-provided power to the voltage and current that a thruster needs for operation. NASA Marshall Space Flight Center has initiated fundamental studies on whether an arcjet thruster can be operated directly with the power produced by solar arrays without any additional conversion. Elimination of the PPU significantly reduces system-level complexity of the propulsion system, and lowers developmental cost and risk. The proposed work will aim to refine the proof-of-concept presently being assembled and begin to identify and address technical questions related to power conditioning and noise suppression in the system, and heating of the thruster in long-duration operation. The apparatus proposed for investigation has a target power level of 400 to 1,000 W. The proposed direct-drive arcjet is potentially a highly scalable concept, applicable to spacecraft with up to hundreds of kilowatts and beyond. The design of the arcjet built for this effort was based on previous low power (1 kW class) arcjets.1-3 It has a precision machined 99.95% pure tungsten anode that also serves as the nozzle with a 0.040-in- (1-mm-) diameter, 0.040-in-long constrictor region. An additional anode with a 0.020-in- (0.5-mm-) diameter, 0.020-inlong constrictor region was purchased, but has not yet been used. The cathode is a 0.125-in-diameter tungsten welding electrode doped with lanthum-oxygen; its tip was precision ground to a 308deg angle and terminates in a blunt end. The two electrodes are separated by a boron-nitride insulator that also serves as the propellant manifold; it ends in six small holes which introduce the propellant gas in the diverging section of the nozzle, directly adjacent to the cathode. The electrodes and insulator are housed in a stainless-steel outer body, with a Macor insulator at the mid-plane to provide thermal isolation between the front and back halves of the device. The gas seals were made using Grafoil gaskets. Figure 1(a) shows the assembled thruster; figure 1(b) shows the thruster in the vacuum chamber with electrical and propellant connections.

Polzin, Kurt↗
DOE OSTI2026

Mechanistic Insights into Dinitrogen Reduction to Ammonia in Light-Controlled Nanocrystal:Nitrogenase Complexes

Developing systems that can efficiently capture photon energy and convert this energy into fuels and chemicals requires understanding how to assemble molecular components with diverse functions into complete systems possessing selectivity and efficiency in directing charge carriers to catalytic reactions. There are many challenges to achieving this goal. One promising approach is the development of hybrid systems that combine semiconductor nanocrystals (NCs) for light capture and enzymes as efficient catalysts. Such biohybrid systems capitalize on the tunable electronic and optical properties of NCs while leveraging the unmatched specificity and efficiency of enzymes in catalyzing chemical reactions, thereby offering opportunities to surpass the limitations of each component alone. Here, we focus on recent progress in developing a biohybrid system that combines CdS NCs for photon capture with the enzyme nitrogenase to accomplish light-driven dinitrogen (N 2 ) reduction to ammonia (NH 3 ). Integrating light-harvesting materials with biological catalysts requires a deep understanding of NC properties, protein stability, and electron transfer (ET), making it an inherently multidisciplinary problem. The reduction of N 2 to NH 3 is a challenging reaction, with a high demand in both agriculture and industrial chemical production. This reaction is intrinsically energy intensive, due to the need to activate the N≡N triple bond. The current standard industrial approach to N 2 reduction, the Haber−Bosch reaction, obtains the necessary energy input from fossil fuels, whereas biological systems capable of N 2 reduction utilize the hydrolysis of ATP as their energy source. Replacing these costly, energy-intensive inputs with renewable light energy represents a critical step toward sustainable NH 3 production. Recent progress has demonstrated that semiconductor CdS NCs can be coupled to the catalytic component of nitrogenase, the MoFe protein, to form a biohybrid CdS NC:MoFe protein complex, enabling light-driven N 2 reduction rather than energy input from fossil fuels or ATP. This illustrates how inorganic NCs can functionally replace the natural Fe protein partner, yielding a biohybrid catalyst that enables controlled electron delivery and provides not only light-driven NH 3 production but also new approaches for probing enzyme catalytic function. The CdS NC:MoFe protein biohybrid system enables light-initiated electron delivery at ambient temperature, as well as temperatures below freezing, allowing for stabilization and spectroscopic characterization of key reaction intermediates. These findings highlight how photochemical biohybrids can serve as both functional catalysts and mechanistic probes. Beyond studies of the nitrogenase mechanism, studies of the CdS NC:MoFe system reveal how variables such as NC size, electrostatic binding interactions, and sacrificial electron donors (SEDs) govern complex stability, charge transfer efficiency, and catalytic performance. In addition, studies of nitrogenase and the high activation barrier for N 2 reduction are enabling investigations of new and interesting questions regarding the properties and limitations of NC biocatalysis. In this Account, we describe the key features of CdS NC:MoFe protein biohybrids and the parameters for optimal light-driven N 2 reduction, and how controlling ET with light illuminates the path to new insights into the nitrogenase mechanism.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
NASA NTRS1991

Computer aided reliability, availability, and safety modeling for fault-tolerant computer systems with commentary on the HARP program

Many of the most challenging reliability problems of our present decade involve complex distributed systems such as interconnected telephone switching computers, air traffic control centers, aircraft and space vehicles, and local area and wide area computer networks. In addition to the challenge of complexity, modern fault-tolerant computer systems require very high levels of reliability, e.g., avionic computers with MTTF goals of one billion hours. Most analysts find that it is too difficult to model such complex systems without computer aided design programs. In response to this need, NASA has developed a suite of computer aided reliability modeling programs beginning with CARE 3 and including a group of new programs such as: HARP, HARP-PC, Reliability Analysts Workbench (Combination of model solvers SURE, STEM, PAWS, and common front-end model ASSIST), and the Fault Tree Compiler. The HARP program is studied and how well the user can model systems using this program is investigated. One of the important objectives will be to study how user friendly this program is, e.g., how easy it is to model the system, provide the input information, and interpret the results. The experiences of the author and his graduate students who used HARP in two graduate courses are described. Some brief comparisons were made with the ARIES program which the students also used. Theoretical studies of the modeling techniques used in HARP are also included. Of course no answer can be any more accurate than the fidelity of the model, thus an Appendix is included which discusses modeling accuracy. A broad viewpoint is taken and all problems which occurred in the use of HARP are discussed. Such problems include: computer system problems, installation manual problems, user manual problems, program inconsistencies, program limitations, confusing notation, long run times, accuracy problems, etc.

Shooman, Martin L.↗
NASA NTRS1975

Development and applications of two computational procedures for determining the vibration modes of structural systems

Two computational procedures for analyzing complex structural systems for their natural modes and frequencies of vibration are presented. Both procedures are based on a substructures methodology and both employ the finite-element stiffness method to model the constituent substructures. The first procedure is a direct method based on solving the eigenvalue problem associated with a finite-element representation of the complete structure. The second procedure is a component-mode synthesis scheme in which the vibration modes of the complete structure are synthesized from modes of substructures into which the structure is divided. The analytical basis of the methods contains a combination of features which enhance the generality of the procedures. The computational procedures exhibit a unique utilitarian character with respect to the versatility, computational convenience, and ease of computer implementation. The computational procedures were implemented in two special-purpose computer programs. The results of the application of these programs to several structural configurations are shown and comparisons are made with experiment.

Kvaternik, R. G.↗
NASA NTRS1991

Intelligent vision system for autonomous vehicle operations

A complex optical system consisting of a 4f optical correlator with programmatic filters under the control of a digital on-board computer that operates at video rates for filter generation, storage, and management is described.

Scholl, Marija S.↗
NASA NTRS1994

Reengineering legacy software to object-oriented systems

NASA has a legacy of complex software systems that are becoming increasingly expensive to maintain. Reengineering is one approach to modemizing these systems. Object-oriented technology, other modem software engineering principles, and automated tools can be used to reengineer the systems and will help to keep maintenance costs of the modemized systems down. The Software Technology Branch at the NASA/Johnson Space Center has been developing and testing reengineering methods and tools for several years. The Software Technology Branch is currently providing training and consulting support to several large reengineering projects at JSC, including the Reusable Objects Software Environment (ROSE) project, which is reengineering the flight analysis and design system (over 2 million lines of FORTRAN code) into object-oriented C++. Many important lessons have been learned during the past years; one of these is that the design must never be allowed to diverge from the code during maintenance and enhancement. Future work on open, integrated environments to support reengineering is being actively planned.

Pitman, C.↗
NASA NTRS1992

Increasingly automated procedure acquisition in dynamic systems

Procedures are widely used by operators for controlling complex dynamic systems. Currently, most development of such procedures is done manually, consuming a large amount of paper, time, and manpower in the process. While automated knowledge acquisition is an active field of research, not much attention has been paid to the problem of computer-assisted acquisition and refinement of complex procedures for dynamic systems. The Procedure Acquisition for Reactive Control Assistant (PARC), which is designed to assist users in more systematically and automatically encoding and refining complex procedures. PARC is able to elicit knowledge interactively from the user during operation of the dynamic system. We categorize procedure refinement into two stages: diagnosis - diagnose the failure and choose a repair - and repair - plan and perform the repair. The basic approach taken in PARC is to assist the user in all steps of this process by providing increased levels of assistance with layered tools. We illustrate the operation of PARC in refining procedures for the control of a robot arm.

Mathe, Nathalie↗
DOE OSTI2021

A Tailored Convolutional Neural Network for Nonlinear Manifold Learning of Computational Physics Data Using Unstructured Spatial Discretizations

In this work, we propose a nonlinear manifold learning technique based on deep convolutional autoencoders that is appropriate for model order reduction of physical systems in complex geometries. Convolutional neural networks have proven to be highly advantageous for compressing data arising from systems demonstrating a slow-decaying Kolmogorov n-width. However, these networks are restricted to data on structured meshes. Unstructured meshes are often required for performing analyses of real systems with complex geometry. Our custom graph convolution operators based on the available differential operators for a given spatial discretization effectively extend the application space of deep convolutional autoencoders to systems with arbitrarily complex geometry that are typically discretized using unstructured meshes. We propose sets of convolution operators based on the spatial derivative operators for the underlying spatial discretization, making the method particularly well suited to data arising from the solution of partial differential equations. We demonstrate the method using examples from heat transfer and fluid mechanics and show better than an order of magnitude improvement in accuracy over linear methods.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Effects of Central Cut Width on the Dynamical Characteristics of Box Assembly Structure

An investigation into the Box Assembly with Removable Component (BARC) structure is conducted by utilizing computational simulations and experimental structural testing in order to determine the complex dynamical responses instigated by the central cut of the system. Because the dynamics of the BARC system is complex, this study focuses primarily on analyzing the behavior of the box assembly (BA) system. The investigation explores the dynamics of the BA system by varying the central cut widths, ranging from a cut as wide as 0.5” cut to a 0.25” cut system, as well as a 0.1” cut and a system with no cut at all. Experimental testing is performed on each system including a free vibration test using an impact hammer to excite and identify the dominant frequencies of each structure. This testing is followed by pseudo-random vibration tests and swept sinusoidal excitation tests to determine the nonlinear aspects of these systems, such as the possible existence of nonlinear softening, hardening, and/or damping. The results show that nonlinear softening and nonlinear damping are present in each system. The no-cut system demonstrated the highest peak frequencies throughout all the tests, being the most rigid structure. The 0.25” cut system was shown to have the highest peak frequencies among all the cut systems in both the finite elemenet analysis (FEA) and impact testing. This trend did not continue, though, in the random and harmonic testing, possibly due to the added stiffness of the test setup with the slip table and stinger. The results show the importance of accurately measuring the central cut width and how possible geometric uncertainties change the overall dynamical behaviors of complex systems, such as natural characteristics, nonlinear responses, coupling of modes, and oscillating amplitudes.

Padilla, Christopher (ORCID:000900033446732X)↗
NASA NTRS1995

Designing Flight-Deck Procedures

A complex human-machine system consists of more than merely one or more human operators and a collection of hardware components. In order to operate a complex system successfully, the human-machine system must be supported by an organizational infrastructure of operating concepts, rules, guidelines, and documents. The coherency of such operating concepts, in terms of consistency and logic, is vitally important for the efficiency and safety of any complex system. In high-risk endeavors such as aircraft operations, space flight, nuclear power production, manufacturing process control, and military operations, it is essential that such support be flawless, as the price of operational error can be high. When operating rules are not adhered to, or the rules are inadequate for the task at hand, not only will the system's goals be thwarted, but there may also be tragic human and material consequences. To ensure safe and predictable operations, support to the operators, in this case flight crews, often comes in the form of standard operating procedures. These provide the crew with step-by-step guidance for carrying out their operations. Standard procedures do indeed promote uniformity, but they do so at the risk of reducing the role of human operators to a lower level. Management, however, must recognize the danger of over-procedurization, which fails to exploit one of the most valuable assets in the system, the intelligent operator who is "on the scene." The alert system designer and operations manager recognize that there cannot be a procedure for everything, and the time will come in which the operators of a complex system will face a situation for which there is no written procedure. Procedures, whether executed by humans or machines, have their place, but so does human cognition.

Degani, Asaf↗
NASA NTRS1999

BIO-Plex Information System Concept

This paper describes a suggested design for an integrated information system for the proposed BIO-Plex (Bioregenerative Planetary Life Support Systems Test Complex) at Johnson Space Center (JSC), including distributed control systems, central control, networks, database servers, personal computers and workstations, applications software, and external communications. The system will have an open commercial computing and networking, architecture. The network will provide automatic real-time transfer of information to database server computers which perform data collection and validation. This information system will support integrated, data sharing applications for everything, from system alarms to management summaries. Most existing complex process control systems have information gaps between the different real time subsystems, between these subsystems and central controller, between the central controller and system level planning and analysis application software, and between the system level applications and management overview reporting. An integrated information system is vitally necessary as the basis for the integration of planning, scheduling, modeling, monitoring, and control, which will allow improved monitoring and control based on timely, accurate and complete data. Data describing the system configuration and the real time processes can be collected, checked and reconciled, analyzed and stored in database servers that can be accessed by all applications. The required technology is available. The only opportunity to design a distributed, nonredundant, integrated system is before it is built. Retrofit is extremely difficult and costly.

Jones, Harry↗
DOE OSTI2022

Automated Production of Optimization-Based Control Logics for Dynamic Facade Systems, with Experimental Application to Two-Zone External Venetian Blinds

The primary goal of this research is to devise a system that produces controllers for complex fenestration systems that perform nearly as well as Model Predictive Control but at a level of cost and implementation complexity that rivals simple heuristic controls. To this end, a cloud-based automated controller production system has been set up for a motorized external Venetian blind device, with a simple web interface that can be used by non-experts. The computation cost per controller is in the range of a few dollars, and the control logic is simple enough to be implemented on small and cheap distributed controllers. The web interface allows the user to specify some details of their particular building and window configuration, including orientation, latitude, interior geometries, and lighting and HVAC system parameters. Upon submittal, a cloud-based system configures the necessary files and commands, and then runs thousands of optimizations with them. Once the calculations are finished, the system produces a lookup table and interpolation-based controller scripts that can be used on a simple and cheap distributed controller. This paper describes the underlying models and optimization processes. It also describes the resulting control logics for two cases tested at Lawrence Berkeley National Laboratory’s Advanced Windows Testbed Facility: illuminance maximization subject to glare constraints; and lighting + HVAC energy minimization. The performance of the model-based controllers produced by the automated web-based system are compared to a heuristic ‘block beam’ controller in physical experiments at the Testbed. The experimental results are supplemented by simulation experiments with the same configuration as the Testbed. The results show the illuminance maximizing controller significantly outperforms the heuristic controller in terms of glare avoidance, and also outperforms it in terms of hours of daylight autonomy. The energy minimizing controller also outperforms the heuristic controller. This paper also discusses how the web-based system may be extended to consider other configurations, such as electrochromic windows and thermally massive HVAC systems. Potential roles for this type of system within the building design and construction industry are discussed.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
NASA NTRS2018

RESTful CFDP: Managing GDS Complexity with Microservices

NASA's Advanced Multi-Mission Operations System (AMMOS) is currently adding capability to support the CCSDS File Delivery Protocol (CFDP). This feature is being added as part of the AMMOS Mission Data Processing and Control System (AMPCS). In order to address the system’s increasing complexity, AMPCS has recently been re-architected to break down its monolithic applications into smaller, individually deployable microservices. The CFDP capability is the first new AMPCS feature to leverage this new architecture. The CFDP microservice provides a web-based Representational State Transfer (REST) application programming interface (API) for complete monitor and control of its operations, and this enables it to be decoupled from other AMPCS microservices. This also results in better scalability for redundancy and load balancing. AMPCS's CFDP microservice is designed to support generic CFDP operations, agnostic to AMPCS's legacy concept of Downlink Products. An optional runtime plug-in allows the CFDP microservice to simulate CFDP artifacts as Downlink Products. Applying the microservices software architecture pattern both in the latest release of AMPCS and in providing the new CFDP capability has resulted in a more flexible system with improved extensibility and maintainability. System complexity has also become more manageable.

Choi, Joshua S.↗
NASA NTRS1997

Integrity Constraint Monitoring in Software Development: Proposed Architectures

In the development of complex software systems, designers are required to obtain from many sources and manage vast amounts of knowledge of the system being built and communicate this information to personnel with a variety of backgrounds. Knowledge concerning the properties of the system, including the structure of, relationships between and limitations of the data objects in the system, becomes increasingly more vital as the complexity of the system and the number of knowledge sources increases. Ensuring that violations of these properties do not occur becomes steadily more challenging. One approach toward managing the enforcement or system properties, called context monitoring, uses a centralized repository of integrity constraints and a constraint satisfiability mechanism for dynamic verification of property enforcement during program execution. The focus of this paper is to describe possible software architectures that define a mechanism for dynamically checking the satisfiability of a set of constraints on a program. The next section describes the context monitoring approach in general. Section 3 gives an overview of the work currently being done toward the addition of an integrity constraint satisfiability mechanism to a high-level program language, SequenceL, and demonstrates how this model is being examined to develop a general software architecture. Section 4 describes possible architectures for a general constraint satisfiability mechanism, as well as an alternative approach that, uses embedded database queries in lieu of an external monitor. The paper concludes with a brief summary outlining the, current state of the research and future work.

Fernandez, Francisco G.↗