Automated verification of the dependability of object-oriented real-time systems

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2003, Pages 171-178

  Ding, Hui ^a   Zheng, Can ^a   Agha, Gul ^a   Sha, Lui ^a  

^a University of Illinois at Urbana Champaign   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED VERIFICATION; CONCURRENT OBJECTS; EFFECTIVE APPROACHES; EXECUTABLE SPECIFICATIONS; FUNCTIONAL COMPONENTS; OPERATIONAL SEMANTICS; TEMPORAL MODELING; TIMING CONSTRAINTS;

MODEL CHECKING;

REAL TIME SYSTEMS;

EID: 84883131864     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2003.1267505     Document Type: Conference Paper

References (24)

1. G. Agha. Actors: A Model of Concurrent Computation. MIT Press, 1986.
2. G. Agha. Concurrent object-oriented programming. Communication of the ACM, 33(9):125-141, 1990.
3. G. Agha, P. Thati, and R. Ziaei. Actors: a model for reasoning about open distributed systems. In H. Bowman and J. Derrick, editors, Formal Methods for Distributed Processing-An Object Oriented Approach, chapter 8, pages 155-176. Cambridge University Press, 2001.
4. M. Astley and G. Agha. Customization and composition of distributed objects: Middleware abstractions for policy management. In Proceedings of the ACM SIGSOFT 6th International Symposium on Foundations of Software Engineering (FSE), pages 1-9, 1998.
5. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Mart-Oliet, J. Meseguer, and J. Quesada. Maude: Specification and programming in rewriting logic. Theoretical Computer Science, 2001.
6. T. Cormen, C. Leiserson, and R. Rivest. Intoduction to algorithms. McGraw Hill, 1991.
7. K. Czarnecki and U. Eisenecker. Components and generative programming. ACM SIGSOFT Software Engineering Notes, 24(6):2-19, 1999.
8. H. Ding, C. Zheng, L. Sha, and G. Agha. Specification and validation of fault-tolerant software architectures based on actor model. In Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering, pages 458-466, July 2003.
9. Carlos H. C. Duarte. Proof-theoretic foundations for the design of actor systems. Mathematical Structures in Computer Science, 9(3):227-252, 1999.
10. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aks?it and S. Matsuoka, editors, ECOOP '97-Object-Oriented Programming 11th European Conference, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer, June 1997.
11. K. Lieberherr and B. Patt-Shamir. The refinement relation of graph-based generic programs. In M. Jazayeri, R. Loos, and D. Musser, editors, 1998 Schloss Dagstuhl Workshop on Generic Programming, pages 40-52. Springer, 2000.
12. J. Liu. Real-Time Systems. Prentice Hall, 2000.
13. N. Medvidovic and R. Taylor. A classification and comparison framework for software architecture description languages. Technical Report ICS-TR-97-02, University of California, Irvine, Department of Information and Computer Science, January 1997.
14. J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In International Conference on Concurrency Theory, pages 331-372, 1996.
15. J. Meseguer. Membership algebra as a logical framework for equational specification. In Workshop on Algebraic Development Techniques, pages 18-61, 1997.
16. B. Nielsen and G. Agha. Semantics for an actor-based real-time language. In Fourth International Workshop on Parallel and Distributed Real-Time Systems, 1996.
17. B. Nielsen and G. Agha. Towards reusable real-time objects. Annals of Software Engineering, 7:257-282, 1999.
18. P. Olveczky. Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic. PhD thesis, University of Bergen, Norway, 2000.
19. P. Olveczky and J. Meseguer. Real-time maude: A tool for simulating and analyzing real-time and hybrid systems. In Third International Workshop on Rewriting Logic and its Applications, 2000.
20. S. Ren. An Actor-Based Framework for Real-Time Coordination. PhD thesis, University of Illinois at Urbana-Champaign, 1997.
21. S. Ren and G. Agha. RTsynchronizer: Language support for real-time specifications in distributed systems. In ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pages 18-21, June 1995.
22. L. Sha. Using simplicity to control complexity. IEEE Software, 18(4):20-28, July/August 2001.
23. L. Sha. Upgrading embedded software in the field: Dependability and survivability. Lecture Notes in Computer Science, 2491, 2002.
24. S. Smith. On specification diagrams for actor systems. In Second Workshop on Higher-Order Techniques in Semantics, 1998.