Safety analysis techniques for validating formal models during verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1698, Issue , 1999, Pages 58-66

  de Lemos, Rogério ^a   Saeed, Amer ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION; MODEL CHECKING; RISK ASSESSMENT; SECURITY SYSTEMS;

ANALYSIS TECHNIQUES; ASSESSMENT PROCESS; AUTOMATIC APPROACHES; INHERENT COMPLEXITY; RIGOROUS APPROACH; SAFETY ANALYSIS; SOFTWARE INTENSIVE SYSTEMS; TRADITIONAL TECHNIQUES;

SAFETY ENGINEERING;

EID: 84961351790     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48249-0_6     Document Type: Conference Paper

References (12)

1. /Cepin 97/ M. Cepin, R. de Lemos, B. Mavko, S. Riddle, A. Saeed. "An Object-Based Approach to Modelling and Analysis of Failure Properties." Proceedings of the 16th International Conference on Computer Safety, Reliability and Security (SAFECOMP '97). York, UK. September 1997. Ed. P. Daniel. Springer-Verlag. Berlin, Germany. pp. 281-294.
2. /Clarke 94/ E. Clarke, O. Grumberg, and D. Long. "Model Checking and Abstraction." ACM Transactions on Programming Languages and Systems (TOPLAS) Vol. 15(5). ACM. September, 1994.
3. /Chan 98/ W. Chan, et. al. "Model Checking Large Software Specifications." IEEE Transactions on Software Engineering Vol. 27(7). IEEE Computer Society. July 1998. pp. 498-520.
4. /de Lemos 98/ R. de Lemos, A. Saeed, and T. Anderson. On the Integration of Requirements Analysis and Safety Analysis for Safety-Critical Software. Technical Report Series No. 630. Department of Computing Science, University of Newcastle upon Tyne, UK. May, 1998.
5. /de Lemos 99/ R. de Lemos, and A. Saeed. Validating Formal Verification using Safety Analysis Techniques. Technical Report Series No. 668. . Department of Computing Science, University of Newcastle upon Tyne, UK. May, 1999.
6. /Heitmeyer 98/ C. Heitmeyer, et. al. "Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications." IEEE Transactions on Software Engineering Vol. 27(11). IEEE Computer Society. November 1998. pp. 927-948.
7. /Heninger 78/ K. L. Heninger, J. Kallander, D. L. Parnas and J. E. Shore. Software Requirements for the A-7E Aircraft. NRL Memorandum Report 3876. November 1978.
8. /Heninger 80/ K. L. Heninger. "Specifying Software Requirements for Complex Systems: New Techniques and their Applications." IEEE Transactions on Software Engineering Vol. SE-6 (1) . January 1980. pp 2-13.
9. /Henzinger 95a/ T. A. Henzinger, and P.-H. Ho. "Algorithmic Analysis of Non-Linear Hybrid Systems." Proceedings of the Computer-Aided Verification (CAV'95). LNCS 939. Springer-Verlag. Berlin, Germany. pp. 225-238.
10. /Henzinger 95b/T. A. Henzinger, and P.-H. Ho. "HYTECH: The Cornell HYbrid TECHnology Tool." Hybrid Systems II. Lecture Notes in Computer Science 999. Eds. P. Antsaklis, et. al. Springer-Verlag, Germany. 1995. pp. 264-293.
11. /Stauner 97/ T. Stauner, O. Müller, and M. Fuchs. "Using HYTECH to Verify an Automative Control System." Hybrid and Real-Time Systems. Ed. O. Maler. LNCS 1201. Springer-Verlag. Berlin, Germany. 1997. pp. 139-153.
12. /Turk 97/ A. L. Turk, S. T. Probst, and G. J. Powers. "Verification of Real Time Chemical Processing Systems." Proceedings of the International Workshop on Hybrid and Real-Time Systems. Lecture Notes in Computer Science 1201. Ed. O. Maler. Grenoble, France. March 1997. pp. 257-272.