Search NASASearch

SEARCH · Search NASA

Results for “PLC”

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 19 records

Feasibility of Powerline Communications (PLC) on Future Spacecraft: EMI/EMC Test Results on COTS PLC Technology

Cable harnessing mass continues to be a problem for spacecraft development, particularly with increasingly complex payloads and constraints to their mass and costs. As a strategic initiative to reduce cable harnessing on flight missions, NASA JPL’s Powerline Communications (PLC) research and technology development (R&TD) effort investigates the ability to combine power and data onto the same cable conductors. Research and development of PLC technology, including testing of commercial off-the-shelf (COTS) modules and design of custom PLC unit, aim to articulate the opportunity to infuse this technology into NASA flight projects. This paper illustrates the feasibility of Powerline Communications on future spacecraft through Electromagnetic Interference/Compatibility (EMI/EMC) testing on COTS PLC components including conducted emissions and susceptibility as well as radiated emissions and susceptibility.

Mitchell, Andrew W.

Verifying PLC Programs via Monitors: Extending the Integration of FRET and PLCverif

Verification of Programmable Logic Controller (PLC) programs requires reasoning about propositions qualified in terms of time. CERN’s PLCverif, an open-source tool for the analysis of safety-critical PLC systems, uses Linear Temporal Logic (LTL) for the specification of properties. Until now, PLCverif depended on third-party tools that accept LTL specifications to perform verification. However, our experience with industrial PLC programs shows that, to overcome analysis limitations, a wide range of techniques are needed to successfully verify complex properties. In this paper, we extend PLCverif to enable PLC program verification of pure-past LTL (PLTL) safety properties with assertion-based verification tools. To this end, we take an algorithm from the runtime-monitoring domain, apply it to bounded model checking of PLC programs, and implement it in PLCverif. We extend the integration of NASA’s Formal Requirements Elicitation Tool (FRET) into PLCverif to use PLTL properties generated with FRET. In addition, we leverage the program structure induced by the PLC scan-cycle for a state-space reduction. Finally, we expose the algorithm to a real-world case study of critical systems at CERN.

Formal verification

The Integration of DCS I/O to an Existing PLC

At the NASA Glenn Research Center (GRC), Existing Programmable Logic Controller (PLC) I/O was replaced with Distributed Control System (DCS) I/O, while keeping the existing PLC sequence Logic. The reason for integration of the PLC logic and DCS I/O, along with the evaluation of the resulting system is the subject of this paper. The pros and cons of the old system and new upgrade are described, including operator workstation screen update times. Detail of the physical layout and the communication between the PLC, the DCS I/O and the operator workstations are illustrated. The complex characteristics of a central process control system and the plan to remove the PLC processors in future upgrades is also discussed.

Sadhukhan, Debashis

Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

The numerous benefits of automatic application code generation are widely accepted within the software engineering community. A few of these benefits include raising the abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at the NASA Kennedy Space Center (KSC) recognized the need for PLC code generation while developing their new ground checkout and launch processing system. They developed a process and a prototype software tool that automatically translates a high-level representation or specification of safety critical application software into ladder logic that executes on a PLC. This process and tool are expected to increase the reliability of the PLC code over that which is written manually, and may even lower life-cycle costs and shorten the development schedule of the new control system at KSC. This paper examines the problem domain and discusses the process and software tool that were prototyped by the KSC software engineers.

Leucht, Kurt W.

Generating Safety-Critical PLC Code From a High-Level Application Software Specification

The benefits of automatic-application code generation are widely accepted within the software engineering community. These benefits include raised abstraction level of application programming, shorter product development time, lower maintenance costs, and increased code quality and consistency. Surprisingly, code generation concepts have not yet found wide acceptance and use in the field of programmable logic controller (PLC) software development. Software engineers at Kennedy Space Center recognized the need for PLC code generation while developing the new ground checkout and launch processing system, called the Launch Control System (LCS). Engineers developed a process and a prototype software tool that automatically translates a high-level representation or specification of application software into ladder logic that executes on a PLC. All the computer hardware in the LCS is planned to be commercial off the shelf (COTS), including industrial controllers or PLCs that are connected to the sensors and end items out in the field. Most of the software in LCS is also planned to be COTS, with only small adapter software modules that must be developed in order to interface between the various COTS software products. A domain-specific language (DSL) is a programming language designed to perform tasks and to solve problems in a particular domain, such as ground processing of launch vehicles. The LCS engineers created a DSL for developing test sequences of ground checkout and launch operations of future launch vehicle and spacecraft elements, and they are developing a tabular specification format that uses the DSL keywords and functions familiar to the ground and flight system users. The tabular specification format, or tabular spec, allows most ground and flight system users to document how the application software is intended to function and requires little or no software programming knowledge or experience. A small sample from a prototype tabular spec application is shown.

