Deviation analysis through model checking

Proceedings - ASE 2002: 17th IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2002, Pages 37-46

  Heimdahl, M P E ^a   Choi, Y ^a   Whalen, M ^a  

^a University of Minnesota   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

CONTROL SOFTWARE; DEVIATION ANALYSIS; EXPLORATORY ANALYSIS; MEASUREMENTS OF; MODEL-CHECKING TECHNIQUES; PRECISE ANALYSIS; SOFTWARE SPECIFICATION; VERIFICATION TASK;

MODEL CHECKING;

EID: 84982883843     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2002.1114992     Document Type: Conference Paper

References (13)

1. Y. Choi, S. Rayadurgam, and M. Heimdahl. Automatic abstraction for model checking software systems with interrelated numeric constraints. In Proceedings of the 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE-9), pages 164-174, September 2001.
2. CISHEC. A Guide to Hazard and Operability Studies. The Chemical Industry Safety and Health Council of the Chemical Industries Association Ltd., 1977.
3. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
4. M. S. Jaffe, N. G. Leveson, M. P. Heimdahl, and B. E. Melhart. Software requirements analysis for real-time process-control systems. IEEE Transactions on Software Engineering, 17(3):241-258, March 1991.
5. T. Kletz. Hazop and Hazan: Identifying and Assessing Process Industry Standards. Institution of Chemical Engineers, 1992.
6. J. McDermid and D. J. Pumfrey. A development of hazard analysis to aid software design. In COMPASS '94: Proceedings of the Ninth Annual Conference on Computer Assurance, pages 17-25. IEEE/NIST, June 1994.
7. S. P. Miller and A. C. Tribble. Extending the four-variable model to bridge the system-software gap. In Proceedings of the Twentith IEEE/AIAA Digital Avionics Systems Conference (DASC'01), October 2001.
8. NuSMV: A New Symbolic Model Checking. Available at http://http://nusmv.irst.itc.it/.
9. J. Reese and N. Leveson. Software deviation analysis. In International Conference on Software Engineering, May 1997.
10. J. Reese and N. Leveson. Software deviation analysis: A "safeware" technique. In AIChe 31st Annual Loss Prevention Symposium, March 1997.
11. J. D. Reese. Software Deviation Analysis. PhD thesis, University of California, Irvine, 1996.
12. J. M. Thompson, M. P. Heimdahl, and S. P. Miller. Specification based prototyping for embedded systems. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, number 1687 in LNCS, pages 163-179, September 1999.
13. -e. Master's thesis, University of Minnesota, May 2000.