Formal development of remote interfaces for large-scale real-time systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 1, Issue , 2004, Pages 124-129

  Hussak, Walter ^a   Yang, Shuang H ^a  

^a LOUGHBOROUGH UNIVERSITY   (United Kingdom)

Author keywords

Concurrency; Control systems; Model checking; Remote interfaces

Indexed keywords

CONTROL SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; OPTIMIZATION; SYNCHRONOUS MACHINERY; USER INTERFACES; WORLD WIDE WEB;

CONCURRENCY; INTERNET-BASED MONITORING; MODEL CHECKING; REMOTE INTERFACES;

REAL TIME SYSTEMS;

EID: 15744386571     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri, "NuSMV: a new symbolic model verifier", Proceedings of the International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, No. 1633, Trento, Italy, pp. 495-499, Jul. 1999.
2. E. M. Clarke, E. A. Emerson, and A. P. Sistla, "Automatic verification of finite-state concurrent systems using temporal logic specifications", ACM Transactions on Programming Languages and Systems, Vol. 8, No. 2, pp. 244-263, 1986.
3. O. Grumbler, and D. E. Long, "Model checking and modular verification", ACM Transactions on Programming Languages and Systems, Vol. 16, No. 3, pp. 843-871, May 1994.
4. W. Hussak, "Serializable histories in quantified prepositional temporal logic", International Journal of Computer Mathematics, (to appear 2004).
5. C. H. Papadimitriou, "The serializability of concurrent database updates", Journal of the Association for Computing Machinery, Vol. 26, No. 4, pp. 631-653, Oct. 1979.
6. S. H. Yang, L. S. Tan, and C. H. He, "Automatic verification of safety interlock systems for industrial processes", Journal of loss prevention in the process industries, Vol. 14, pp. 379-386, 2001.
7. S.H. Yang, X. Zuo, and L. Yang, "Control system design for Internet-enabled arm robots", Lecture Notes in AI, Vol. 3029, pp. 663-672, 2004.