Source record

The use of programmable logic controllers (PLC) for rocket engine component testing

Application of PLCs to the rocket engine component testing at a new Stennis Space Center Component Test Facility is suggested as an alternative to dedicated specialized computers. The PLC systems are characterized by rugged design, intuitive software, fault tolerance, flexibility, multiple end device options, networking capability, and built-in diagnostics. A distributed PLC-based system is projected to be used for testing LH2/LOx turbopumps required for the ALS/NLS rocket engines.

Nail, William

Comparative analysis of different configurations of PLC-based safety systems from reliability point of view

The study of a comparative analysis of distinct multiplex and fault-tolerant configurations for a PLC-based safety system from a reliability point of view is presented. It considers simplex, duplex and fault-tolerant triple redundancy configurations. The standby unit in case of a duplex configuration has a failure rate which is k times the failure rate of the standby unit, the value of k varying from 0 to 1. For distinct values of MTTR and MTTF of the main unit, MTBF and availability for these configurations are calculated. The effect of duplexing only the PLC module or only the sensors and the actuators module, on the MTBF of the configuration, is also presented. The results are summarized and merits and demerits of various configurations under distinct environments are discussed.

Tapia, Moiez A.

Rockwell Automation PLC-5 Lands Stennis Space Center with a Reliable, Flexible Control System

Ever since the first rocket was launched, people have been infatuated with the vast and unchartered frontier of space. Whether it's visiting a space center or watching a shuttle launch, people are waiting to see what will be discovered next. And even though orbiting the Earth or taking soil samples form the Moon now seems effortless, decades worth of behind-the-scenes work have helped the U.S. space program get to this point. Even today, NASA must take every precaution to ensure equipment is up to the endeavor of setting foot on the moon. As part of the initial push to put the first man on the moon, NASA established the John C. Stennis Space Center, Hancock County, Mississippi in 1961 for space engine propulsion system development. Today, Stennis has three major test complexes where engine and component testing is carried out and integrated into full motion systems for space shuttles and vehicles as well as secondary testing facilities. With different products being tested throughout the facilities, Stennis was in need of an automation system that could link the operations. By integrating a control system based on a Rockwell Automation's flexible and reliable PLC-5 controller, Stennis was able to implement projects more efficiently and focus its efforts on getting the next generation of products ready for space.

Epperson, Dave

Effects of silver ions (Ag+) on contractile ring function and microtubule dynamics during first cleavage in Ilyanassa obsoleta

The terminal phase of cell division involves tight constriction of the cleavage furrow contractile ring, stabilization/elongation of the intercellular bridge, and final separation of the daughter cells. At first cleavage, the fertilized eggs of the mollusk, Ilyanassa obsoleta, form two contractile rings at right angles to each other in the same cytoplasm that constrict to tight necks and partition the egg into a trefoil shape. The cleavage furrow contractile ring (CF) normally constricts around many midbody microtubules (MTs) and results in cleavage; the polar lobe constriction contractile ring (PLC) normally constricts around very few MTs and subsequently relaxes without cleavage. In the presence of Ag+ ions, the PLC 1) begins MT-dependent rapid constriction sooner than controls, 2) encircles more MTs than control egg PLCs, 3) elongates much more than control PLCs, and 4) remains tightly constricted and effectively cleaves the polar lobe from the egg. If Ag(+)-incubated eggs are returned to normal seawater at trefoil, tubulin fluorescence disappears from the PLC neck and the neck relaxes. If nocodazole, a drug that depolymerizes MTs, is added to Ag(+)-incubated eggs during early PLC constriction, the PLC is not stabilized and eventually relaxes. However, if nocodazole is added to Ag(+)-incubated eggs at trefoil, tubulin fluorescence disappears from the PLC neck but the neck remains constricted. These results suggest that Ag+ accelerates and gradually stabilizes the PLC constriction by a mechanism that is initially MT-dependent, but that progressively becomes MT-independent.

