Reliability Prediction of a Trajectory Verification System
نویسنده
چکیده
The existence of software faults in safety-critical systems is not tolerable. The goals of software reliability assessment are estimating the failure probability of the program, θ, and gaining statistical confidence that θ is realistic. The paper presents practical problems and challenges encountered in an ongoing effort to assess and quantify software reliability of NASA’s Day-of-Launch I-Load Update (DOLILU II) system. DOLILU II system has been in operational use for several years. Bayesian framework was chosen for reliability assessment, because it allowed incorporation of failure free executions observed in the operational environment into the reliability prediction.
منابع مشابه
Trajectory Tracking Weeled Mobile Robot Using Backstepping Method with Connection off Axle Trailer
The connection of the tractor to the inactive trailer or motor vehicle causes a motion control problem when turning in the screw, forward or backward movements and high speeds. This is due to the inactive trailer being controlled by the tracking using a physical link that is not affected by the movement. Trailers usually take tracks under these conditions. This phenomenon is called Jack Knife. ...
متن کاملDrilling Trajectory Prediction Model for Push-the-bit Rotary Steerable Bottom Hole Assembly
The study of rotary steering drilling technology is currently one of the hot topics in the drilling engineering field. It requires accurate well trajectory control instructions when rotary steerable tools are applied to achieve the well trajectory control goal. A drilling trajectory prediction model will benefit this progress. According to the continuous beam theory, a mechanical model of push-...
متن کاملThe trajectory of center of pressure during stance phase of gait in healthy males and females using pedar-X system
Introduction and Objectives. The trajectory of center of pressure (COP) during the stance phase of gait is considered as an important parameter in assessing of dynamic balance, foot and ankle function and effectiveness of shoe and orthotics. The aim of this study was to determine the COP trajectory during stance phase of gait in healthy males and females, by means of Pedar-X plantar pressure me...
متن کاملNumerical simulation of hull and propeller interaction in acceleration maneuver
Prediction of a ship’s trajectory during a maneuvering motion is so important. In this study, the acceleration maneuver for a twin-screw vessel is directly investigated using computational fluid dynamic (CFD) environment and unsteady RANS (Reynolds Averaged Navier-Stokes) solver. For this purpose, the self-propulsion and acceleration simulations with hull and propeller interaction for the well-...
متن کاملHySIA: Tool for Simulating and Monitoring Hybrid Automata Based on Interval Analysis
We present HySIA: a reliable runtime verification tool for nonlinear hybrid automata (HA) and signal temporal logic (STL) properties. HySIA simulates an HA with interval analysis techniques so that a trajectory is enclosed sharply within a set of intervals. Then, HySIA computes whether the simulated trajectory satisfies a given STL property; the computation is performed again with interval anal...
متن کامل