Diego Del Gobbo

Learn More
This paper discusses a case study where we use relations to represent the requirements of a fault tolerant flight control system. This task is part of a larger research project, carried out on behalf of Dryden Flight Research Center, whose purpose is to investigate the certification of an adaptive flight control system that is fault tolerant with respect to(More)
This paper presents insights gained while developing System Requirements Specification of a flight control system within a formal framework. SCR methodology has been used for the description of the requirements of Sensor Failure Detection and Identification Scheme. The emphasis is on the practical aspects and experience gained through the application of a(More)
 The paper presents a method for failure-free genetic algorithm optimization of a system controller. Genetic algorithms present a powerful tool that facilitates producing near-optimal system controllers. Applied to such methods of computational intelligence as neural networks or fuzzy logic, these methods are capable of combining the non-linear mapping(More)
Fault tolerance is the ability of a system to continue delivering its services after faults have caused errors. We have argued, in the past, that complex and/or critical systems are best validated by a wide range of methods, including proving, testing, and fault tolerance; we have also argued that in order to use these methods in concert, we need to cast(More)
  • 1