A case study: Validation of guidance control software requirements for completeness, consistency and fault tolerance

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn , Issue , 2001, Pages 311-318

  Sheldon, Frederick T ^a   Kim, Hye Yeon ^a   Zhou, Zhihe ^a  

^a WASHINGTON STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC GUIDANCE SYSTEMS; REQUIREMENTS ENGINEERING; SPECIFICATIONS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; VERIFICATION;

ABNORMAL CONDITIONS; GUIDANCE AND CONTROL; GUIDANCE CONTROL; NATURAL LANGUAGES; PARTIAL VERIFICATION; SOFTWARE REQUIREMENTS SPECIFICATIONS; SPECIFICATION TESTING; STOCHASTIC ACTIVITY NETWORKS;

FAULT TOLERANCE;

EID: 0141470114     PISSN: 15410110     EISSN: None     Source Type: Journal    
DOI: 10.1109/PRDC.2001.992714     Document Type: Article

References (23)

1. Heitmeyer, C. L., Jeffords, R. D., and Labaw, B. G., Automated Consistency Checking of Requirements Specifications. Trans. on Software Eng. and Methodology, 1996. Vol. 5. (3)
2. Mission critical systems: Defense attempting to address major software challanges, US General Accounting Officce, 1992
3. Meyer, J. F., Performability: A Retrospective and Some Pointers to the Future. Performance Evaluation, 1992. Vol. 14. (3-4)
4. Sahner, R. T., K., and Puliafito, A., Performance and Reliability Analysis of Computer Systems - An Example-Based Approach Using the SHARPE Software Package. 1996, Boston, MA: Kluwer Academic
5. He, X., PZ nets - a formal method integrating Petri nets with Z. Information and Software Technology, 2001. Vol. 43
6. Bussow, R., Weber, M., A Steam-boiler Control Specification with Statecharts and Z. LNCS, 1996. Vol. 1165
7. Grieskamp, W., Heisel, M., and Dorr, H., Specifying Embedded Systems with Statecharts and Z: An Agenda for Cyclic Software Components. LNCS 1382, 1998
8. Damm, W., Hungar, H., Kelb, P., and Schlor, R., Statecharts - Using Graphical Specification Languages and Symbolic Model checking in the Verification of a Production Cell. LNCS 891, 1995
9. Bussow, R., Geisler, R., and Klar, M., Specifying Safety-Critical Embedded Systems with Statecharts and Z: A Case Study. LNCS 1382, 1998
10. Hierons, R. M., Sadeghipour, S., Singh, H., Testing a system specified using Statecharts and Z. Information and Software Technology, 2001. Vol. 43. (Feb)
11. Dugan, J. B., and Lyu, M. R. Dependability Modeling for Fault-Tolerant Software and Systems. in Software Fault Tolerance. 1995, John Wiley, New York, NY
12. Sanders, W. H. and L. M. Malhis, Dependability Evaluation Using Composed SAN-Based Reward Models. Journal of Parallel and Distributed Computing, no. 15, pp. 238-254, 1992
13. Leveson, N., Safeware - system safety and computers. 1995: Addison Wesley
14. Heimdahl, M. P. E., Leveson, Nancy G., Completeness and consistency in Hierarchical State-Based Requirements. IEEE Trans on SE, 1996. Vol. 22. (N0.6, June 1996)
15. Marciniak, J. J., Encyclopedia of Software Engineering. 1994: John Wiley and Sons
16. Mars Climate Orbiter Mishap Investigation Board Phase I Report, 1999
17. Sommerville, I., Software Engineering. 6th ed. 2000, Reading, MA: Addison-Wesley
18. Woodcock, J., and Davies, J., Using Z: Specification, Refinement, and Proof. Series of Computer Science. 1996: Prentice Hall International
19. Cha, S. D., and Hong H. S. Specification and Analysis of Real-Time Systems in Statecharts. in The 2nd Intl. wksp. on OO Real-Time Systems '96. 1996
20. Harel, D., and Politi, M., Modeling Reactive Systems with Statecharts. 1998: McGraw-Hill
21. UltraSAN User's Manual: Version 3.0, Center for Reliable and High-Performance Computing Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 1995
22. Sheldon, F., and Kim, H. Y. Specification Validation of Guidance Control Software Requirements for Reliability and Fault-Tolerance. in Annual Reliability and Maintanability Symposium. 2002, IEEE
23. Software Requirements - Guidance and Control Software Development Specification Version 2.2 with formal mods 1-8 and 1-26., NASA, Langley Research Center, 1993