Tackling Formal Verification of Large Designs using a Modular Approach
A brief description of scaling formal verification techniques for hardware designs.
Punnoose, Ratish J. [Sandia National Laboratories ↗
SEARCH · Search NASA
Results for “Modular 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.
Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.
Optomechanical design of ten modular cameras for the Mars Exploration Rovers
This paper will discuss the mechanical systems design of the cameras, including fabrication tolerances of the lenses, thermal issues, radiation shielding, planetary protection, detector mounting, electronics, the modularity achieved, and how the 10 different locations were accommodated on the very tight real estate of the Rovers and Landers.
Mars↗
Design of a Modular 5-kW Power Processing Unit for the Next-Generation 40-cm Ion Engine
NASA Glenn Research Center is developing a 5/10-kW ion engine for a broad range of mission applications. Simultaneously, a 5-kW breadboard poster processing unit is being designed and fabricated. The design includes a beam supply consisting of four 1.1 kW power modules connected in parallel, equally sharing the output current. A novel phase-shifted/pulse-width-modulated dual full-bridge topology was chosen for its soft-switching characteristics. The proposed modular approach allows scalability to higher powers as well as the possibility of implementing an N+1 redundant beam supply. Efficiencies in excess of 96% were measured during testing of a breadboard beam power module. A specific mass of 3.0 kg/kW is expected for a flight PRO. This represents a 50% reduction from the state of the art NSTAR power processor.
Pinero, Luis R.↗
A Design of a Modular GPHS-Stirling Power System for a Lunar Habitation Module
Lunar habitation modules need electricity and potentially heat to operate. Because of the low amounts of radiation emitted by General Purpose Heat Source (GPHS) modules, power plants incorporating these as heat sources could be placed in close proximity to habitation modules. A design concept is discussed for a high efficiency power plant based on a GPHS assembly integrated with a Stirling convertor. This system could provide both electrical power and heat, if required, for a lunar habitation module. The conceptual GPHS/Stirling system is modular in nature and made up of a basic 5.5 KWe Stirling convertor/GPHS module assembly, convertor controller/PMAD electronics, waste heat radiators, and associated thermal insulation. For the specific lunar application under investigation eight modules are employed to deliver 40 KWe to the habitation module. This design looks at three levels of Stirling convertor technology and addresses the issues of integrating the Stirling convertors with the GPHS heat sources assembly using proven technology whenever possible. In addition, issues related to the high-temperature heat transport system, power management, convertor control, vibration isolation, and potential system packaging configurations to ensure safe operation during all phases of deployment will be discussed.
Schmitz, Paul C.↗
Modular biowaste monitoring system conceptual design
The objective of the study was to define requirements and generate a conceptual design for a Modular Biowaste Monitoring System for specifically supporting shuttle life science experimental and diagnostic programs.
Fogal, G. L.↗
Design techniques for modular integrated utility systems
Features basic to the integrated utility system, such as solid waste incineration, heat recovery and usage, and water recycling/treatment, are compared in terms of cost, fuel conservation, and efficiency to conventional utility systems in the same mean-climatic area of Washington, D. C. The larger of the two apartment complexes selected for the test showed the more favorable results in the three areas of comparison. Restrictions concerning the sole use of currently available technology are hypothetically removed to consider the introduction and possible advantages of certain advanced techniques in an integrated utility system; recommendations are made and costs are estimated for each type of system.
Wolfer, B. M.↗
Design of a modular digital computer system
A Central Control Element (CCE) module which controls the Automatically Reconfigurable Modular System (ARMS) and allows both redundant processing and multi-computing in the same computer with real time mode switching, is discussed. The same hardware is used for either reliability enhancement, speed enhancement, or for a combination of both.
Source record↗
Pressure fed thrust chamber technology program
This is the final report for the Pressure Fed Technology Program. It details the design, fabrication, and testing of subscale hardware which successfully characterized Liquid Oxygen Rocket Propulsion (LOX/RP) combustion for low cost pressure fed design. The innovative modular injector design is described in detail as well as hot-fire test results which showed excellent performance. The program summary identifies critical LOX/RP design issues that have been resolved in this testing, and details the low risk development requirements for low cost engines for future Expandable Launch Vehicles (ELV).
Dunn, Glen M.↗
Pressure fed thrust chamber technology program
This is the final report for the Pressure Fed Technology Program. It details the design, fabrication and testing of subscale hardware which successfully characterized LOX/RP combustion for a low cost pressure fed design. The innovative modular injector design is described in detail as well as hot-fire test results which showed excellent performance. The program summary identifies critical LOX/RP design issues that have been resolved by this testing, and details the low risk development requirements for a low cost engine for future Expendable Launch Vehicles (ELVi).
Dunn, Glenn M.↗
Engineered Solutions Group's SMR Containment Cable and Electrical Penetration Assembly System
GAIN Project CRADA Number NFE-21-08839, entitled “SMR Containment Cable and EPA System” was initiated by the partnership of Oak Ridge National Laboratory (ORNL) and Engineered Solutions Group (ESG) to test an ESG-designed Electrical Penetration Assembly and Containment Cabling System Qualified for not only legacy LWR designs, but also Small Modular Reactors designs currently being designed by several different suppliers. This project was undertaken to fill the equipment gap of EPA and Cabling Systems that require much more severe environmental requirements than legacy plant applications present due to their smaller containment volumes that result in high energy densities compared to legacy designs. This high energy density results in severe accident environments and more severe normal operating conditions as well. We developed two approaches to qualify Electrical Penetration Assembly (EPA) and Containment Cabling Systems for SMRs and Advanced Reactors. We take into consideration the more severe environmental parameters found with SMR designs. The system will need to meet a qualification test program addressing wear/cyclic aging, potential radiation exposure, thermal aging, vibration aging, thermal cycling, seismic qualification, electrical fault testing (per IEEE 317) and accident simulation. The equipment must meet the requirements of 10CFR50.49, GDC 50 in 10CFR50 Appendix A, and 10CFR50 Appendix J. NRC Regulatory Guides (RGs) identify an acceptable way of meeting regulatory requirements. RGs frequently endorse a standard for meeting these requirements. Specific to this review, equipment would be qualified in accordance with the following IEEE Standards. • IEEE 317-2013 (Electrical Penetration Assemblies), which is endorsed by RG 1.63, Rev. 3, • IEEE 323-2003 and the more current IEC/IEEE 60780-323 (Environmental Qualification of 1E Equipment) which is endorsed by RG 1.89. IEEE 323-2003 is endorsed by RG 1.209, • IEEE 344-2020 (Seismic Qualification. The 2013 version endorsed by RG 1.100, Rev. 4, with exceptions), • IEEE 383-2015 (Electrical Cables) (which is endorsed by RG 1.189 Rev. 4 and the -2003 version endorsed by RG 1.211 rev. 0), • IEEE 572-2019 (Electrical Connectors and Assemblies), which is endorsed by 1.156 Rev 1, and • [IEEE 1202 (endorsed by RG 1.189) would normally be applicable but the advanced cable designs are impervious to this cable flame test.] The primary goal of such a program is to provide an EPA design that can meet the qualification requirements for all legacy light water reactor plants currently operating as well as new plant designs including light water Small Modular Reactors. Thus, these requirements are applicable to plants licensed under 10CFR50 and 10CFR52. Other reactor designs may be evaluated, and this test system and qualification method applied to those applications if the requirements would satisfy the requirements of the intended plant. A secondary benefit of this work is to document some of the history and background in these requirements as there have been recent delays in an SMR licensing process due to NRC Requests for Additional Information in this subject matter area.
42 ENGINEERING↗
Telerobotic rovers for extraterrestrial construction
The topics are presented in viewgraph form and include the following: fundamental concepts; advantages of modularity; modular robot; robot design; motor control system; simple manipulator; 4 degree of freedom manipulator; intermodule communication; network layout; positioning system--IR-TROP; IR TROP system design; testbed layout; modularized control; and centralized control. The objectives are the following: to design small modular robots; to test robotic cooperation and teleoperation; to develop modular control software; to develop intermodule communication network; to develop high accuracy positioning system; and to explore distributed algorithms for coordination.
Grasso, Chris↗
Fluid design studies of integrated modular engine system
A study was performed to develop a fluid system design and show the feasibility of constructing an integrated modular engine (IME) configuration, using an expander cycle engine. The primary design goal of the IME configuration was to improve the propulsion system reliability. The IME fluid system was designed as a single fault tolerant system, while minimizing the required fluid components. This study addresses the design of the high pressure manifolds, turbopumps and thrust chambers for the IME configuration. A physical layout drawing was made, which located each of the fluid system components, manifolds and thrust chambers. Finally, a comparison was made between the fluid system designs of an IME system and a non-network (clustered) engine system.
Frankenfield, Bruce↗
Design of a reconfigurable modular manipulator system
Using manipulators with a fixed configuration for specific tasks is appropriate when the task requirements are known beforehand. However, in less predictable situations, such as an outdoor construction site or aboard a space station, a manipulator system requires a wide range of capabilities, probably beyond the limitations of a single, fixed-configuration manipulator. To fulfill this need, researchers have been working on a Reconfigurable Modular Manipulator System (RMMS). Researchers have designed and are constructing a prototype RMMS. The prototype currently consists of two joint modules and four link modules. The joints utilize a conventional harmonic drive and torque motor actuator, with a small servo amplifier included in the assembly. A brushless resolver is used to sense the joint position and velocity. For coupling the modules together, a standard electrical connector and V-band clamps for mechanical connection are used, although more sophisticated designs are under way for future versions. The joint design yields an output torque to 50 ft-lbf at joint speeds up to 1 radian/second. The resolver and associated electronics have resolutions of 0.0001 radians, and absolute accuracies of plus or minus 0.001 radians. Manipulators configured from these prototype modules will have maximum reaches in the 0.5 to 2 meter range. The real-time RMMS controller consists of a Motorola 68020 single-board computer which will perform real time servo control and path planning of the manipulator. This single board computer communicates via shared memory with a SUN3 workstation, which serves as a software development system and robot programming environment. Researchers have designed a bus communication network to provide multiplexed communication between the joint modules and the computer controller. The bus supports identification of modules, sensing of joint states, and commands to the joint actuator. This network has sufficient bandwidth to allow servo sampling rates in excess of 500 Hz.
Schmitz, D.↗
Poincare: A Multi-Body, Multi-System Trajectory Design Tool
Poincare is a modular trajectory design tool based on a catalog of three-body science orbits and a differential corrector to compute connecting transfer arcs between orbits in multibody systems. Poincare attempts to offer a unified approach, i.e.,an“all-in-one”integrated search within one interface and setup in MONTE (JPL’s signature astrodynamic computing platform.) The Science Orbit Design Tool facilitates rapid and well-informed decisions regarding the selection of periodic orbits for a particular mission and enables the simultaneous study of various orbit alternatives. The Reference Trajectory Design Tool allows the user to calculate optimal transfer paths from a departure orbit to a science orbit via dynamical systems structures (invariant manifolds and Poincare maps), resulting in an end-to-end reference trajectory.
Senent, Juan↗
A High-Energy Technology Demonstration Platform: The First Step in a Stepping Stones Approach to Energy-Rich Space Infrastructures
The slide presentation examines advanced technologies in spacecraft design, space solar power primary payload options, modular spacecraft design, and spacecraft compatible with medium ELV performance. The discussion of advanced technologies in spacecraft design includes power subsystem sized to satisfy all near-term spacecraft power needs, spacecraft bus provides test-bed for maturing technologies, and no insurmountable technical hurdles. The discussion of space solar power primary payload options examines large envelope with standard interfaces reserved for high-power payload. The discussion of modular spacecraft design includes upgrade opportunities, capability for mission tailoring, and bus qualified for most launch vehicles. This discussion of spacecraft compatible with medium ELV performance includes mass capability to ISS orbit and fairing capability for large payloads on the bus.
Carrington, Connie↗
Design of Controller Hardware-In-the-Loop Model of Microgrid with Modular Building Blocks and Automated Design Script
The scalability of controller hardware-in-the-loop (CHIL) simulation is critical for validating control coordination and energy management in microgrids with distributed energy resources, especially as these modern systems become more complex and decentralized. This paper presents a CHIL modeling methodology that combines modular building blocks with an automated design script to streamline the development of high-fidelity microgrid models. Standardized subsystem templates for resources, converters, and buses are integrated with a Python-based script that compiles structured JSON configuration files into simulation-ready initialization code. The proposed approach reduces development time, improves model consistency, and enhances simulation fidelity. The methodology is validated on a Typhoon HIL604 platform and is broadly applicable to real-time simulation of complex, networked microgrid systems. This framework establishes a foundation for automated, scalable CHIL validation and accelerates the design of next-generation distributed energy systems.
Kim, Namwon [ORNL] (ORCID:0000000200438489)↗