Search NASA⌕ Search

SEARCH · Search NASA

Results for “Domain shift”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
NASA NTRS1995

Temporal variation of meandering intensity and domain-wide lateral oscillations of the Gulf Stream

The path of the Gulf Stream exhibits two modes of variability: wavelike spatial meanders associated with instability processes and large-sale lateral shifts of the path presumably due to atmospheric forcing. The objectives of this study are to examine the temporal variation of the intensity of spatial meandering in the stream, to characterize large-scale lateral oscillations in the stream's path, and to study the correlation betwen these two dynamically distinct modes of variability. The data used for this analysis are path displacemets ofthe Gulf Stream between 75 deg and 60 deg W obtained from AVHRR-derived (Advanced Very High Resolution Radiometer) infrared images for the period April 1982 through December 1989. Meandering intensity, measured by the spatial root-mean-sqaure displacement of the stream path, displays a 9-month dominant periodicity which is persistent through the study period. The 9-month fluctuation in meandering intensity may be related to the interaction of Rosseby waves with the stream. Interannual variation of meandering intensity is also found to be significant, with meandering being mich more intense during 1985 than it was in 1987. Annual variation, however,is weak and not well-defined.The spatially averaged position of the stream, which reflects nonmeandering large-scale lateral oscillations of the stream path, is dominated by an annual cycle. On average, the mean position is farthest north in November and farthest south in April. The first empirical orthogonal function mode of the space-time path displacements represents lateral oscillatins that are in-phase over the space-time domain. Interannual oscillations are also observed and are found to be weaker than the annual oscillation. The eigenvalue of the first mode indicates that about 21.5% of the total space-time variability of the stream path can be attibuted to domain-wide lateral oscillation. The correlation between meandering intensity and domain-wide lateral oscillations is very weak.

Lee, Tong↗
NASA NTRS1992

AC Magnetic Field Frequency Dependence of Magnetoacoustic Emission

Our recent study has proved a strong correlation between the low-frequency AC applied magnetic field amplitude dependence of the asymmetry of the magnetoacoustic emission (MAE) burst and the strength of the domain wall-defect interaction in iron-base ferromagnets. For the present study the AC magnetic field frequency dependence of the asymmetry has been investigated in the range of 1 to 200 Hz. When represented by the third moment of the rectified acoustic emission pulses, the asymmetry becomes a bell-shaped function of frequency with its center located around 25 Hz. This experiment has been performed with low carbon, high yield stress steel specimens of three different levels of domain wall-defect interaction strength. The results show that the increase in the interaction strength causes a vertical down shift of the asymmetry in the entire frequency range investigated.

Namkung, M.↗
NASA NTRS1990

Computation of instability and transition

The state of transition calculations in 1989 and desirable future trends are analyzed within the framework of aeronautical applications with emphasis on wall-bounded flows. A shift to studies of the early stages of transition, particularly to receptivity, from studies of the late stages in excessively confined periodic domains is proposed. It is pointed out that early-stage studies require a larger computational domain and more difficult boundary conditions but not a very fine grid. Intermediate strategies, more involved than the classical Orr-Sommerfeld equation but much more economical than full Navier-Stokes equations, are emphasized, along with the need for compressible calculations.

Spalart, P. R.↗
NASA NTRS1988

Frequency domain laser velocimeter signal processor

A laser velocimeter signal processor for measuring the signal frequency within a signal burst. The input signal is converted to digital by an ADC 16 and then shifted into shift registers 30 and 31. An automatic gain circuit 15 controls the gain of the input signal. A signal integration circuit 32 determines when a signal burst has been captured by the shift registers and then transfers the contents of the registers to data latches 33 and 34. The data in data latches 33 and 34 is processed by digital bandpass filters 57-63, square law detectors 64-70, burst counters 71-77 and signal processor 78 to determine the frequency of the signal within the captured signal burst.

James F Meyers↗
NASA NTRS1993

A comparison of low-gravity measurements on-board Columbia during STS-40

