Flight elements: Fault detection and fault management

Fault management for an intelligent computational system must be developed using a top down integrated engineering approach. An approach proposed includes integrating the overall environment involving sensors and their associated data; design knowledge capture; operations; fault detection, identification, and reconfiguration; testability; causal models including digraph matrix analysis; and overall performance impacts on the hardware and software architecture. Implementation of the concept to achieve a real time intelligent fault detection and management system will be accomplished via the implementation of several objectives, which are: Development of fault tolerant/FDIR requirement and specification from a systems level which will carry through from conceptual design through implementation and mission operations; Implementation of monitoring, diagnosis, and reconfiguration at all system levels providing fault isolation and system integration; Optimize system operations to manage degraded system performance through system integration; and Lower development and operations costs through the implementation of an intelligent real time fault detection and fault management system and an information management system

Methodology for object-oriented real-time systems analysis and design: Software engineering

Successful application of software engineering methodologies requires an integrated analysis and design life-cycle in which the various phases flow smoothly 'seamlessly' from analysis through design to implementation. Furthermore, different analysis methodologies often lead to different structuring of the system so that the transition from analysis to design may be awkward depending on the design methodology to be used. This is especially important when object-oriented programming is to be used for implementation when the original specification and perhaps high-level design is non-object oriented. Two approaches to real-time systems analysis which can lead to an object-oriented design are contrasted: (1) modeling the system using structured analysis with real-time extensions which emphasizes data and control flows followed by the abstraction of objects where the operations or methods of the objects correspond to processes in the data flow diagrams and then design in terms of these objects; and (2) modeling the system from the beginning as a set of naturally occurring concurrent entities (objects) each having its own time-behavior defined by a set of states and state-transition rules and seamlessly transforming the analysis models into high-level design models. A new concept of a 'real-time systems-analysis object' is introduced and becomes the basic building block of a series of seamlessly-connected models which progress from the object-oriented real-time systems analysis and design system analysis logical models through the physical architectural models and the high-level design stages. The methodology is appropriate to the overall specification including hardware and software modules. In software modules, the systems analysis objects are transformed into software objects

LNCS

Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by real-valued distance functions between systems, where the distance between implementation and specification provides a measure of “fit” or “desirability.” We extend the simulation preorder to the quantitative setting, by making each player of a simulation game pay a certain price for her choices. We use the resulting games with quantitative objectives to define three different simulation distances. The correctness distance measures how much the specification must be changed in order to be satisfied by the implementation. The coverage distance measures how much the implementation restricts the degrees of freedom offered by the specification. The robustness distance measures how much a system can deviate from the implementation description without violating the specification. We consider these distances for safety as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not increase under parallel composition with a third system, and that the distance between two systems can be bounded from above and below by distances between abstractions of the two systems. These properties suggest that our simulation distances provide an appropriate basis for a quantitative theory of discrete systems. We also demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes

Hard Real-Time Linux for Off-The-Shelf Multicore Architectures

This document describes the research results that were obtained from the development of a real-time extension for the Linux operating system. The paper describes a full extension of the kernel, which enables hard real-time performance on a 64-bit x86 architecture. In the first part of this study, real-time systems are categorized and concepts of real-time operating systems are introduced to the reader. In addition, numerous well-known real-time operating systems are considered. QNX Neutrino, RT_PREEMPT Linux Patch and HLRT Linux Patch are analyzed in detail. The core concepts of these systems are shown and discussed. Furthermore, a test suite is developed, which is used to obtain expressive benchmarks from the systems that were analyzed before. The systems are evaluated on the basis of these benchmarks and compared to the real-time extension which is developed in this work. A requirements catalogue is defined based on the analysis of the stated operating systems. The design of a real-time extension is developed based on the specification catalogue and the identified core concepts. Furthermore, the concrete implementation of the developed real-time extension is presented in detail. Finally, the benchmarks of all analyzed systems, including the developed real-time extension, are compared to each other and evaluated

IST Austria Technical Report

Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by real-valued distance functions between systems, where the distance between implementation and specification provides a measure of “fit” or “desirability.” We extend the simulation preorder to the quantitative setting, by making each player of a simulation game pay a certain price for her choices. We use the resulting games with quantitative objectives to define three different simulation distances. The correctness distance measures how much the specification must be changed in order to be satisfied by the implementation. The coverage distance measures how much the im- plementation restricts the degrees of freedom offered by the specification. The robustness distance measures how much a system can deviate from the implementation description without violating the specification. We consider these distances for safety as well as liveness specifications. The distances can be computed in polynomial time for safety specifications, and for liveness specifications given by weak fairness constraints. We show that the distance functions satisfy the triangle inequality, that the distance between two systems does not increase under parallel composition with a third system, and that the distance between two systems can be bounded from above and below by distances between abstractions of the two systems. These properties suggest that our simulation distances provide an appropriate basis for a quantitative theory of discrete systems. We also demonstrate how the robustness distance can be used to measure how many transmission errors are tolerated by error correcting codes

Multisensor Data Fusion Implementation for a Sensor Based Fertilizer Application System

"Mapping systems" (“mapping approach”), real-time sensor-actuator systems ("sensor approach") or the combination of both (“Real-time approach with map overlay”) determine the process control in mobile application systems for spatially variable fertilization. Within the integrated research project “Information Systems Precision Farming Duernast” (IKB Duernast) the implementation of the “Real-time approach with map overlay” was done for intensive nitrogen fertilization. The bottom line of this sophisticated approach is a comprehensive situation assessment, a typical multisensor data fusion task. Based on a functional and procedural modelling of the multisensor data fusion and decision making process, it could be pointed out that an expert system is an adequate fusion paradigm and algorithm. Therefore, a software simulation with an expert system as core element was implemented to fuse on-line sensor technology measurements (REIP), maps (yield, EM38, environmental constraints, draft force) and user inputs in order to derive an application set point in real-time. The development of an expert system can be viewed as a structured transformation in five levels from the “specification level”, the “task level”, the “problem solving level” and the “knowledge base level” to the “tool level”. In the “tool level” the hybrid expert system shell JESS (Java Expert System Shell) was selected for implementation due to the results of preceding levels. Knowledge acquisition was done within another IKB-subproject by the means of data mining. Typical and maximal times of 10 ms and 60 ms for one fusion cycle were measured running this application on a 32-bit processor hardware (Intel Pentium III Mobile, 1 GHz)

Optimal Tracking and Identification of Paths for Industrial Robots

This paper presents results from time-optimal path tracking for industrial robots. More specifically, three subproblems are studied and experimentally evaluated. The first is a contact-force control approach for determining the geometric robot motion, such that the tool centre point of the robot is moved according to the specification. The second problem is off-line solution of the optimisation problem describing the time-optimal path tracking problem, by using software which allows highlevel implementation and solution of optimisation problems. The third problem is robust control of the robot during real-time path tracking based on the optimisation results determined off-line. An earlier developed control structure for robust control is implemented and tested in a robot system. This paper discusses the theory behind time-optimal path tracking and presents experimental results. Both contact-force controlled path identification and real-time path tracking of the identified path are evaluated on a 6-DOF industrial robot of type IRB140 from ABB