|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96)
A Framework for Dependability Specification
Montreal, CANADA
October 21-October 25
ISBN: 0-8186-7614-0
| ASCII Text | x | ||
| Richard C. Scalzo, Michelle Hugue, "A Framework for Dependability Specification," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 301, Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), 1996. | |||
| BibTex | x | ||
| @article{ 10.1109/ICECCS.1996.558429, author = {Richard C. Scalzo and Michelle Hugue}, title = {A Framework for Dependability Specification}, journal ={Engineering of Complex Computer Systems, IEEE International Conference on}, volume = {0}, year = {1996}, isbn = {0-8186-7614-0}, pages = {301}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1996.558429}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - Engineering of Complex Computer Systems, IEEE International Conference on TI - A Framework for Dependability Specification SN - 0-8186-7614-0 SP EP A1 - Richard C. Scalzo, A1 - Michelle Hugue, PY - 1996 KW - dependability KW - specification KW - real-time KW - framework VL - 0 JA - Engineering of Complex Computer Systems, IEEE International Conference on ER - | |||
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 this paper is to provide such a framework.
Index Terms:
dependability, specification, real-time, framework
Citation:
Richard C. Scalzo, Michelle Hugue, "A Framework for Dependability Specification," iceccs, pp.301, Second IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.