The first NASA Spacelab Life Sciences mission (SLS-1) flew 5 Jun. to 14 Jun. 1991 on the orbiter Columbia (STS-40). The purpose of the mission was to investigate the human body's adaptation to the low-gravity conditions of space flight and the body's readjustment after the mission to the 1 g environment of earth. In addition to the life sciences experiments manifested for the Spacelab module, a variety of experiments in other scientific disciplines flew in the Spacelab and in Get Away Special (GAS) Canisters on the GAS Bridge Assembly. Several principal investigators designed and flew specialized accelerometer systems to better assess the results of their experiments by means of a low-gravity environment characterization. This was also the first flight of the NASA Microgravity Science and Applications Division (MSAD) sponsored Space Acceleration Measurement System (SAMS) and the first flight of the NASA Orbiter Experiments Office (OEX) sponsored Orbital Acceleration Research Experiment accelerometer (OARE). A brief introduction to seven STS-40 accelerometer systems are presented and the resulting data are discussed and compared. During crew sleep periods, acceleration magnitudes in the 10(exp -6) to 10(exp -5) g range were recorded in the Spacelab module and on the GAS Bridge Assembly. Magnitudes increased to the 10(exp -4) g level during periods of nominal crew activity. Vernier thruster firings caused acceleration shifts on the order of 10(exp -4) g and primary thruster firings caused accelerations as great as 10(exp -2) g. Frequency domain analysis revealed typical excitation of Orbiter and Spacelab structural modes at 3.5, 4.7, 5.2, 6.2, 7, and 17 Hz.

Rogers, Melissa J. B.↗
NASA NTRS1993

A comparison of low-gravity measurements on-board Columbia during STS-40

The first NASA Spacelab Life Sciences mission (SLS-1) flew 5 June to 14 June 1991 on the orbiter Columbia (STS-40). The purpose of the mission was to investigate the human body's adaptation to the low-gravity conditions of space flight and the body's readjustment after the mission to the 1g environment of earth. In addition to the life sciences experiments manifested for the Spacelab module, a variety of experiments in other scientific disciplines flew in the Spacelab and in Get Away Special (GAS) Canisters on the GAS Bridge Assembly. Several principal investigators designed and flew specialized accelerometer systems to better assess the results of their experiments by means of a low-gravity environment characterization. This was also the first flight of the NASA Microgravity Science and Applications Division (MSAD) sponsored Space Acceleration Measurement System (SAMS) and the first flight of the NASA Orbiter Experiments Office (OEX) sponsored Orbital Acceleration Research Experiment accelerometer (OARE). We present a brief introduction to seven STS-40 accelerometer systems and discuss and compare the resulting data. During crew sleep periods, acceleration magnitudes in the 10(exp -6) to 10(exp -5)g range were recorded in the Spacelab module and on the GAS Bridge Assembly. Magnitudes increased to the 10(exp -4) level during periods of nominal crew activity. Vernier thruster firings caused acceleration shifts on the order of 10(exp -4)g and primary thruster firings caused accelerations as great as 10(exp -2) g. Frequency domain analysis revealed typical excitation of Orbiter and Spacelab structural modes at 3.5, 4.7, 5.2, 6.2, 7, and 17 Hz.

Rogers, M. J. B.↗
NASA NTRS2000

Molecular and biochemical evidence for the involvement of calcium/calmodulin in auxin action

The use of (35)S-labeled calmodulin (CaM) to screen a corn root cDNA expression library has led to the isolation of a CaM-binding protein, encoded by a cDNA with sequence similarity to small auxin up RNAs (SAURs), a class of early auxin-responsive genes. The cDNA designated as ZmSAUR1 (Zea mays SAURs) was expressed in Escherichia coli, and the recombinant protein was purified by CaM affinity chromatography. The CaM binding assay revealed that the recombinant protein binds to CaM in a calcium-dependent manner. Deletion analysis revealed that the CaM binding site was located at the NH(2)-terminal domain. A synthetic peptide of amino acids 20-45, corresponding to the potential CaM binding region, was used for calcium-dependent mobility shift assays. The synthetic peptide formed a stable complex with CaM only in the presence of calcium. The CaM affinity assay indicated that ZmSAUR1 binds to CaM with high affinity (K(d) approximately 15 nM) in a calcium-dependent manner. Comparison of the NH(2)-terminal portions of all of the characterized SAURs revealed that they all contain a stretch of the basic alpha-amphiphilic helix similar to the CaM binding region of ZmSAUR1. CaM binds to the two synthetic peptides from the NH(2)-terminal regions of Arabidopsis SAUR-AC1 and soybean 10A5, suggesting that this is a general phenomenon for all SAURs. Northern analysis was carried out using the total RNA isolated from auxin-treated corn coleoptile segments. ZmSAUR1 gene expression began within 10 min, increased rapidly between 10 and 60 min, and peaked around 60 min after 10 microM alpha-naphthaleneacetic acid treatment. These results indicate that ZmSAUR1 is an early auxin-responsive gene. The CaM antagonist N-(6-aminohexyl)5-chloro-1-naphthalenesulfonamide hydrochloride inhibited the auxin-induced cell elongation but not the auxin-induced expression of ZmSAUR1. This suggests that calcium/CaM do not regulate ZmSAUR1 at the transcriptional level. CaM binding to ZmSAUR1 in a calcium-dependent manner suggests that calcium/CaM regulate ZmSAUR1 at the post-translational level. Our data provide the first direct evidence for the involvement of calcium/CaM-mediated signaling in auxin-mediated signal transduction.