Non-NASA Center

The role of microtubules in contractile ring function

During cytokinesis, a cortical contractile ring forms around a cell, constricts to a stable tight neck and terminates in separation of the daughter cells. At first cleavage, Ilyanassa obsoleta embryos form two contractile rings simultaneously. The cleavage furrow (CF), in the animal hemisphere between the spindle poles, constricts to a stable tight neck and separates the daughter cells. The third polar lobe constriction (PLC-3), in the vegetal hemisphere below the spindle, constricts to a transient tight neck, but then relaxes, allowing the polar lobe cytoplasm to merge with one daughter cell. Eggs exposed to taxol, a drug that stabilizes microtubules, before the CF or the PLC-3 develop, fail to form CFs, but form stabilized tight PLCs. Eggs exposed to taxol at the time of PLC-3 formation develop varied numbers of constriction rings in their animal hemispheres and one PLC in their vegetal hemisphere, none of which relax. Eggs exposed to taxol after PLC-3 initiation form stabilized tight CFs and PLCs. At maximum constriction, control embryos display immunolocalization of nonextractable alpha-tubulin in their CFs, but not in their PLCs, and reveal, via electron microscopy, many microtubules extending through their CFs, but not through their PLCs. Embryos which form stabilized tightly constricted CFs and PLCs in the presence of taxol display immunolocalization of nonextractable alpha-tubulin in both constrictions and show many polymerized microtubules extending through both CFs and PLCs. These results suggest that the extension of microtubules through a tight contractile ring may be important for stabilizing that constriction and facilitating subsequent cytokinesis.

NASA Discipline Cell Biology

Fiber-Coupled Planar Light-Wave Circuit for Seed Laser Control in High Spectral Resolution Lidar Systems

Precise laser remote sensing of aerosol extinction and backscatter in the atmosphere requires a high-power, pulsed, frequency doubled Nd:YAG laser that is wavelength- stabilized to a narrow absorption line such as found in iodine vapor. One method for precise wavelength control is to injection seed the Nd:YAG laser with a low-power CW laser that is stabilized by frequency converting a fraction of the beam to 532 nm, and to actively frequency-lock it to an iodine vapor absorption line. While the feasibility of this approach has been demonstrated using bulk optics in NASA Langley s Airborne High Spectral Resolution Lidar (HSRL) program, an ideal, lower cost solution is to develop an all-waveguide, frequency-locked seed laser in a compact, robust package that will withstand the temperature, shock, and vibration levels associated with airborne and space-based remote sensing platforms. A key technology leading to this miniaturization is the integration of an efficient waveguide frequency doubling element, and a low-voltage phase modulation element into a single, monolithic, planar light-wave circuit (PLC). The PLC concept advances NASA's future lidar systems due to its compact, efficient and reliable design, thus enabling use on small aircraft and satellites. The immediate application for this technology is targeted for NASA Langley's HSRL system for aerosol and cloud characterization. This Phase I effort proposes the development of a potassium titanyl phosphate (KTP) waveguide phase modulator for future integration into a PLC. For this innovation, the proposed device is the integration of a waveguide-based frequency doubler and phase modulator in a single, fiber pigtail device that will be capable of efficient second harmonic generation of 1,064-nm light and subsequent phase modulation of the 532 nm light at 250 MHz, providing a properly spectrally formatted beam for HSRL s seed laser locking system. Fabrication of the integrated PLC chip for NASA Langley, planned for the Phase II effort, will require full integration and optimization of the waveguide components (SHG waveguide, splitters, and phase modulator) onto a single, monolithic device. The PLC will greatly reduce the size and weight, improve electrical- to-optical efficiency, and significantly reduce the cost of NASA Langley s current stabilized HSRL seed laser system built around a commercial off-the-shelf seed laser that is free-space coupled to a bulk doubler and bulk phase modulator.

Cook, Anthony

Two-Dimensional Planar Lightwave Circuit Integrated Spatial Filter Array and Method of Use Thereof

