Search NASA⌕ Search

SEARCH · Search NASA

Results for “design pattern”

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

Shuttle Risk Progression: Use of the Shuttle Probabilistic Risk Assessment (PRA) to Show Reliability Growth

It is important to the Space Shuttle Program (SSP), as well as future manned spaceflight programs, to understand the early mission risk and progression of risk as the program gains insights into the integrated vehicle through flight. The risk progression is important to the SSP as part of the documentation of lessons learned. The risk progression is important to future programs to understand reliability growth and the first flight risk. This analysis uses the knowledge gained from 30 years of operational flights and the current Shuttle PRA to calculate the risk of Loss of Crew and Vehicle (LOCV) at significant milestones beginning with the first flight. Key flights were evaluated based upon historical events and significant re-designs. The results indicated that the Shuttle risk tends to follow a step function as opposed to following a traditional reliability growth pattern where risk exponentially improves with each flight. In addition, it shows that risk can increase due to trading safety margin for increased performance or due to external events. Due to the risk drivers not being addressed, the risk did not improve appreciably during the first 25 flights. It was only after significant events occurred such as Challenger and Columbia, where the risk drivers were apparent, that risk was significantly improved. In addition, this paper will show that the SSP has reduced the risk of LOCV by almost an order of magnitude. It is easy to look back afte r 30 years and point to risks that are now obvious, however; the key is to use this knowledge to benefit other programs which are in their infancy stages. One lesson learned from the SSP is understanding risk drivers are essential in order to considerably reduce risk. This will enable the new program to focus time and resources on identifying and reducing the significant risks. A comprehensive PRA, similar to that of the Shuttle PRA, is an effective tool quantifying risk drivers if support from all of the stakeholders is given.

Hamlin, Teri L.↗
NASA NTRS2005

One-Dimensional Photonic Crystal Superprisms

Theoretical calculations indicate that it should be possible for one-dimensional (1D) photonic crystals (see figure) to exhibit giant dispersions known as the superprism effect. Previously, three-dimensional (3D) photonic crystal superprisms have demonstrated strong wavelength dispersion - about 500 times that of conventional prisms and diffraction gratings. Unlike diffraction gratings, superprisms do not exhibit zero-order transmission or higher-order diffraction, thereby eliminating cross-talk problems. However, the fabrication of these 3D photonic crystals requires complex electron-beam substrate patterning and multilayer thin-film sputtering processes. The proposed 1D superprism is much simpler in structural complexity and, therefore, easier to design and fabricate. Like their 3D counterparts, the 1D superprisms can exhibit giant dispersions over small spectral bands that can be tailored by judicious structure design and tuned by varying incident beam direction. Potential applications include miniature gas-sensing devices.

Ting, David↗
NASA NTRS2017

Design and Development of Sequential Rotary Valve

Valves are used to regulate the flow of fluids through systems. This rotary valve's main purpose is to fill, pressurize, empty, and vent three smaller tanks with the supply of one larger tank. Many different designs are being taken into consideration, which are each at different stages of development. The furthest along uses three ball valves on a common shaft to open and close their respective ports as the shaft completes one full rotation or cycle. We were tasked with advancing this design to its first test as a plastic model for flow verification, as well as sizing and ordering the necessary O-rings and fasteners. A motor will also be sized to satisfy the torque requirements, and will then be programmed using a Raspberry Pi to rotate the shaft at the calculated speed and dwelling times needed to fill each tank equally. In addition, we have also been advancing designs that use a camshaft and poppets. These are earlier on in their development, currently being sized to replicate the expected flow patterns of the rotary ball valve. Expected outcomes of this valve include bi-directionality, successful sealing under pressure, and accurate cycling.

D’Orsi, Nicholas↗
DOE OSTI2020

Determining Compression Characteristics of Honeycomb Material - 19674