NASA Program Fundamental Space Biology↗
NASA NTRS2013

Large-Deformation Displacement Transfer Functions for Shape Predictions of Highly Flexible Slender Aerospace Structures

Large deformation displacement transfer functions were formulated for deformed shape predictions of highly flexible slender structures like aircraft wings. In the formulation, the embedded beam (depth wise cross section of structure along the surface strain sensing line) was first evenly discretized into multiple small domains, with surface strain sensing stations located at the domain junctures. Thus, the surface strain (bending strains) variation within each domain could be expressed with linear of nonlinear function. Such piecewise approach enabled piecewise integrations of the embedded beam curvature equations [classical (Eulerian), physical (Lagrangian), and shifted curvature equations] to yield closed form slope and deflection equations in recursive forms.

Deflection equations↗
NASA NTRS2016

Applied Time Domain Stability Margin Assessment for Nonlinear Time-Varying Systems

The baseline stability margins for NASA's Space Launch System (SLS) launch vehicle were generated via the classical approach of linearizing the system equations of motion and determining the gain and phase margins from the resulting frequency domain model. To improve the fidelity of the classical methods, the linear frequency domain approach can be extended by replacing static, memoryless nonlinearities with describing functions. This technique, however, does not address the time varying nature of the dynamics of a launch vehicle in flight. An alternative technique for the evaluation of the stability of the nonlinear launch vehicle dynamics along its trajectory is to incrementally adjust the gain and/or time delay in the time domain simulation until the system exhibits unstable behavior. This technique has the added benefit of providing a direct comparison between the time domain and frequency domain tools in support of simulation validation. This technique was implemented by using the Stability Aerospace Vehicle Analysis Tool (SAVANT) computer simulation to evaluate the stability of the SLS system with the Adaptive Augmenting Control (AAC) active and inactive along its ascent trajectory. The gains for which the vehicle maintains apparent time-domain stability defines the gain margins, and the time delay similarly defines the phase margin. This method of extracting the control stability margins from the time-domain simulation is relatively straightforward and the resultant margins can be compared to the linearized system results. The sections herein describe the techniques employed to extract the time-domain margins, compare the results between these nonlinear and the linear methods, and provide explanations for observed discrepancies. The SLS ascent trajectory was simulated with SAVANT and the classical linear stability margins were evaluated at one second intervals. The linear analysis was performed with the AAC algorithm disabled to attain baseline stability margins. At each time point, the system was linearized about the current operating point using Simulink's built-in solver. Each linearized system in time was evaluated for its rigid-body gain margin (high frequency gain margin), rigid-body phase margin, and aero gain margin (low frequency gain margin) for each control axis. Using the stability margins derived from the baseline linearization approach, the time domain derived stability margins were determined by executing time domain simulations in which axis-specific incremental gain and phase adjustments were made to the nominal system about the expected neutral stability point at specific flight times. The baseline stability margin time histories were used to shift the system gain to various values around the zero margin point such that a precise amount of expected gain margin was maintained throughout flight. When assessing the gain margins, the gain was applied starting at the time point under consideration, thereafter following the variation in the margin found in the linear analysis. When assessing the rigid-body phase margin, a constant time delay was applied to the system starting at the time point under consideration. If the baseline stability margins were correctly determined via the linear analysis, the time domain simulation results should contain unstable behavior at certain gain and phase values. Examples will be shown from repeated simulations with variable added gain and phase lag. Faithfulness of margins calculated from the linear analysis to the nonlinear system will be demonstrated.

Kiefer, J. M.↗
NASA NTRS1978

Time domain phase measuring apparatus

