Assume-guarantee supervisor for concurrent systems

Proceedings - 15th International Parallel and Distributed Processing Symposium, IPDPS 2001

Volumn , Issue , 2001, Pages 1552-1560

  Zulkernine, M ^a   Seviora, R E ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; SOFTWARE DESIGN; SOFTWARE TESTING; SUPERVISORY PERSONNEL;

COMMUNICATING FINITE STATE MACHINES; CONCURRENT PROGRAM; CONCURRENT SYSTEMS; DETECTION EFFORTS; ON-LINE SOFTWARES; OPERATIONAL STAGES; STATE EXPLOSION PROBLEMS; TECHNOLOGICAL INNOVATION;

MODEL CHECKING;

EID: 0038695250     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPDPS.2001.925140     Document Type: Conference Paper

References (21)

1. C.A.R. Hoare, "How did software get so reliable without proof," Lecture Notes in Computer Science, Vol. 1051, 1996, Springer-Verlag.
2. R. Glass, "Persistent Software Errors," IEEE Transactions on Software Engineering., 7(2), pp. 162-168, March 1981.
3. W. P. de Roever, "The Need for Compositional Proof Systems: A Survey," In W. P. de Roever, H. Langmaack, and A. Pnueli, editors, Compositionality: The Significant Difference (COMPOS '97), Vol. 1536 of Lecture Notes in Computer Science, pp. 1-22, Bad Malente, Germany, 1997, Springer-Verlag.
4. M. Abadi and L. Lamport, "Conjoining specifications," ACM Transactions on Programming Languages and Systems, 17(3):507-534, May 1995.
5. M. Abadi and L. Lamport "Composing specifications," ACM Transactions on Programming Languages and Systems, 15(1):73-132, Jan. 1993.
6. J. Misra and K. M. Chandy, "Proofs of Networks of Processes," IEEE Transactions on Software Engineering, 7(4), pp. 417-426, July 1981.
7. C.B.Jones, "Tentative steps towards a development method for interfering programs," ACM Transactions on Programming Languages and Systems, 5(4):596-619, 1983.
8. N. Shankar, "Lazy Compositional Verification," Lecture Notes in Computer Science, Vol. 1536, Springer-Verlag, 1997.
9. T. Savor and R. Seviora, "Toward Automatic Detection of Software Failures," IEEE Computer, Vol. 21, No. 8, pp. 68-74, August 1998.
10. J. Li and R. Seviora, "Automatic Failure Detection with Conditional Belief Supervisors," Proc. of the 7th International Symposium on Software Reliability Engineering, IEEE CS Press, pp. 4-13, Oct. 1996.
11. ITU-T, Recommendation Z.100, Specification and Description Language, SDL, ITU-Telecommunication Standardization Sector, Geneva, Switzerland, 1992.
12. C.A.R Hoare, Communicating Sequential Processes, Prentice-Hall International, 1985.
13. P. Jalote, Fault Tolerance in Distributed Systems, Prentice Hall, New Jersy, 1994.
14. M. Diaz, G. Juanole, and J.P. Courtiat, "Observer - a concept for formal on-line validation of distributed systems," IEEE Transactions on Software Engineering, Vol. 20, No. 12, pp. 900-913, Dec. 1994.
15. C. Wang and M. Schwartz, "Fault Detection with multiple observers," IEEE/ACM Transactions on Networking, Vol. 1, No. 1, pp. 48-55, February 1993.
16. D. Lee, A Netravali, K. Sabnani, B. Sugla, and A. John, "Passive Testing and Applications to Network Management," Proc. of the IEEE International Conference on Network Protocols, pp. 113-122, Oct. 1997.
17. M. Tabourier, Ana Cavalli, and Melania Ionescu, "A GSM-MAP Protocol Experiment Using Passive Testing," Lecture Notes in Computer Science, Vol. 1708, pp. 915-934, Springer-Verlag, 1999.
18. S. Sankar and M. Mandal, "Concurrent runtime monitoring of formally specified programs," IEEE Computer, pp. 32-41, March 1993.
19. M. Blum and H. Wasserman, "Reflections on thepentium division bug," IEEE Transactions on Computers, Vol. 45, No. 4, pp. 385-393, April 1996.
20. D.B. Brown, A. Porter, C. Puchol, J. C. Ramming, and L. Votta, "An automated oracle for software testing," IEEE Transactions on Reliability, Vol. 41, No. 2, pp. 272-279, June 1992.
21. J. R. Connet, Edward J. Pasternak, and Brude D. Wagner, "Software defenses in real-time control systems," Fault-Tolerant Computing, pp. 94-99, June 1972.