The objective is to determine compression test characteristics of stainless steel honeycomb material to be able to represent honeycomb structures accurately in analytical models used to simulate hypothetical accident scenarios of shipping packages. Honeycomb is a material used primary in the aerospace industry due to its high strength-to-weight ratio. Because it doesn't have a shelf life and can withstand high heats, it is an excellent candidate for a structural material in package designs. Honeycomb has orthotropic material properties. The honeycomb currently being evaluated is made of metal ribbons spot welded together to form hexagon pattern between metal plates. The hexagon ribbons are brazed to the metal plates. The complexity of the honeycomb significantly lengthens the simulation time, which is further complicated when the brazing, welding, and imperfections of the material is considered. This means to affectively represent the honeycomb in simulation programs, such as Abaqus, the material needs to be approximated as a uniform orthotropic material. This requires material properties in each of the three directions, T, W, and L. The T direction is defined as the 'strong' direction, perpendicular to the honeycomb sheet. The L direction is parallel the ribbon and the W direction is perpendicular to the ribbon. Honeycomb has 3 different compression stages. Stage 1 is the initial compression where the honeycomb maintains its structural integrity and does not permanently deform from loads from normal operations. Stage 2 is when the initial buckling causes irreversible damage to the honeycomb. Stage 2 is the one we are most interested in because it absorbs the most energy from a hypothetical accident scenario. During Stage 2, the honeycomb fails layer-by-layer, indicating that the more layers, the longer material crushing is sustained, and thus the more energy that is absorbed. Stage 3 is final compression, similar to compressing solid metal. During stage 3 the stress increases with a diminishing rate of elongation and the honeycomb is completely failed where the plates between the honeycomb core sandwich the crushed honeycomb ribbon. The stress-strain graph bellow shows compression test of 3 different samples in the T direction. The red lines divide the three stages. The far left is Stage 1, the middle stage 2, and the right stage 3. The data collected is displayed in the table below. The expressions in the table represent the regression formula that represents each stage of the compression on a stress-strain graph. Stage 1 is assumed to intersect with the origin; data for stage 3 for the crush in W and L directions where unable to be gathered due to the nature of failure for those directions. Stage 1 and 2 are linear regressions while stage 3 is a degree 2, to best match the curve. Linear regression is used on stage 2 because ultimately that represents the energy absorbed. With more data, a degree n x 2 regression would be a more appropriate regression for stage 2, where n is the number of layers. The table below is the approximation of each scenario and stage. Each stage starts and ends at the intersection of the next stage. There where two main objectives for these tests: firstly to understand how honeycomb performs under extreme compression, and secondly to be able to numerically represent the honeycomb structure. Both of these where completed to varying degrees. It is important understood how the honeycomb fails. If it is crushed in the T direction it retains its integrity even after being crushed, however when crushed in the L and W crush direction, if it fails, it disintegrates, and loses all integrity. Also, the more layers the more time the material spends in stage 2. Failure is started by buckling, thus if there is any imperfection, the stress will not spike but transition straight into stage 2. The data collected and aggregated can be used for initial simulation of honeycomb used in packages. The initial testing has set the ground work for more data to be collected in order to verify results and to allow more confidence in the simulation results. This is only the initial data collected. The next steps is to continue to collect more data to verify results and to test more variants of honeycomb, with different brazing, layers, and shape.

36 MATERIALS SCIENCE↗
DOE OSTI2016

Characterization of Impedance Void Meter Performance in Two-Phase Flow Measurement

Over the past sixty years, exclusive work has been done on two-phase flow measurement and plenty of measurement methods have been developed. Among them, impedance void meter is considered to be a simple instrument with a quick and reliable response. Impedance measurement technique in two-phase flow has existed for more than five decades. Impedance void meter consists of two electrodes flush mounted on the flow channel which allows measurements to be performed over the entire flow area. In principle, impedance void meter is based on the different electrical conductance of water and air. The two electrodes connected with cable and voltage supplies and the air-water mixture between them form a complete circuit. The change of gas fraction occupied in the flow area is reflected by the change of impedance in this part, and then the change of the voltage signal of the circuit. Using the relationship between void fraction and voltage signal, area averaged void fraction can be measured. In a previous study by Bolman et al., the flow pattern was found that has an effect on the performance of the impedance void meter. This is due to the difference of the flow structure that affects the impedance of the flow area. Olsen suggested that the impedance void meter should fulfill the following factors in order to get good measurement results: gas phase is finely dispersed in the measuring flow area; the channel cross section should be uninterrupted; there should be several bubble diameters between sources of current. For pipe measurement, it is impossible to meet all these requirement. In this case, it is necessary to use other independent void fraction measurement methods to calibrate impedance void meter. However, the calibration result varies for different flow patterns; thus for those situations in which identifying the flow pattern is difficult, the results may not be reliable. The possible solution should be found in an aspect of impedance void meter design itself. Much work has been done focusing on the geometric design of impedance void meters. This study found that the distance between the two electrodes of the impedance void meter has an effect on the measurement performance. The primary focus of this study is to characterize the performance and measurement range of an impedance void meter in regards to its geometry aspect. In order to achieve this goal, a sensitivity study of the electrode distance was performed by numerical simulation. Based on the simulation results, an experiment was performed using an impedance void meter with different electrode distances. Additionally, a gamma densitometer and a multi single-sensor conductivity probe were also applied for the measurement comparison. Drift flux model was also used for the experimental results comparison. (authors)

