Verification of real time chemical processing systems

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

Volumn 1201, Issue , 1997, Pages 259-272

  Turk, Adam L ^a   Probst, Scott T ^a   Powers, Gary J ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHEMICAL ANALYSIS; CHEMICAL EQUIPMENT; CHEMICAL INDUSTRY; FAILURE (MECHANICAL); GAS FUEL MANUFACTURE; INTERACTIVE COMPUTER SYSTEMS; MODELING LANGUAGES; PROGRAMMABLE LOGIC CONTROLLERS;

BATCH REACTIONS; CHEMICAL PROCESSING; CONTINUOUS DYNAMICS; DYNAMIC BEHAVIORS; IMPROVED DESIGNS; PIPING NETWORKS; PROCESSING SYSTEMS; SYSTEM MODELING;

REAL TIME SYSTEMS;

EID: 84957691729     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0014731     Document Type: Conference Paper

References (21)

1. R. Anderson, P. Beame, S. Burns, W. Chan, F. Modugno, D Notkin, and J. Reese, Model Checking Large Software Specifications. Proceedings of the Fourth ACM Symposium on the Foundation of Software Engineering: 156, 166, October, 1996.
2. 20 states and Beyond. Information and Computation, 98(2): 142-170, June 1992.
3. J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan and D. L. Dill, Symbolic Model Checking for Sequential Circuit Verification. IEEE Transactions on Computer-Aided Design of lntegrated Circuits and Systems, 13, 401-424, 1994.
4. C. Chiu, and B. J. Kuipers, Comparative Analysis and Qualitative Integal Representations. Presented at the Third Qualitative Physics Workshops, Stanford, CA, August 1989.
5. E. M. Clarke, A. Emerson and A. P. Sistla, Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, 8 (2), 244-263, 1986.
6. E. M. Clarke, T. Filkorn, and S. Jha, Exploiting Symmetry in Temporal Logic Model Checking. Proceedings of the Fifth Workshop on Computer-Aided Verification, Ed. C. Courcoubetis. June/July 1993.
7. E. M. Clarke, O. Grumberg, K. L. McMillan, and X. Zhao, Effective Generation of Counterexamples and Witnesses in Symbolic Model Checking. Technical Report No. CMU-CS-94-204, Carnegie Mellon University, PA, 1994.
8. A. Falcione and B. H. Krogh, Design Recovery for Relay Ladder Logic. IEEE Control Systems Magazhw, 13(2), April 1993.
9. V. Hartonas-Garmhausen, T. Kurfess, E. M. Clarke, and D. E. Long, Automatic Verification of Industrial Designs. Proceedings of the 1995 IEEE Workshop on Industrial -Strength Formal Specification Techniques. 88-96. IEEE Comput. Soc. Press, April 1995.
10. M. Jackson, Software Requirements and Specifications, ACM and Addison-Wesley, New York, 1995.
11. B. J. Kuipers, Qualitative Simulation using Time-Scale Abstraction. Int. J. Artificial Intelligence in Engineering, 3(4), 185-191, 1988
12. B. J. Kuipers, Reasoning with Qualitative Models. Artificial Intelligence, 59, 125-132, 1993
13. B. J. Kuipers, and B. Shultz, Reasoning in Logic about Continuous Systems. Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth Annual International Conference, Ed. J. Doyle, E. Sandewall, and P. Torasso, Morgan Kaufmann, San Mateo, CA, 1994
14. D. E. Long,, Model Checking Abstraction and Compositional Verification, Ph.D. Thesis, Carnegie Mellon University, 1993.
15. K. L. McMillan, Symbolic Model Checking -An Approach to the State Explosion Problem, Ph.D. Thesis, Carnegie Mellon University, 1992.
16. I. Moon, Automatic Verification of Discrete Chemical Process Control Systems, Ph.D. Thesis, Carnegie Mellon University, 1992.
17. S. T. Probst, G. J. Powers, D. E. Long, and I. Moon, Verification of a Logically Controlled Solids Transport System using Symbolic Model Checking. Submitted for publication in Computers and Chemical Engineering, 1994.
18. S. T. Probst, and G. J. Powers, Automatic Verification of Control Logic in the Presence of Process Faults. Presented at the Annual AIChE Conference, San Francisco, CA, November 1994.
19. S. T. Probst, A. L. Turk, and G. J. Powers, Formal Verification of a Furnace System Standard. Presented at the Annual AIChE Conference, Miami Beach, FL, November 1995.
20. S. T. Probst, Chemical Process Safety and Operability Analysis using Symbolic Model Checking, Ph.D. Thesis, Carnegie Mellon University, 1996.
21. T. Sreemani and J. Atlee, Feasibility of Model Checking Software Requirements: A Case Study. Technical Report CS96-05, Department of Computer Science, University of Waterloo, January, 1996.