The phase and/or period stability of a device is determined by connecting the device in one orthogonal arm of a phase detector having a mixer. In the other arm is an adjustable, variable phase shift device. The output of the mixer is fed through an active low pass filter to derive a DC voltage indicative of the phase shift. The variable phase device is adjusted so that the DC voltage will nullify the phase shift of the tested device under normal conditions. The DC voltage level is converted into a time interval indicative of the phase change of the tested device by determining when the level equals the amplitude of a low frequency ramp voltage. The interval between adjacent equality points can be measured or the period between a reference point on the ramp voltage and the quality be measured.

Reinhardt, V. S.↗
NASA NTRSDate not supplied

Developing Mars-Based Clinical Scenarios for an Earth Independent Medical Operations (EIMO) – Based Decision Support Service

As crewed missions move beyond Low-Earth Orbit, pre-mission planning cannot fully buy down the medical risks of exploration-class missions. Martian missions, where increased hazards exist, (such as long-duration spaceflight, surface-level EVA operations, and communications delays) will require a paradigm shift in the structure of a medical system. An Earth-Independent Medical Operations-based Medical System (EIMO-MS) will need to optimize four critical domains to help provide medical care: utilization of Pre-Mission Planning, augmentation of Acute and Prolonged Medical Decision Making, automated tracking of Resource Management, and assistance in Task Load Balance. The ideal EIMO-MS will be able to accomplish this goal by having an interactive, adaptable interface that will be able to provide real-time medical services. It must respond based on the level of crewmember training, medical situation, and available medical and non-medical resources. To showcase the capabilities and requirements of such a sophisticated automated MS, a series of clinical scenarios of escalating complexity were developed with clinical and systems engineering input. These scenarios describe in clinical detail what a theoretical future medical system, enhanced with multiple information streams (such as a medical database, an AI-based Decision Support System, real-time monitoring, enhanced in-situ laboratory imaging, etc.) can achieve in conjunction with a trained and experienced crew. Scenarios are comprised of: a context section including objectives and applicable spaceflight environment, a highlighted assumptions section, a clinical narrative section, and a systems engineering activity diagram demonstrating the integrated Medical System (MS). The “swim lanes” of the activity diagram act as the logistical core of each scenario and show how the MS will interact with the crew, ground support, and other in-flight systems. The Design Reference Mission that is used for the scenarios is based on existing reference mission profiles [1] with a projected 30-sol stay on the Martian surface. Scenarios span the spectrum from planned evaluations, minor medical care, urgent care, surgical guidance, critical and expectant management, and behavioral health care. Mission complexity will exponentially increase during deep space and Mars exploration-class missions, and medical support for these missions will likewise need to increase in autonomy and adaptability. The integrated system that will support these missions will need to provide assistance in a variety of anticipated and unforeseen scenarios. These medical scenarios, guided by clinician input, are initial steps in crafting the requirements for an EIMO-based medical system. By working in a systems engineering framework, requirements and capabilities can be extracted and mapped while maintaining a clinical core.

Prashant Parmar↗
NASA NTRSDate not supplied

Human Systems Integration (HSI) Framework and Training - Shifting the View of HSI for Better Implementation

The Implementation of Human Systems Integration (HSI) presents challenges within the acquisition community for two reasons. The first is that misconceptions of HSI still exist, with many Program Managers (PMs) and leadership uncertain of the value or where to begin. The second is due to an unbalanced approach to HSI in its own framework. These implementation challenges lead to barriers in the early prevention of mishaps. Understanding HSI practices and how they should be implemented in the Acquisition Product Life Cycle (PLC) has been a challenge across the government, leaving the value of HSI unknown and misunderstood with Program Managers. In the case for many acquisition programs, HSI is not implemented in early design, losing the perspective on human capabilities and limitations, creating impacts on human-centered design. Expectations in human performance are not clearly set and operations are baselined with no margin for changes in technology and processes that will affect system performance. The HSI framework addresses total system performance holistically using collaboration as the primary tool. The goal is to create a system with efficiencies while minimizing risk to the operators, maintainers, and support personnel, as well as any collateral personnel and systems. To accomplish this, HSI should be implemented as part of preemptive measures to minimize potential human error and mishaps during the operation phase. Investigative and assessment tools exist that consider events, issues, and other outside influences of a system that may not fall under the current construct of the HSI domains, leaving gaps in early HSI implementation and affecting the prevention of human errors and mishaps. This presentation will outline what NASA HSI is doing to support Early HSI implementation and Operational Performance shifts that affect human performance.

Anthony T Thomas↗
NASA NTRS2004

Parallel-Processing Equalizers for Multi-Gbps Communications