42 ENGINEERING↗
NASA NTRS2000

Real Time Intelligent Target Detection and Analysis with Machine Vision

We present an algorithm for detecting a specified set of targets for an Automatic Target Recognition (ATR) application. ATR involves processing images for detecting, classifying, and tracking targets embedded in a background scene. We address the problem of discriminating between targets and nontarget objects in a scene by evaluating 40x40 image blocks belonging to an image. Each image block is first projected onto a set of templates specifically designed to separate images of targets embedded in a typical background scene from those background images without targets. These filters are found using directed principal component analysis which maximally separates the two groups. The projected images are then clustered into one of n classes based on a minimum distance to a set of n cluster prototypes. These cluster prototypes have previously been identified using a modified clustering algorithm based on prior sensed data. Each projected image pattern is then fed into the associated cluster's trained neural network for classification. A detailed description of our algorithm will be given in this paper. We outline our methodology for designing the templates, describe our modified clustering algorithm, and provide details on the neural network classifiers. Evaluation of the overall algorithm demonstrates that our detection rates approach 96% with a false positive rate of less than 0.03%.

Howard, Ayanna↗
DOE OSTI2018

Methane emissions from tree stems: a new frontier in the global carbon cycle

Tree stems from wetland, floodplain and upland forests can produce and emit methane (CH 4 ). Tree CH 4 stem emissions have high spatial and temporal variability, but there is no consensus on the biophysical mechanisms that drive stem CH 4 production and emissions. Here, we summarize up to 30 opportunities and challenges for stem CH 4 emissions research, which when addressed will improve estimates of magnitudes, patterns, drivers and trace the potential origin of CH 4 emissions. We identified the need (i) for both long–term high frequency measurements of stem CH 4 emissions to understand the fine scale processes, alongside rapid large–scale measurements designed to understand variability across individuals, species and ecosystems; (ii) to identify microorganisms and biogeochemical pathways associated with CH 4 production; and (iii) to develop a mechanistic model including passive and active transport of CH 4 from the soil–tree–atmosphere continuum. Addressing these challenges would help to constrain magnitudes and patterns of CH 4 emissions, and would allow for the integration of pathways and mechanisms of CH 4 production and emissions into process–based models. As a result, these advances will facilitate upscaling of stem CH 4 emissions to the ecosystem level and quantify the role of stem CH 4 emissions for the local–to–global CH 4 budget.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2015

EM Modeling of Far-Field Radiation Patterns for Antennas on the GMA-TT UAV

To optimize communication with the Generic Modular Aircraft T-Tail (GMA-TT) unmanned aerial vehicle (UAV), electromagnetic (EM) simulations have been performed to predict the performance of two antenna types on the aircraft. Simulated far-field radiation patterns tell the amount of power radiated by the antennas and the aircraft together, taking into account blockage by the aircraft as well as radiation by conducting and dielectric portions of the aircraft. With a knowledge of the polarization and distance of the two communicating antennas, e.g. one on the UAV and one on the ground, and the transmitted signal strength, a calculation may be performed to find the strength of the signal travelling from one antenna to the other and to check that the transmitted signal meets the receiver system requirements for the designated range. In order to do this, the antenna frequency and polarization must be known for each antenna, in addition to its design and location. The permittivity, permeability, and geometry of the UAV components must also be known. The full-wave method of moments solution produces the appropriate dBi radiation pattern in which the received signal strength is calculated relative to that of an isotropic radiator.

