Framework on Economical Implication and Issues of SADU Implementation

Due to software which plays an increasingly role in everyday life, interaction betweenhumans and computers will increase in importance; therefore, the ability to support interactions forefficient re-use of experience is a major challenge for systems in the future. Trace Based Reasoningwill have a significant impact on applications sharing experience, when they are based on the web inparticular, since traces allow us to imagine several ways of interaction in systems and to combinemultiple modes of interaction in a single system. In the conducted study we aimed at developing anAssist System of Human Diagnostician (SADU), meaning that this system will have the humanknowledge and then information retrieved by interaction with humans at the SADU request

Active actuator fault-tolerant control of a wind turbine benchmark model

This paper describes the design of an active fault-tolerant control scheme that is applied to the actuator of a wind turbine benchmark. The methodology is based on adaptive filters obtained via the nonlinear geometric approach, which allows to obtain interesting decoupling property with respect to uncertainty affecting the wind turbine system. The controller accommodation scheme exploits the on-line estimate of the actuator fault signal generated by the adaptive filters. The nonlinearity of the wind turbine model is described by the mapping to the power conversion ratio from tip-speed ratio and blade pitch angles. This mapping represents the aerodynamic uncertainty, and usually is not known in analytical form, but in general represented by approximated two-dimensional maps (i.e. look-up tables). Therefore, this paper suggests a scheme to estimate this power conversion ratio in an analytical form by means of a two-dimensional polynomial, which is subsequently used for designing the active fault-tolerant control scheme. The wind turbine power generating unit of a grid is considered as a benchmark to show the design procedure, including the aspects of the nonlinear disturbance decoupling method, as well as the viability of the proposed approach. Extensive simulations of the benchmark process are practical tools for assessing experimentally the features of the developed actuator fault-tolerant control scheme, in the presence of modelling and measurement errors. Comparisons with different fault-tolerant schemes serve to highlight the advantages and drawbacks of the proposed methodology

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems

The Internet of Things (IoT) is a ubiquitous system connecting many different devices - the things - which can be accessed from the distance. The cyber-physical systems (CPS) monitor and control the things from the distance. As a result, the concepts of dependability and security get deeply intertwined. The increasing level of dynamicity, heterogeneity, and complexity adds to the system's vulnerability, and challenges its ability to react to faults. This paper summarizes state-of-the-art of existing work on anomaly detection, fault-tolerance and self-healing, and adds a number of other methods applicable to achieve resilience in an IoT. We particularly focus on non-intrusive methods ensuring data integrity in the network. Furthermore, this paper presents the main challenges in building a resilient IoT for CPS which is crucial in the era of smart CPS with enhanced connectivity (an excellent example of such a system is connected autonomous vehicles). It further summarizes our solutions, work-in-progress and future work to this topic to enable "Trustworthy IoT for CPS". Finally, this framework is illustrated on a selected use case: A smart sensor infrastructure in the transport domain.Comment: preprint (2018-10-29

Self-Healing by Means of Runtime Execution Profiling

A self-healing application brings itself into a stable state after a failure put the software into an unstable state. For such self-healing software application, finding fix for a previously unseen fault is a grand challenge. Asking the user to provide fixes for every fault is bad for productivity, especially when the users are non-savvy in technical aspect of computing. If failure scenarios come into existence, the user wants the runtime environment to handle those situations autonomically. This paper presents a new technique of finding self-healing actions by matching a fault scenario to already established fault models. By profiling and capturing runtime parameters and execution pathWays, stable execution models are established and later are used to match with an unstable execution scenario. Experimentation and results are presented that showed that even with additional overheads; this technique can prove beneficial for autonomically healing faults and reliving system administrators from mundane troubleshooting situations.Comment: Proceedings of 14th International Conference on Computer and Information Technology (ICCIT 2011) 22-24 December, 2011, Dhaka, Banglades

Wind turbine simulator fault diagnosis via fuzzy modelling and identification techniques

For improving the safety and the reliability of wind turbine installations, the earliest and fastest fault detection and isolation are highly required, since it could be used also for accommodation purpose. Modern wind turbines consist of several important subsystems, which can be affected by malfunctions regarding actuators, sensors, and components. From the turbine control point-of-view they are extremely important since provide the actuation signals, the main functions, as well as the measurements. In this paper, a fault diagnosis scheme based on the identification of fuzzy models is described, in order to detect and isolate these faults in the most efficient way, in order also to improve the energy cost, the production rate, and reduce the operation and maintenance operations. Fuzzy systems are proposed here since the model under investigation is nonlinear, whilst the wind speed measurement is uncertain since it depends on the rotor plane wind turbulence effects. These fuzzy models are described as Takagi-Sugeno prototypes, whose parameters are estimated from the wind turbine measurements. The fault diagnosis methodology is thus developed using these fuzzy models, which are exploited as residual generators. The wind turbine simulator is finally employed for the validation of the obtained performances.For improving the safety and the reliability of wind turbine installations, the earliest and fastest fault detection and isolation is highly required, since it could be used also for accommodation purpose. Modern wind turbines consist of several important subsystems, which can be affected by malfunctions regarding actuators, sensors, and components. From the turbine control point–of–view they are extremely important since provide the actuation signals, the main functions, as well as the measurements. In this paper, a fault diagnosis scheme based on the identification of fuzzy models is described, in order to detect and isolated these faults in the most efficient way, in order also to improve the energy cost, the production rate, and reduce the operation and maintenance operations. Fuzzy systems are proposed here since the model under investigation is nonlinear, whilst the wind speed measurement is uncertain since it depends on the rotor plane wind turbulence effects. These fuzzy models are described as Takagi–Sugeno prototypes, whose parameters are estimated from the wind turbine measurements. The fault diagnosis methodology is thus developed using these fuzzy models, which are exploited as residual generators. The wind turbine simulator is finally employed for the validation of the obtained performances