A large coherent two-dimensional (2D) spatial filter array (SFA), 30 by 30 or larger, is produced by coupling a 2D planar lightwave circuit (PLC) array with a pair of lenslet arrays at the input and output side. The 2D PLC array is produced by stacking a plurality of chips, each chip with a plural number of straight PLC waveguides. A pupil array is coated onto the focal plane of the lenslet array. The PLC waveguides are produced by deposition of a plural number of silica layers on the silicon wafer, followed by photolithography and reactive ion etching (RIE) processes. A plural number of mode filters are included in the silica-on-silicon waveguide such that the PLC waveguide is transparent to the fundamental mode but higher order modes are attenuated by 40 dB or more.

Ai, Jun

VLF Radio Field Strength Measurement of power line carrier system in San Diego, California

The radio frequency interference (RFI) potential was evaluated for a Powerline Carriet (PLC) installed in San Diego which monitors the performance of an electrical power system. The PLC system generated 30 amperes at 5.79 kHz. The RF radiations were measured to be (typically) 120 dBuV/m at the beginning of the 12 kV powerline and 60 dBuV/m at the end of the powerline. The RF fields varied inversely as the distance squared. Measurements were also performed with a 45 kHz PLC system. The RF fields were of similar amplitude.

Mertel, H. K.

Development of Algorithms for Control of Humidity in Plant Growth Chambers

Algorithms were developed to control humidity in plant growth chambers used for research on bioregenerative life support at Kennedy Space Center. The algorithms used the computed water vapor pressure (based on measured air temperature and relative humidity) as the process variable, with time-proportioned outputs to operate the humidifier and de-humidifier. Algorithms were based upon proportional-integral-differential (PID) and Fuzzy Logic schemes and were implemented using I/O Control software (OPTO-22) to define and download the control logic to an autonomous programmable logic controller (PLC, ultimate ethernet brain and assorted input-output modules, OPTO-22), which performed the monitoring and control logic processing, as well the physical control of the devices that effected the targeted environment in the chamber. During limited testing, the PLC's successfully implemented the intended control schemes and attained a control resolution for humidity of less than 1%. The algorithms have potential to be used not only with autonomous PLC's but could also be implemented within network-based supervisory control programs. This report documents unique control features that were implemented within the OPTO-22 framework and makes recommendations regarding future uses of the hardware and software for biological research by NASA.

Costello, Thomas A.

CALIPSO Mission Status Update: Payload Status

The CALIPSO mission payload status update is presented. The contents include: 1) Wide Field Camera Overview; 2) WFC Temperatures; 3) WFC Voltages; 4) Imaging Infrared Radiometer (IIR) Health; 5) IIR Voltages; 6) Payload Control (PLC) Voltages; 7) PLC Temperatures; 8) Low Voltage Power Supply (LVPS) (CALOPS0025N); 9) PLC Radiation Effects; 10) SDS Status (CALOPS0020N); 11) CALIOP LIDAR; 12) Laser Energy Trends; 13) Laser Energy Zoom; 14) Laser Management Approach; 15) Green / Red Ratio; 16) Pedestal @ SHG Temperature Trends; 17) LOM Heater Duty Cycle Trends; 18) LOM Pressure Trends; 19) Boresight Trend; 20) 1064 Dark Noise Trend; 21) 532 SNR Trend; 22) Spike Trends; 23) LIDAR Highlights; 24) Backup Laser Status; and 25) Future Plans.

Verhappen, Ron

Utilizing Strain Rate Jump Testing to Predict Flow Formability of Al Alloys Sensitive to Portevin-Le Chatelier Instabilities

Predicting the flow formability of Al alloys is challenging due to the incremental deformation, complex loading path, and wide range of strain rates characteristic of the process. State-of-the-art research efforts have primarily focused on formability metrics derived from ambient temperature, constant strain rate uniaxial tensile testing. However, Al alloys in formable tempers tend to exhibit serrated Portevin-Le Chatelier (PLC) flow. The appearance of PLC instabilities implies a negative strain rate sensitivity, loss of tensile area reduction capacity, and decreased formability. Elevated temperature and interrupted strain rate tensile tests of relevant Al alloys were conducted to investigate the effects of rapid changes in strain rate (analogous to a forming increment by a passing roller) on common formability metrics. Emphasis was placed on the character/extent of PLC instabilities using digital image correlation strain measurements. The outcome of this work highlights the possibility of predicting flow formability using strain rate jump testing.

flow forming