Mackenzie, Anne I.↗
NASA NTRS1993

Topographic mapping using a monopulse SAR system

Terrain height variations in mountainous areas cause two problems in the radiometric correction of SAR images: the first being that the wrong elevation angle may be used in correcting for the radiometric variation of the antenna pattern; the second that the local incidence angle used in correcting the projection of the pixel area from slant range to ground range coordinates may vary from that given by the flat earth assumption. We propose a novel design of a SAR system which exploits the monopulse principle to determine the elevation angle and thus the height at the different parts of the image. The key element of such a phase monopulse system is an antenna, which can be divided into a lower and upper half in elevation using a monopulse comparator. In addition to the usual sum pattern, the elevation difference pattern can be generated by a -pi phase shift on one half of the antenna. From the ratios of images radiometrically modulated by the difference and sum antenna pattern in cross-track direction, we can derive the appropriate elevation angle at any point in the image. Together with the slant range we can calculate the height of the platform above this point using information on the antenna pointing and the platform attitude. This operation, repeated at many locations throughout the image, allows us to build up a topographic map of the height of the aircraft above each location. Inversion of this map, using the precisely determined aircraft altitude and the accurate flight path, leads to the actual topography of the imaged surface. The precise elevation of one point in the image could also be used to convert the height map to a topographic map. In this paper, we present design considerations for a corresponding airborne SAR system in X-Band and give estimates of the error due to system noise and azimuth ambiguities as well as the expected performance and precision in topographic mapping.

Zink, M.↗
DOE OSTI2020

AWB-GCN: A Graph Convolutional Network Accelerator with Runtime Workload Rebalancing

The recent development of deep learning has been mostly focusing on Euclidean data, such as images, videos, audios, etc. However, most real-world information and relation are often expressed as graphs. To efficiently learn from graph data, graph convolutional networks (GCNs) emerge as a promising approach, showing advantages in several practical applications such as social network analysis, knowledge discovery, 3D modeling, motion capturing, etc. Real-world graphs are usually extremely large and imbalanced, posting significant performance demand and design challenges on the hardware dedicated for GCN inference. In this paper, we propose an architecture design called UW-GCN to accelerate graph convolutional network inference. To tackle the major performance bottleneck from workload imbalance, we propose dynamic neighborhood stealing and remote chunk shuffling techniques, relying on hardware flexibility to achieve hardware auto-tuning under negligible area or delay overhead. Specifically, UW-GCN is able to smartly profile the sparse graph pattern while continuously adjusting the workload distribution via routing reconfiguration among parallel processing elements (PEs). The ideal configuration is then reused in the remaining iterations. To the best of our knowledge, this is the first accelerator design particularly for GCN and the first work relying on hardware auto-tuning, which is normally based on software, to achieve near-optimal workload balance in processing sparse structures.

Geng, Tong↗
DOE OSTI2016

A Weather Radar Simulator for the Evaluation of Polarimetric Phased Array Performance

A radar simulator capable of generating time series data for a polarimetric phased array weather radar has been designed and implemented. The received signals are composed from a high-resolution numerical prediction weather model. Thousands of scattering centers, each with an independent randomly generated Doppler spectrum, populate the field of view of the radar. The moments of the scattering center spectra are derived from the numerical weather model, and the scattering center positions are updated based on the three-dimensional wind field. In order to accurately emulate the effects of the system-induced cross-polar contamination, the array is modeled using a complete set of dual-polarization radiation patterns. The simulator offers reconfigurable element patterns and positions as well as access to independent time series data for each element, resulting in easy implementation of any beamforming method. It also allows for arbitrary waveform designs and is able to model the effects of quantization on waveform performance. Simultaneous, alternating, quasi-simultaneous, and pulse-to-pulse phase coded modes of polarimetric signal transmission have been implemented. This framework allows for realistic emulation of the effects of cross-polar fields on weather observations, as well as the evaluation of possible techniques for the mitigation of those effects.

phased array↗
NASA NTRSDate not supplied

Space-borne Doppler Weather Radar Modeling for Radar Design Evaluation