Architectures have been proposed for the design of frequency-domain least-mean-square complex equalizers that would be integral parts of parallel- processing digital receivers of multi-gigahertz radio signals and other quadrature-phase-shift-keying (QPSK) or 16-quadrature-amplitude-modulation (16-QAM) of data signals at rates of multiple gigabits per second. Equalizers as used here denotes receiver subsystems that compensate for distortions in the phase and frequency responses of the broad-band radio-frequency channels typically used to convey such signals. The proposed architectures are suitable for realization in very-large-scale integrated (VLSI) circuitry and, in particular, complementary metal oxide semiconductor (CMOS) application- specific integrated circuits (ASICs) operating at frequencies lower than modulation symbol rates. A digital receiver of the type to which the proposed architecture applies (see Figure 1) would include an analog-to-digital converter (A/D) operating at a rate, fs, of 4 samples per symbol period. To obtain the high speed necessary for sampling, the A/D and a 1:16 demultiplexer immediately following it would be constructed as GaAs integrated circuits. The parallel-processing circuitry downstream of the demultiplexer, including a demodulator followed by an equalizer, would operate at a rate of only fs/16 (in other words, at 1/4 of the symbol rate). The output from the equalizer would be four parallel streams of in-phase (I) and quadrature (Q) samples.

Gray, Andrew↗
NASA NTRS2001

Development of an Aeroelastic Analysis Including a Viscous Flow Model

Under this grant, Version 4 of the three-dimensional Navier-Stokes aeroelastic code (TURBO-AE) has been developed and verified. The TURBO-AE Version 4 aeroelastic code allows flutter calculations for a fan, compressor, or turbine blade row. This code models a vibrating three-dimensional bladed disk configuration and the associated unsteady flow (including shocks, and viscous effects) to calculate the aeroelastic instability using a work-per-cycle approach. Phase-lagged (time-shift) periodic boundary conditions are used to model the phase lag between adjacent vibrating blades. The direct-store approach is used for this purpose to reduce the computational domain to a single interblade passage. A disk storage option, implemented using direct access files, is available to reduce the large memory requirements of the direct-store approach. Other researchers have implemented 3D inlet/exit boundary conditions based on eigen-analysis. Appendix A: Aeroelastic calculations based on three-dimensional euler analysis. Appendix B: Unsteady aerodynamic modeling of blade vibration using the turbo-V3.1 code.

Keith, Theo G., Jr.↗
NASA NTRS2012

Causal Correlation Functions and Fourier Transforms: Application in Calculating Pressure Induced Shifts

By adopting a concept from signal processing, instead of starting from the correlation functions which are even, one considers the causal correlation functions whose Fourier transforms become complex. Their real and imaginary parts multiplied by 2 are the Fourier transforms of the original correlations and the subsequent Hilbert transforms, respectively. Thus, by taking this step one can complete the two previously needed transforms. However, to obviate performing the Cauchy principal integrations required in the Hilbert transforms is the greatest advantage. Meanwhile, because the causal correlations are well-bounded within the time domain and band limited in the frequency domain, one can replace their Fourier transforms by the discrete Fourier transforms and the latter can be carried out with the FFT algorithm. This replacement is justified by sampling theory because the Fourier transforms can be derived from the discrete Fourier transforms with the Nyquis rate without any distortions. We apply this method in calculating pressure induced shifts of H2O lines and obtain more reliable values. By comparing the calculated shifts with those in HITRAN 2008 and by screening both of them with the pair identity and the smooth variation rules, one can conclude many of shift values in HITRAN are not correct.

correlation function↗
NASA NTRS1994

Diagenetic Microcrystalline Opal Varieties from the Monterey Formation, CA: HRTEM Study of Structures and Phase Transformation Mechanisms

