Fault tolerant architectures for integrated aircraft electronics systems

Work into possible architectures for future flight control computer systems is described. Ada for Fault-Tolerant Systems, the NETS Network Error-Tolerant System architecture, and voting in asynchronous systems are covered

Security Policy Specification Using a Graphical Approach

A security policy states the acceptable actions of an information system, as the actions bear on security. There is a pressing need for organizations to declare their security policies, even informal statements would be better than the current practice. But, formal policy statements are preferable to support (1) reasoning about policies, e.g., for consistency and completeness, (2) automated enforcement of the policy, e.g., using wrappers around legacy systems or after the fact with an intrusion detection system, and (3) other formal manipulation of policies, e.g., the composition of policies. We present LaSCO, the Language for Security Constraints on Objects, in which a policy consists of two parts: the domain (assumptions about the system) and the requirement (what is allowed assuming the domain is satisfied). Thus policies defined in LaSCO have the appearance of conditional access control statements. LaSCO policies are specified as expressions in logic and as directed graphs, giving a visual view of policy. LaSCO has a simple semantics in first order logic (which we provide), thus permitting policies we write, even for complex policies, to be very perspicuous. LaSCO has syntax to express many of the situations we have found to be useful on policies or, more interesting, the composition of policies. LaSCO has an object-oriented structure, permitting it to be useful to describe policies on the objects and methods of an application written in an object-oriented language, in addition to the traditional policies on operating system objects. A LaSCO specification can be automatically translated into executable code that checks an invocation of a program with respect to a policy. The implementation of LaSCO is in Java, and generates wrappers to check Java programs with respect to a policy.Comment: 28 pages, 22 figures, in color (but color is not essential for viewing); UC Davis CS department technical report (July 22, 1998

Techniques for the realization of ultrareliable spaceborne computers Interim scientific report

Error-free ultrareliable spaceborne computer

Design of a fault tolerant airborne digital computer. Volume 1: Architecture

This volume is concerned with the architecture of a fault tolerant digital computer for an advanced commercial aircraft. All of the computations of the aircraft, including those presently carried out by analogue techniques, are to be carried out in this digital computer. Among the important qualities of the computer are the following: (1) The capacity is to be matched to the aircraft environment. (2) The reliability is to be selectively matched to the criticality and deadline requirements of each of the computations. (3) The system is to be readily expandable. contractible, and (4) The design is to appropriate to post 1975 technology. Three candidate architectures are discussed and assessed in terms of the above qualities. Of the three candidates, a newly conceived architecture, Software Implemented Fault Tolerance (SIFT), provides the best match to the above qualities. In addition SIFT is particularly simple and believable. The other candidates, Bus Checker System (BUCS), also newly conceived in this project, and the Hopkins multiprocessor are potentially more efficient than SIFT in the use of redundancy, but otherwise are not as attractive

Tungsten resonance integrals and Doppler coefficients Third quarterly report, Jan. - Mar. 1966

Reactivities, Doppler coefficients, and resonance integrals for tungsten isotope

Fault tolerant architectures for integrated aircraft electronics systems, task 2

The architectural basis for an advanced fault tolerant on-board computer to succeed the current generation of fault tolerant computers is examined. The network error tolerant system architecture is studied with particular attention to intercluster configurations and communication protocols, and to refined reliability estimates. The diagnosis of faults, so that appropriate choices for reconfiguration can be made is discussed. The analysis relates particularly to the recognition of transient faults in a system with tasks at many levels of priority. The demand driven data-flow architecture, which appears to have possible application in fault tolerant systems is described and work investigating the feasibility of automatic generation of aircraft flight control programs from abstract specifications is reported

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

Hyper-Ramsey Spectroscopy of Optical Clock Transitions

We present non-standard optical Ramsey schemes that use pulses individually tailored in duration, phase, and frequency to cancel spurious frequency shifts related to the excitation itself. In particular, the field shifts and their uncertainties of Ramsey fringes can be radically suppressed (by 2-4 orders of magnitude) in comparison with the usual Ramsey method (using two equal pulses) as well as with single-pulse Rabi spectroscopy. Atom interferometers and optical clocks based on two-photon transitions, heavily forbidden transitions, or magnetically induced spectroscopy could significantly benefit from this method. In the latter case these frequency shifts can be suppressed considerably below a fractional level of 10^{-17}. Moreover, our approach opens the door for the high-precision optical clocks based on direct frequency comb spectroscopy.Comment: 5 pages, 4 figure

Estimating the burden of disease attributable to diabetes in South Africa in 2000

Objectives. To estimate the burden of disease attributable to diabetes by sex and age group in South Africa in 2000. Design. The framework adopted for the most recent World Health Organization comparative risk assessment (CRA) methodology was followed. Small community studies used to derive the prevalence of diabetes by population group were weighted proportionately for a national estimate. Populationattributable fractions were calculated and applied to revised burden of disease estimates. Monte Carlo simulation-modelling techniques were used for uncertainty analysis. Setting. South Africa. Subjects. Adults 30 years and older. Outcome measures. Mortality and disability-adjusted life years (DALYs) for ischaemic heart disease (IHD), stroke, hypertensive disease and renal failure. Results. Of South Africans aged ≥ 30 years, 5.5% had diabetes which increased with age. Overall, about 14% of IHD, 10% of stroke, 12% of hypertensive disease and 12% of renal disease burden in adult males and females (30+ years) were attributable to diabetes. Diabetes was estimated to have caused 22 412 (95% uncertainty interval 20 755 - 24 872) or 4.3% (95% uncertainty interval 4.0 - 4.8%) of all deaths in South Africa in 2000. Since most of these occurred in middle or old age, the loss of healthy life years comprises a smaller proportion of the total 258 028 DALYs (95% uncertainty interval 236 856 - 290 849) in South Africa in 2000, accounting for 1.6% (95% uncertainty interval 1.5 - 1.8%) of the total burden. Conclusions. Diabetes is an important direct and indirect cause of burden in South Africa. Primary prevention of the disease through multi-level interventions and improved management at primary health care level are needed

Design study of Software-Implemented Fault-Tolerance (SIFT) computer

Software-implemented fault tolerant (SIFT) computer design for commercial aviation is reported. A SIFT design concept is addressed. Alternate strategies for physical implementation are considered. Hardware and software design correctness is addressed. System modeling and effectiveness evaluation are considered from a fault-tolerant point of view