A model has been developed to predict the reflectivity and Doppler performance of a spaceborne weather radar for atmospheric aerosol and cloud monitoring. The goal is to predict radar sensitivity, resolution, uncertainties and other key performance metrics vs. radar design parameters and hardware nonidealities. Analytical formulas are readily available to predict key performance metrics of a space-borne radar system as a function of design parameters such as antenna size, spacecraft velocity, transmit power, and receive noise figure. Effects of some system nonidealities such as antenna pointing errors, power amplifier nonlinearity and phase noise can be estimated using idealized methods. These analytical formulas use idealized forms of the antenna radiation pattern and weather statistics to predict system performance. However, it is desirable to have a more physical model based on discretized weather volumes in which the particle size distribution, Doppler distribution, and other parameters can be varied to study how the radar hardware design parameters and nonidealities affect the measurement of the weather reflectivity and Doppler characteristics. This would allow the radar designers to have more insight into what is being measured and the hardware parameters and errors that need to be carefully controlled to achieve best radar performance, as well as potential methods to calibrate the system or correct errors. This presentation will demonstrate some proof-of-concept Ka-band simulations where the discretized model agrees with the analytical formulas for a simple case where the elements in the discretized weather volume are defined by a constant reflectivity and simple velocity vectors. In particular, the system sensitivity and Doppler uncertainty are evaluated by analytical formulas as well as the discretized model. Future work will expand on this to include more complex weather scenarios and the addition of system nonidealities.

Sara Tucker↗
DOE OSTI2023

A Design of Activity-Based Mobility Intervention

Human mobility influences our society and vice versa. During the COVID-19 pandemic, non-pharmaceutical intervention that alters activity-based mobility such as work-from-home greatly impacted human mobility patterns. Many studies on developing mitigation strategies have employed or implemented their own mobility intervention within their model assumption. For fair evaluation between intervention strategies across models, it is significant to set up compatible experimental environments. However, it is difficult to apply the identical intervention to different kinds of models and compare their effectiveness because each model might have different assumptions, capabilities, and implementations. Even if one can apply intervention to heterogeneous models, it may produce undesirable artifacts due to difference of models and integration with intervention. Therefore, minimizing undesirable artifacts and facilitating intervention experiments across heterogeneous models are substantial. Taking this into account, this paper investigates a design of activity-based mobility intervention (ABMI). We define ABMI together with related concepts and develop an extensible data model and schema of ABMI based on the 5W1H method that can be used in different models. As a case study, we apply the ABMI model to a micro-simulation to demonstrate the usability of the proposed model. We expect that standardized ABMI and interfaces may help to streamline development and experiments of intervention strategies across heterogeneous models.

Kim, Joon-Seok↗
DOE OSTI2018

The implementation of Global Feature EXtractor (gFEX) - the ATLAS Calorimeter Level 1 Trigger system for LHC Run-3 upgrade

As part of the ATLAS Phase-I Upgrade, the global Feature EXtractor (gFEX) is one of several hardware modules designed to help maintain the ATLAS Level-1 trigger acceptance rate with the increasing Large Hadron Collider (LHC) luminosity and the increasing Pile-Up conditions. The gFEX is used to identify patterns of energy associated with the hadronic decays of high momentum Higgs, W & Z bosons, top quarks, and exotic particles in real time at the 40 MHz LHC bunch crossing rate. The board is required to receive coarse-granularity (Δη×Δphiv = 0.2×0.2 gTower) information from the entire ATLAS calorimeters on 276 optical fibers. A prototype v1 with one Xilinx ZYNQ FPGA, and one Vertex-7 FPGA for technology validation has been designed and tested in 2015. With the lessons learned from the prototype v1, a prototype v2 with three Vertex UltraScale FPGAs and one ZYNQ FPGA has been implemented to verify full functionalities of gFEX in 2016. Based on the prototype v2 design, a prototype v3, the final gFEX prototype, is implemented, which is an ATCA module consisting of three Vertex UltraScale+ FPGAs, one ZYNQ UltraScale+ SoC, and 35 MiniPODs. This board receives up to 300 fiber optical links from calorimeters and transmits trigger data on 96 links to the to the ATLAS Level-1 Topological trigger (L1Topo [1]) at the speed up to 12.8 Gb/s. There are also 24 electrical links on board for communication between two FPGAs with the speed up to 25.6 Gb/s. The performance of three prototype boards have been tested and evaluated. For the prototype v3 board, the high-speed optical links are stable at 12.8 Gb/s with Bit Error Ratio (BER) < 1 × 10 -15 . The low-latency parallel GPIO (General Purpose I/O) buses between FPGAs are stable at 1.12 Gb/s. The peripheral components of ZYNQ UltraScale+ SoC, such as 16 GB DDR4 DIMM, UART, SPI flashes, and Ethernet, have also been verified. Here, the test results of the prototype v3 board validate the gFEX technologies, architecture and full functionalities. Now the final production board is being produced.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2009