Microcrystalline opal varieties form as intermediary precipitates during the diagenetic transformation of biogenically precipitated non-crystalline opal (opal-A) to microquartz. With regard to the Monterey Formation of California, X-ray powder diffraction studies have shown that a decrease in the primary d-spacing of opal-CT toward that of cristobalite occurs with increasing diagenesis. The initial timing of opal-CT/quartz formation and the value of the primary opal-CT d-spacing, are influenced by the sediment. lithology. Transmission electron microscopy methods (CTEM/HRTEM) were used to investigate the structure of the diagenetic phases and establish transformation mechanisms between the varieties of microcrystalline opals in charts and porcelanites from the Monterey Formation. HRTEM images revealed that the most common fibrous varieties of microcrystalline opals contain varying amounts of structural disorder. Finite lamellar units of cristobalite-and tridymite-type. layer sequences were found to be randomly stacked in a direction perpendicular to the fiber axis. Disordered and ordered fibers were found to have coprecipitated within the same radial fiber bundles that formed within the matrix of the Most siliceous samples. HRTEM images, which reveal that the fibers within radial and lepispheric fiber bundles branch non-crystallographically, support an earlier proposal that microspheres in chert grow via a spherulitic growth mechanism. A less common variety of opal-CT was found to be characterized by non-parallel (low-angle) stacking sequences that often contain twinned lamellae. Tabular-shaped crystals of orthorhombic tridymite (PO-2) were also identified in the porcelanite samples. A shift in the primary d-spacing of opal-CT has been interpreted as an indication of solid-state ordering g toward a predominantly cristobalite structure, (opal-C). Domains of opal-C were identified as topotactically-oriented overgrowths on discrete Sections of opal-CT fibers and as lamellar domains within relict opal-CT fibers. These findings indicate that the type of transformation mechanism depends upon the primary structural characteristics of the authigenic opaline. varieties that are in turn influenced by the sediment lithology.

Cady, Sherry L.↗
NASA NTRS2014

Effects of Dopant on Depoling Temperature in Modified BiScO3 - PbTiO3

In recent years there has been a renewed interest for high temperature piezoelectrics for both terrestrial and aerospace applications. These applications are limited in part by the operating temperature, which is usually taken as one half of the Curie temperature (Tc), and is 200C for one of the most widely used commercial piezoelectrics, Pb(Zr,Ti)O3 (PZT). In an effort to increase Tc, subsequent research into high temperature Bi(BB)O3 PbTiO3 piezoelectrics led to the discovery of the morphotropic phase boundary (MPB) in the high-Tc BiScO3 PbTiO3 (BS-PT) system with a Tc of 460C and a d33 of 460 pmV. The Tc marks the ferroelectric to paraelectric phase transformation and while, in general, a phase transformation leads to thermal depoling in piezoelectrics with low or moderate Tcs, for high Tc piezoelectrics thermally assisted dipole rotation can lead to randomization of domains at temperatures below Tc. It becomes necessary to determine the depoling temperature (Td) which dictates the actual working temperature range. By doping for Sc and Ti the Td can be shifted while maintaining similar electromechanical properties as a function of temperature. The effect of this B-site doping on depoling temperature has been explored through the characterization of microstructure and weakhigh field measurements.

Actuator↗
NASA NTRS2009

Modeling Guidelines for Code Generation in the Railway Signaling Context

Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue. Introduction of Model-Based Development (MBD) and code generation in the industrial safety-critical sector created a crucial paradigm shift in the development process of dependable systems. While traditional software development focuses on the code, with MBD practices the focus shifts to model abstractions. The change has fundamental implications for safety-critical systems, which still need to guarantee a high degree of confidence also at code level. Usage of the Simulink/Stateflow platform for modeling, which is a de facto standard in control software development, does not ensure by itself production of high-quality dependable code. This issue has been addressed by companies through the definition of modeling rules imposing restrictions on the usage of design tools components, in order to enable production of qualified code. The MAAB Control Algorithm Modeling Guidelines (MathWorks Automotive Advisory Board)[3] is a well established set of publicly available rules for modeling with Simulink/Stateflow. This set of recommendations has been developed by a group of OEMs and suppliers of the automotive sector with the objective of enforcing and easing the usage of the MathWorks tools within the automotive industry. The guidelines have been published in 2001 and afterwords revisited in 2007 in order to integrate some additional rules developed by the Japanese division of MAAB [5]. The scope of the current edition of the guidelines ranges from model maintainability and readability to code generation issues. The rules are conceived as a reference baseline and therefore they need to be tailored to comply with the characteristics of each industrial context. Customization of these recommendations has been performed for the automotive control systems domain in order to enforce code generation [7]. The MAAB guidelines have been found profitable also in the aerospace/avionics sector [1] and they have been adopted by the MathWorks Aerospace Leadership Council (MALC). General Electric Transportation Systems (GETS) is a well known railway signaling systems manufacturer leading in Automatic Train Protection (ATP) systems technology. Inside an effort of adopting formal methods within its own development process, GETS decided to introduce system modeling by means of the MathWorks tools [2], and in 2008 chose to move to code generation. This article reports the experience performed by GETS in developing its own modeling standard through customizing the MAAB rules for the railway signaling domain and shows the result of this experience with a successful product development story.

Ferrari, Alessio↗