Title :
Experience in developing system requirements specification for a sensor failure detection and identification scheme
Author :
Del Gobbo, Diego ; Napolitano, Marcello ; Callahan, John ; Cukic, Bojan
Author_Institution :
Dept. of Mech. & Aerosp. Eng., West Virginia Univ., Morgantown, WV, USA
Abstract :
This paper presents insights gained while developing the system requirements specification of a flight control system within a formal framework. SCR methodology has been used for the description of the requirements of the sensor failure detection and identification scheme. The emphasis is on the practical aspects and experience gained through the application of a formal method in developing the system level requirements for the given application
Keywords :
aerospace control; failure analysis; formal specification; sensors; SCR methodology; flight control system; formal framework; formal method; sensor failure detection; sensor failure identification scheme; system requirements specification; Aircraft; Costs; Failure analysis; Fault detection; Fault diagnosis; Monitoring; Sensor systems; Testing; Thyristors; Voting;
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-9221-9
DOI :
10.1109/HASE.1998.731614