Fabricating Radial Groove Gratings Using Projection Photolithography

Projection photolithography has been used as a fabrication method for radial grove gratings. Use of photolithographic method for diffraction grating fabrication represents the most significant breakthrough in grating technology in the last 60 years, since the introduction of holographic written gratings. Unlike traditional methods utilized for grating fabrication, this method has the advantage of producing complex diffractive groove contours that can be designed at pixel-by-pixel level, with pixel size currently at the level of 45 45 nm. Typical placement accuracy of the grating pixels is 10 nm over 30 nm. It is far superior to holographic, mechanically ruled or direct e-beam written gratings and results in high spatial coherence and low spectral cross-talk. Due to the smooth surface produced by reactive ion etch, such gratings have a low level of randomly scattered light. Also, due to high fidelity and good surface roughness, this method is ideally suited for fabrication of radial groove gratings. The projection mask is created using a laser writer. A single crystal silicon wafer is coated with photoresist, and then the projection mask, with its layer of photoresist, is exposed for patterning in a stepper or scanner. To develop the photoresist, the fabricator either removes the exposed areas (positive resist) of the unexposed areas (negative resist). Next, the patterned and developed photoresist silicon substrate is subjected to reactive ion etching. After this step, the substrate is cleaned. The projection mask is fabricated according to electronic design files that may be generated in GDS file format using any suitable CAD (computer-aided design) or other software program. Radial groove gratings in off-axis grazing angle of incidence mount are of special interest for x-ray spectroscopy, as they allow achieving higher spectral resolution for the same grating area and have lower alignment tolerances than traditional in-plane grating scheme. This is especially critical for NASA Constellation- X project that will utilize hundreds of gratings all of which need to be precisely aligned for x-ray observation of space.

Iazikov, Dmitri↗
DOE OSTI2021

The PetscSF Scalable Communication Layer

PetscSF, the communication component of the Portable, Extensible Toolkit for Scientific Computation (PETSc), is designed to provide PETSc's communication infrastructure suitable for exascale computers that utilize GPUs and other accelerators. PetscSF provides a simple application programming interface (API) for managing common communication patterns in scientific computations by using a star-forest graph representation. PetscSF supports several implementations based on MPI and NVSHMEM, whose selection is based on the characteristics of the application or the target architecture. An efficient and portable model for network and intra-node communication is essential for implementing large-scale applications. The Message Passing Interface, which has been the de facto standard for distributed memory systems, has developed into a large complex API that does not yet provide high performance on the emerging heterogeneous CPU-GPU-based exascale systems. Here, we discuss the design of PetscSF, how it can overcome some difficulties of working directly with MPI on GPUs, and we demonstrate its performance, scalability, and novel features.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1989

Application of visual psychophysics to the design of video systems for use in space

A series of two-alternative forced choice experiments was conducted to compare the sharpness of televised moving images sampled using cardinal or diagonal patterns with reference images of varying resolution. The results indicate that both image sampling and resolution orientation play an important role in determining apparent sharpness of the images. If an image has better cardinal than diagonal resolution, the apparent sharpness is significantly greater. Thus, if the polar distribution of resolution is limited by the sampling process, diagonal sampling can be expected to yield a sharper image than cardinal sampling with the same number of pixels.

Glenn, William E.↗
NASA NTRS2016

A Representative Application of a Layered Interface Modeling Pattern

Model-based systems engineering (MBSE) is intended to improve how systems engineering is performed compared with a more traditional document-based approach by effectively using models to analyze, specify, design, and verify systems. The OMG Systems Modeling Language (OMG SysML™) enables the practice of MBSE by providing a robust and expressive language for representing systems.

Shames, Peter M.↗