DocumentCode
2362410
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
fYear
1998
fDate
13-14 Nov 1998
Firstpage
209
Lastpage
212
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;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location
Washington, DC
Print_ISBN
0-8186-9221-9
Type
conf
DOI
10.1109/HASE.1998.731614
Filename
731614
Link To Document