Error Detection and Mitigation of Data-Intensive Microprocessor Applications Using SIMD and Trace Monitoring

This article proposes a software error mitigation approach that uses the single instruction multiple data (SIMD) coprocessor to accelerate computation over redundant data. In addition, an external IP connected to the microprocessor's trace interface is used to detect errors that are difficult to cover with software-implemented techniques. The proposed approach has been implemented in an ARM microprocessor, and an irradiation campaign with neutrons has been carried out at Los Alamos National Laboratory. Experimental results demonstrate the high error coverage (more than 99.9%) of the proposed approach. The neutron cross section of errors that were not corrected nor detected was reduced by more than three orders of magnitude

The 1990 progress report and future plans

This document describes the progress and plans of the Artificial Intelligence Research Branch (RIA) at ARC in 1990. Activities span a range from basic scientific research to engineering development and to fielded NASA applications, particularly those applications that are enabled by basic research carried out at RIA. Work is conducted in-house and through collaborative partners in academia and industry. Our major focus is on a limited number of research themes with a dual commitment to technical excellence and proven applicability to NASA short, medium, and long-term problems. RIA acts as the Agency's lead organization for research aspects of artificial intelligence, working closely with a second research laboratory at JPL and AI applications groups at all NASA centers

Diagnosis of Fault Modes Masked by Control Loops with an Application to Autonomous Hovercraft Systems

This paper introduces a methodology for the design, testing and assessment of incipient failure detection techniques for failing components/systems of an autonomous vehicle masked or hidden by feedback control loops. It is recognized that the optimum operation of critical assets (aircraft, autonomous systems, etc.) may be compromised by feedback control loops by masking severe fault modes while compensating for typical disturbances. Detrimental consequences of such occurrences include the inability to detect expeditiously and accurately incipient failures, loss of control and inefficient operation of assets in the form of fuel overconsumption and adverse environmental impact. We pursue a systems engineering process to design, construct and test an autonomous hovercraft instrumented appropriately for improved autonomy. Hidden fault modes are detected with performance guarantees by invoking a Bayesian estimation approach called particle filtering. Simulation and experimental studies are employed to demonstrate the efficacy of the proposed methods

Component-Level Electronic-Assembly Repair (CLEAR) System Architecture

This document captures the system architecture for a Component-Level Electronic-Assembly Repair (CLEAR) capability needed for electronics maintenance and repair of the Constellation Program (CxP). CLEAR is intended to improve flight system supportability and reduce the mass of spares required to maintain the electronics of human rated spacecraft on long duration missions. By necessity it allows the crew to make repairs that would otherwise be performed by Earth based repair depots. Because of practical knowledge and skill limitations of small spaceflight crews they must be augmented by Earth based support crews and automated repair equipment. This system architecture covers the complete system from ground-user to flight hardware and flight crew and defines an Earth segment and a Space segment. The Earth Segment involves database management, operational planning, and remote equipment programming and validation processes. The Space Segment involves the automated diagnostic, test and repair equipment required for a complete repair process. This document defines three major subsystems including, tele-operations that links the flight hardware to ground support, highly reconfigurable diagnostics and test instruments, and a CLEAR Repair Apparatus that automates the physical repair process

Formal specification of requirements for analytical redundancy-based fault -tolerant flight control systems

Flight control systems are undergoing a rapid process of automation. The use of Fly-By-Wire digital flight control systems in commercial aviation (Airbus 320 and Boeing FBW-B777) is a clear sign of this trend. The increased automation goes in parallel with an increased complexity of flight control systems with obvious consequences on reliability and safety. Flight control systems must meet strict fault-tolerance requirements. The standard solution to achieving fault tolerance capability relies on multi-string architectures. On the other hand, multi-string architectures further increase the complexity of the system inducing a reduction of overall reliability.;In the past two decades a variety of techniques based on analytical redundancy have been suggested for fault diagnosis purposes. While research on analytical redundancy has obtained desirable results, a design methodology involving requirements specification and feasibility analysis of analytical redundancy based fault tolerant flight control systems is missing.;The main objective of this research work is to describe within a formal framework the implications of adopting analytical redundancy as a basis to achieve fault tolerance. The research activity involves analysis of the analytical redundancy approach, analysis of flight control system informal requirements, and re-engineering (modeling and specification) of the fault tolerance requirements. The USAF military specification MIL-F-9490D and supporting documents are adopted as source for the flight control informal requirements. The De Havilland DHC-2 general aviation aircraft equipped with standard autopilot control functions is adopted as pilot application. Relational algebra is adopted as formal framework for the specification of the requirements.;The detailed analysis and formalization of the requirements resulted in a better definition of the fault tolerance problem in the framework of analytical redundancy. Fault tolerance requirements and related certification procedures turned out to be considerably more demanding than those typically adopted in the literature. Furthermore, the research work brought up to light important issues in all fields involved in the specification process, namely flight control system requirements, analytical redundancy, and requirements engineering