Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
No abstract available
real time operating system↗
SEARCH · Engineering Papers
Results for “timing system”
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.
Ada and cyclic runtime scheduling
An important issue that must be faced while introducing Ada into the real time world is efficient and prodictable runtime behavior. One of the most effective methods employed during the traditional design of a real time system is the cyclic executive. The role cyclic scheduling might play in an Ada application in terms of currently available implementations and in terms of implementations that might be developed especially to support real time system development is examined. The cyclic executive solves many of the problems faced by real time designers, resulting in a system for which it is relatively easy to achieve approporiate timing behavior. Unfortunately a cyclic executive carries with it a very high maintenance penalty over the lifetime of the software that is schedules. Additionally, these cyclic systems tend to be quite fragil when any aspect of the system changes. The findings are presented of an ongoing SofTech investigation into Ada methods for real time system development. The topics covered include a description of the costs involved in using cyclic schedulers, the sources of these costs, and measures for future systems to avoid these costs without giving up the runtime performance of a cyclic system.
Hood, Philip E.↗
ARTSN: An Automated Real-Time Spacecraft Navigation System
ARTSN, the Automated Real-Time Spacecraft Navigation system is a real time system for the automated navigation of interplanetary spacecraft. The system processes the real time DSN radio metric data flow and generates updated spacecraft solutions and the associated covariance. ARTSN is designed modularly with the user interface input and output separated from the data analysis modules. Designed for distributed application, the system provided, for the first time, an automated method of processing radio metric navigation data for interplanetary spacecraft.
ARTSN↗
Estimating the Performance Loss Rate of Photovoltaic Systems Using Time Series Change Point Analysis
The accurate quantification of the performance loss rate of photovoltaic systems is critical for project economics. Following the current research activities in the photovoltaic performance and reliability field, this work presents a comparative assessment between common change point methods for performance loss rate estimation of fielded photovoltaic installations. An extensive testing campaign was thus performed to evaluate time series analysis approaches for performance loss rate evaluation of photovoltaic systems. Historical electrical data from eleven photovoltaic systems installed in Nicosia, Cyprus, and the locations’ meteorological measurements over a period of 8 years were used for this investigation. The application of change point detection algorithms on the constructed monthly photovoltaic performance ratio series revealed that the obtained trend might not always be linear. Specifically, thin film photovoltaic systems showed nonlinear behavior, while nonlinearities were also detected for some crystalline silicon photovoltaic systems. When applying several change point techniques, different numbers and locations of changes were detected, resulting in different performance loss rate values (varying by up to 0.85%/year even for the same number of change points). The results highlighted the importance of the application of nonlinear techniques and the need to extract a robust nonlinear model for detecting significant changes in time series data and estimating accurately the performance loss rate of photovoltaic installations.
photovoltaics↗
The application of TSIM software to act design and analysis on flexible aircraft
The TSIM software is described. This is a package which uses an interactive FORTRAN-like simulation language for the simulation on nonlinear dynamic systems and offers facilities which include: mixed continuous and discrete time systems, time response calculations, numerical optimization, automatic trimming of nonlinear aircraft systems, and linearization of nonlinear equations for eigenvalues, frequency responses and power spectral response evaluation. Details are given of the application of TSIM to the analysis of aeroelastic systems under the RAE Farborough extension FLEX-SIM. The aerodynamic and structural data for the equations of motion of a flexible aircraft are prepared by a preprocessor program for incorporation in TSIM simulations. Within the simulation, the flexible aircraft model may then be selected interactively for different flight conditions and modal reduction techniques applied. The use of FLEX-SIM is demonstrated by an example of the flutter prediction for a simple aeroelastic model. By utilizing the numerical optimization facility of TSIM, it is possible to undertake identification of required parameters in the TSIM model within the simulation.
Kaynes, Ian W.↗
Procedure for estimating stability and control parameters from flight test data by using maximum likelihood methods employing a real-time digital system
A maximum likelihood parameter estimation procedure and program were developed for the extraction of the stability and control derivatives of aircraft from flight test data. Nonlinear six-degree-of-freedom equations describing aircraft dynamics were used to derive sensitivity equations for quasilinearization. The maximum likelihood function with quasilinearization was used to derive the parameter change equations, the covariance matrices for the parameters and measurement noise, and the performance index function. The maximum likelihood estimator was mechanized into an iterative estimation procedure utilizing a real time digital computer and graphic display system. This program was developed for 8 measured state variables and 40 parameters. Test cases were conducted with simulated data for validation of the estimation procedure and program. The program was applied to a V/STOL tilt wing aircraft, a military fighter airplane, and a light single engine airplane. The particular nonlinear equations of motion, derivation of the sensitivity equations, addition of accelerations into the algorithm, operational features of the real time digital system, and test cases are described.
Grove, R. D.↗
Issues in visual support to real-time space system simulation solved in the Systems Engineering Simulator
The Systems Engineering Simulator has addressed the major issues in providing visual data to its real-time man-in-the-loop simulations. Out-the-window views and CCTV views are provided by three scene systems to give the astronauts their real-world views. To expand the window coverage for the Space Station Freedom workstation a rotating optics system is used to provide the widest field of view possible. To provide video signals to as many viewpoints as possible, windows and CCTVs, with a limited amount of hardware, a video distribution system has been developed to time-share the video channels among viewpoints at the selection of the simulation users. These solutions have provided the visual simulation facility for real-time man-in-the-loop simulations for the NASA space program.
Yuen, Vincent K.↗
Some results on the L sub p-stability of linear time-varying systems.
Stability of linear systems with convolution operator in forward loop and time-varying gain in feedback loop analyzed for frequency- and time- domain conditions
Willems, J. C.↗
A Phase Locked High Speed Real-Time Interferometry System for Large Amplitude Unsteady Flows
A high speed phase locked interferometry system has been designed and developed for real-time measurements of the dynamic stall flow over a pitching airfoil. Point diffraction interferograms of incipient flow separation over a sinusoidally oscillating airfoil have been obtained at rates of up to 20 KHz and for free stream Mach numbers of 0.3 and 0.45. The images were recorded on ASA 125 and ASA 400 film using a drum camera. Special electronic timing and synchronizing circuits were developed to trigger the laser light source from the camera, and to initiate acquisition of the interferogram sequence from any desired phase angle of oscillation. The airfoil instantaneous angle of attack data provided by an optical encoder was recorded via a FIFO and in EPROM into a microcomputer. The interferograms have been analyzed using software developed in-house to get quantitative flow density and pressure distributions.
Chandrasekhara, M. S.↗
Status of Frequency and Time Support for NASA Programs
NASA has Frequency and Timing Systems at many Facilities and Centers. This paper covers timing systems with specifications tighter than several microseconds.
core equipment performance/requirements↗
Separating essentials from incidentals: an execution architecture for real-time control systems
This paper describes an execution architecture that makes such systems far more analyzable and verifiable by aggressive separation of concerns. The architecture separates two key software concerns: transformations of global state, as defined in pure functions; and sequencing/timing of transformations, as performed by an engine that enforces four prime invariants. The important advantage of this architecture, besides facilitating verification, is that it encourages formal specification of systems in a vocabulary that brings systems engineering closer to software engineering.
execution architecture↗
Associated Particle Imaging of Neutron Inelastic Scatter: 3-D Reconstruction, Capabilities, and Challenges
Associated particle imaging (API) offers unique advantages for 3-D imaging of neutron inelastic scatter, including single-view tomographic imaging and data acquisition when access is limited to only one side of the interrogated object. However, widespread adoption of neutron inelastic scatter imaging has been impeded by several inherent challenges, most prominently spatial resolution, self-attenuation, and statistical noise. Here, in this work, the capabilities and challenges of neutron inelastic scatter imaging are investigated. Instead of focusing on a single imaging application, we identify imaging principles that hold for various neutron inelastic scatter imaging techniques. The primary challenges for 3-D imaging are characterized. The inherent spatial resolution in the time-of-flight (TOF) dimension is derived based on the known system timing resolution and scan geometry. Three reconstruction algorithms are described and demonstrated, including the introduction of modern iterative reconstruction incorporating a physics-based system model. Simulation is leveraged to demonstrate imaging capability with varying coincidence count levels and system timing resolution. An example of measured data with both back-scatter and forward-scatter detector positioning is presented. System design characteristics and their effects on image quality are identified. The imaging framework presented in this article has the potential to facilitate growth of 3-D neutron inelastic scatter API by identifying applications that are a good match for the technique and by targeting system development resources toward the requirements of a specific imaging task.
Associated particle imaging (API)↗
RT-Syn: A real-time software system generator
This paper presents research into providing highly reusable and maintainable components by using automatic software synthesis techniques. This proposal uses domain knowledge combined with automatic software synthesis techniques to engineer large-scale mission-critical real-time software. The hypothesis centers on a software synthesis architecture that specifically incorporates application-specific (in this case real-time) knowledge. This architecture synthesizes complex system software to meet a behavioral specification and external interaction design constraints. Some examples of these external constraints are communication protocols, precisions, timing, and space limitations. The incorporation of application-specific knowledge facilitates the generation of mathematical software metrics which are used to narrow the design space, thereby making software synthesis tractable. Success has the potential to dramatically reduce mission-critical system life-cycle costs not only by reducing development time, but more importantly facilitating maintenance, modifications, and extensions of complex mission-critical software systems, which are currently dominating life cycle costs.
Setliff, Dorothy E.↗
Dataset for: Price Controls for Scarcity Events in Real-Time and Transactive Energy Systems
Real time pricing (RTP) is often promoted as a mechanism to improve the economic efficiency of the electricity system. However, many regulators have been hesitant to adopt RTP due to concerns about exposing customers to extreme price swings. To balance these concerns, this paper proposes a methodology for establishing price controls, based on the supply of demand-side flexibility in the system. As an illustrative example, we measure price responsiveness using an agent-based simulation model that is representative of the ERCOT market. The model is composed of a distribution feeder that has 250 customers with active agents controlling their HVAC systems in response to the historical ERCOT RTP with an artificially added high-price event. These agents are subjected to increasing electricity prices during the event, which we then use to create a supply curve for demand-side resources in our modeled scarcity event. We set potential price caps at points on the supply curve where customers’ have exhausted their flexible capacity. Using historical prices, we examine the systemic costs of these price caps, and present regulatory options for recouping them. Utilities and regulators interested in limiting consumer risk from dynamic pricing can utilize these methods to develop rate structures and encourage conservation. The attached data upload allows for the duplication or modification of the analysis performed in this study.
Kerby, Jessica R↗
Continuous-Time Bilinear System Identification
The objective of this paper is to describe a new method for identification of a continuous-time multi-input and multi-output bilinear system. The approach is to make judicious use of the linear-model properties of the bilinear system when subjected to a constant input. Two steps are required in the identification process. The first step is to use a set of pulse responses resulting from a constant input of one sample period to identify the state matrix, the output matrix, and the direct transmission matrix. The second step is to use another set of pulse responses with the same constant input over multiple sample periods to identify the input matrix and the coefficient matrices associated with the coupling terms between the state and the inputs. Numerical examples are given to illustrate the concept and the computational algorithm for the identification method.
Juang, Jer-Nan↗
Wind energy system time-domain (WEST) analyzers
A portable analyzer which simulates in real time the complex nonlinear dynamics of horizontal axis wind energy systems was constructed. Math models for an aeroelastic rotor featuring nonlinear aerodynamic and inertial terms were implemented with high speed digital controllers and analog calculation. This model was combined with other math models of elastic supports, control systems, a power train and gimballed rotor kinematics. A stroboscopic display system graphically depicting distributed blade loads, motion, and other aerodynamic functions on a cathode ray tube is included. Limited correlation efforts showed good comparison between the results of this analyzer and other sophisticated digital simulations. The digital simulation results were successfully correlated with test data.
Dreier, M. E.↗
Engineering Performance
Under Goddard Space Flight Center and Jet Propulsion Laboratory SBIR (Small Business Innovative Research) contracts, AST Engineering Services, Inc. developed a system engineering computer software tool to model how certain applications will affect a proposed system's performance. Quantitative System Engineering (QASE) evaluates system timing, capacity and availability. The system is used to predict performance of proposed real-time, aerospace systems, embedded systems, and/or scientific systems, as well as in support of NASA's EDOS (Earth Observing System (EOS) Data and Operations System) initiative.
Source record↗
Overview of the NASA AMES-Dryden Integrated Test Facility
The Integrated Test Facility (ITF), being built at the NASA Ames Research Center's Dryden Flight Research Facility (ADFRF), will provide new real-time test capabilities for emerging research aircraft. An overview of the ITF and the real-time systems being developed to operate this unique facility are outlined in this paper. The ITF will reduce flight test risk by minimizing the difference between the flight- and ground-test environments. The ground-test environment is provided by combining real-time flight simulation with the actual aircraft. The generic capabilities of the ITF real-time systems, the real-time data recording, and the remotely augmented vehicle (RAV) monitoring system will be discussed. The benefits of applying simulation to aircraft-in-the-loop testing and RAV monitoring system capabilities to the X-29A flight research program will also be discussed.
Mackall, Dale↗