Title :
A framework for dependability specification
Author :
Scalzo, Richard C. ; Hugue, Michelle M.
Author_Institution :
Naval Surface Warfare Center, Dahlgren, VA, USA
Abstract :
There are many problems which arise during the development cycle of a complex real time system. Among these are incomplete and inconsistent system level requirements for dependable system operation, incomplete specification for system level fault tolerance, and incomplete plans for test and evaluation. A framework for the specification of dependability properties of a system is an important part of the solution to these problems. Such a framework can be used to guide system engineers through the specification process so that the result is as complete as possible at every stage of the development cycle. It will also provide a means for checking the consistency of specifications and will provide more useful inputs for system evaluation than usual. Finally, such a framework will provide the means for providing additional information for traceability of requirements, design decisions, and test plans. The purpose of the paper is to provide such a framework
Keywords :
formal specification; program testing; real-time systems; software fault tolerance; complex real time system; dependability properties; dependability specification framework; dependable system operation; design decisions; development cycle; incomplete plans; incomplete specification; inconsistent system level requirements; requirements traceability; specification process; system engineers; system evaluation; system level fault tolerance; test plans; Fault tolerance; Fault tolerant systems; Hardware; Humans; Real time systems; Redundancy; Sonar; System testing; Systems engineering and theory;
Conference_Titel :
Engineering of Complex Computer Systems, 1996. Proceedings., Second IEEE International Conference on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-8186-7614-0
DOI :
10.1109/ICECCS.1996.558429
