Experiences and lessons from the analysis of TCAS II

Proceedings of the 1996 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 1996

Volumn , Issue , 1996, Pages 79-83

  Heimdahl, Mats P E ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE TESTING; SPECIFICATION LANGUAGES; SPECIFICATIONS;

ANALYSIS ALGORITHMS; AVIONICS SYSTEMS; REALISTIC SYSTEMS; REQUIREMENTS DOCUMENT; REQUIREMENTS SPECIFICATION LANGUAGE; REQUIREMENTS SPECIFICATIONS; TRAFFIC ALERT AND COLLISION AVOIDANCE SYSTEMS; VALIDATION AND VERIFICATION;

FORMAL SPECIFICATION;

EID: 84987777044     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/229000.226304     Document Type: Conference Paper

References (6)

1. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
2. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
3. D. Harel. On visual formalisms. Communications of the ACM, 31(5):514-530, May 1988.
4. Mats P.E. Heimdahl. Static Analysis 0fi State-Based Requirements: Analysis for Completeness and Consistency. PhD thesis, University of California, Irvine, 1994.
5. Mats P.E. Heimdahl and Nancy G. Leveson. Completeness and Consistency Analysis of State-Based Requirements. In Proceedings of the 17th International Conference on Sofiware Engineering, April 1995.
6. N. G. Leveson, M, P.E. Heimdahl, H. Hildreth, and J. D. Reese. Requirements specification for processcontrol systems. IEEE Transactions on Soflware Engineering, 20(9), September 1994.