Experience in developing system requirements specification for a sensor failure detection and identification scheme

Proceedings - 3rd IEEE International High-Assurance Systems Engineering Symposium, HASE 1998

Volumn 1998-November, Issue , 1998, Pages 209-212

  Del Gobbo, D ^a   Napolitano, M ^a   Callahan, J ^a   Cukic, B ^a  

^a West Virginia University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; REQUIREMENTS ENGINEERING; SPECTROMETRY; SYSTEMS ENGINEERING;

FORMAL FRAMEWORK; SENSOR FAILURE DETECTION; SYSTEM REQUIREMENTS SPECIFICATIONS; SYSTEM-LEVEL REQUIREMENTS;

FLIGHT CONTROL SYSTEMS;

EID: 85029363473     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1998.731614     Document Type: Conference Paper

References (10)

1. Brooks, F. No Silver Bullet: Essence and Accidents of Software Engineering, Computer, Apr. 1987.
2. Dorfman, M. Requirements Engineering from Software Requirements Engineering, 2nd ed., IEEE CS Press, Los Alamitos, Calif., 1997.
3. France, R.B., Bruel, J., and Raghavan, G. Taming The Octopus: Using Formal Models to Integrate the Octopus Object Oriented Analysis Models, Proc. of HASE''97, Washington, D.C., August, 1997.
4. Heitmeyer, C.L., Kirby, J., and Labaw, B.G. Tools for Formal Specification, Verification, and Validation of Requirements, Proc., COMPASS 97.
5. Heitmeyer, C.L., Jeffords, R.D., and Labaw, B.G. Automated Consistency Checking of Requirements Specifications, ACM Trans. SE and Methodology, V5, No. 3, July 1996.
6. IEEE P1233/D3. Guide For Developing System Requirements Specifications, December 1995.
7. Jackson M. The meaning of requirements, Annals of Software Engineering, V3, 1997.
8. Patton R., Frank P. and Clark R., Fault Diagnosis in Dynamic Systems, Theory and Applications, Prentice Hall, 1989.
9. Tsai, W., Mojdehbakhsh, R., and Rayadurgam, S. Experience in Capturing Requirements for Safety-Critical Medical Devices in an Industrial Environment, Proc. HASE'97, Washington, D.C., August 1997.
10. Willsky A.S., A Survey of Design Methods for Failure Detection in Dynamic Systems, Automatica, Vol. 12, pp. 601-611, 1976.