A practical approach to implementing real-time semantics

Annals of Software Engineering

Volumn 7, Issue 1-4, 1999, Pages 127-155

  Bhat, Girish ^a   Cleaveland, Rance ^b   Lüttgen, Gerald ^c  

^a Make Systems   (United States)

^b Stony Brook University   (United States)

^c NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033461325     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018982020561     Document Type: Article

References (29)

1. American National Standard Institute (1994), ANSI X3.131-1994, Information Systems - Small Computer Systems Interface-2, ANSI.
2. Baeten, J., Ed. (1990), Applications of Process Algebra, Cambridge Tracts in Theoretical Computer Science, Vol. 17, Cambridge University Press, Cambridge, UK.
3. Berry, G. and G. Gonthier (1992), "The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation," Science of Computer Programming 19, 87-152.
4. Bhat, G. (1997), "Tableau-based Approaches to Model Checking," Ph.D. thesis, North Carolina State University, Raleigh, NC.
5. Bolognesi, T. and E. Brinksma (1987), "Introduction to the ISO Specification Language LOTOS," Computer Networks and ISDN Systems 14, 25-59.
6. Brémond-Grégoire, P., S. Davidson, and I. Lee (1992), "CCSR92: Calculus for Communicating Shared Resources with Dynamic Priorities," In First North American Process Algebra Workshop, P. Purushothaman and A. Zwarico, Eds., Workshops in Computing, Springer-Verlag, Stony Brook, NY, pp. 65-85.
7. Brémonde-Grégoire, P., I. Lee, and R. Gerber (1997), "A Process Algebra of Communicating Shared Resources with Dense Time and Priorities," Theoretical Computer Science 189, 1-2, 179-219.
8. Brinksma, E., W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, Eds. (1995), First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'95), Lecture Notes in Computer Science, Vol. 1019, Springer, Aarhus, Denmark.
9. Camilleri, J. and G. Winskel (1995), "CCS with Priority Choice," Information and Computation 116, 1, 26-37.
10. Clarke, E., E. Emerson, and A. Sistla (1986), "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications," ACM Transactions on Programming Languages and Systems 8, 2, 244-263.
11. Cleaveland, R. and M. Hennessy (1990), "Priorities in Process Algebra," Information and Computation 87, 1/2, 58-77.
12. Cleaveland, R., G. Lüttgen, and V. Natarajan (1999), "Priority in Process Algebra," In Handbook of Process Algebra, J. Bergstra, A. Ponse, and S. Smolka, Eds., Elsevier, to appear.
13. Cleaveland, R., E. Madelaine, and S. Sims (1995), "Generating Front-Ends for Verification Tools," In [Brinksma et al. 1995], pp. 153-173.
14. Cleaveland, R., V. Natarajan, S. Sims, and G. Lüttgen (1996), "Modeling and Verifying Distributed Systems Using Priorities: A Case Study," Software-Concepts and Tools 17, 2, 50-62.
15. Cleaveland, R., J. Parrow, and B. Steffen (1993), "The Concurrency Workbench: A Semantics-Based Tool for the Verification of Finite-State Systems, ACM Transactions on Programming Languages and Systems 15, 1, 36-72.
16. Cleaveland, R. and S. Sims (1996), "The NCSU Concurrency Workbench," In Computer Aided Verification (CAV'96), R. Alur and T. Henzinger, Eds., Lecture Notes in Computer Science, Vol. 1102, Springer-Verlag, New Brunswick, NJ, pp. 394-397.
17. Elseaidy, W., J. Baugh, and R. Cleaveland (1996), "Verification of an Active Control System Using Temporal Process Algebra," Engineering with Computers 12, 46-61.
18. Gulmann, J., J. Jensen, M. Jørgensen, N. Klarlund, T. Rauhe, and A. Sandholm (1995), "Mona: Monadic Second-Order Logic in Practice," In [Brinksma et al. 1995], pp. 58-73.
19. Harel, D. (1987), "Statecharts: A Visual Formalism for Complex Systems," Science of Computer Programming 8, 231-274.
20. Henzinger, T., P.-H. Ho, and H. Wong-Toi (1997), "HyTech: A Model Checker for Hybrid Systems," Software Tools for Technology Transfer 1, 110-122.
21. Hoare, C. (1985), Communicating Sequential Processes, Prentice-Hall, London, UK.
22. Holzmann, G. (1991), Design and Validation of Computer Protocols, Prentice-Hall, Englewood Cliffs, NJ.
23. Jeffrey, A. (1992), "Translating Timed Process Algebra into Prioritized Process Algebra," In Proceedings of Symposium on Real-Time and Fault-Tolerant Systems (FTRTFT'92), J. Vytopil, Ed., Lecture Notes in Computer Science, Vol. 571, Springer-Verlag, Nijmegen, The Netherlands, pp. 493-506.
24. Kozen, D. (1983), "Results on the Propositional μ-Calculus," Theoretical Computer Science 27, 333-354.
25. Larsen, K., P. Pettersson, and W. Yi (1997), "UPPAAL in a Nutshell," Software Tools for Technology Transfer 1, 1+2.
26. Lüttgen, G. (1998), "Pre-emptive Modeling of Concurrent and Distributed Systems," Ph.D. thesis, University of Passau, Germany, published by Shaker Verlag, Aachen, Germany.
27. Milner, R. (1989), Communication and Concurrency, Prentice-Hall, London, UK.
28. Moller, F. and C. Tofts (1990), "A Temporal Calculus of Communicating Systems," In CONCUR'90 (Concurrency Theory), J. Baeten and J. Klop, Eds., Lecture Notes in Computer Science, Vol. 458, Springer-Verlag, Amsterdam, The Netherlands, pp. 401-415.
29. Yi, W. (1991), "CCS + Time = An Interleaving Model for Real Time Systems," In Automata, Languages and Programming (ICALP'91), J.L. Albert, B. Monien, and M.R. Artalejo, Eds., Lecture Notes in Computer Science, Vol. 510, Springer-Verlag, Madrid, Spain, pp. 217-228.