Resources in process algebra

Journal of Logic and Algebraic Programming

Volumn 72, Issue 1, 2007, Pages 98-122

  Lee, Insup ^a   Philippou, Anna ^b   Sokolsky, Oleg ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

Process algebra; Real time systems; Resource modeling; Schedulability analysis

Indexed keywords

DATA STORAGE EQUIPMENT; PROBABILISTIC LOGICS; PROGRAM PROCESSORS; REAL TIME SYSTEMS; SYNCHRONIZATION; TELECOMMUNICATION LINKS;

ALGEBRA OF COMMUNICATING SHARED RESOURCES (ACSR); MEMORY MODULES; RESOURCE MODELING; SCHEDULABILITY ANALYSIS;

ALGEBRA;

EID: 34248573296     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2007.02.005     Document Type: Article

References (36)

1. Altisen K., Goessler G., and Sifakis J. Scheduler modeling based on the controller synthesis paradigm. J. Real-Time Syst. 23 1-2 (2002) 55-84
2. Ammar H., Cortellessa V., and Ibrahim A. Modeling resources in a UML-based simulative environment. Proceedings of AICCSA'01 (2001), IEEE Computer Society Press 405-410
3. T. Amnell, E. Fersman, L. Mokrushin, P. Pettersson, W. Yi, TIMES: A tool for schedulability analysis and code generation of real-time systems, in: Proceedings of FORMATS'03, LNCS 2791, 2003, pp. 60-72.
4. L. Baum, T. Kramp, Towards a uniform modeling technique for resource-usage scenarios, in: Proceedings of PDPTA'99, 1999, pp. 1324-1329.
5. H. Ben-Abdallah, GCSR: a graphical language for the specification, refinement and analysis of real-time systems. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, 1996.
6. Bergstra J.A., and Klop J.W. Algebra of communicating processes with abstraction. J. Theoret. Comput. Sci. 37 (1985) 77-121
7. V.A. Braberman, M. Felder, Verification of real-time designs: combining scheduling theory with automatic formal verification, in: Proceedings of ESEC'99, LNCS 1687, 1999, pp. 494-510.
8. Brémond-Grégoire P., Choi J.-Y., and Lee I. A complete axiomatization of finite-state ACSR processes. Inform. and Comput. 138 2 (1997) 124-159
9. Brémond-Grégoire P., and Lee I. Process algebra of communicating shared resources with dense time and priorities. Theoret. Comput. Sci. 189 1-2 (1997) 179-219
10. Buchholtz M., Andersen J., and Loevengreen H.H. Towards a process algebra for shared processors. Electron. Notes Theoret. Comput. Sci. 52 3 (2001)
11. Choi J.-Y., Lee I., and Xie H.-L. The specification and schedulability analysis of real-time systems using ACSR. Proceeding of RTSS'95 (1995), IEEE Computer Society Press 266-275
12. A. Chakrabarti, L. de Alfaro, T.A. Henzinger, M. Stoelinga, Resource interfaces, in: Proceedings of EMSOFT'03, LNCS 2855, 2003, pp. 117-133.
13. Clarke E.M., Emerson E.A., and Sistla A.P. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Trans. Program. Lang. Syst. 8 2 (1986) 244-263
14. De Nicola R., and Vaandrager F.W. Three logics for branching bisimulation. Proceedings of LICS'90 (1990), IEEE Computer Society Press 118-129
15. Ermont J., and Boniol F. TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources. Electron. Notes Theoret. Comput. Sci. 65 6 (2002)
16. H. Hansson, Time and probability in formal design of distributed systems. Ph.D. thesis, Department of Computer Systems, Uppsala University, 1994.
17. Hoare C.A.R. Communicating Sequential Processes (1985), Prentice-Hall
18. E. Huh, L. Welch, B. Shirazi, C. Cavanaugh, Heterogeneous resource management for dynamic real-time systems, in: Proceedings of Heterogeneous Computing Workshop 2005, 2000, pp. 287-296.
19. Kwak H.-H., Lee I., Philippou A., Choi J.Y., and Sokolsky O. Symbolic schedulability analysis of real-time systems. Proceedings RTSS'98 (1998), IEEE Computer Society Press 409-419
20. Larsen K., and Skou A. Bisimulation through probabilistic testing. Inform. Comput. 94 1 (1991) 1-28
21. Lee I., Brémond-Grégoire P., and Gerber R. A process-algebraic method for the specification and analysis of real-time systems. Proc. IEEE (1994) 158-171
22. Lee I., Ben-Abdallah H., and Choi J.-Y. A process-algebraic approach to the specification and analysis of resource-bound real-time systems. Formal Methods for Real-Time Computing (1996), John Wiley and Sons 167-194
23. I. Lee, A. Philippou, O. Sokolsky, A general resource framework for real-time systems, in: Proceedings of RISSEF'02, LNCS 2941, 2002, pp. 234-248.
24. Liu C.L., and Layland J.W. Scheduling algorithms for multi-programming in a hard-real-time environment. J. ACM 20 1 (1973) 46-61
25. Mehra A., Indiresan A., and Shin K.G. Resource management for real-time communication: Making theory meet practice. Proceedings of RTAS'96 (1996), IEEE Computer Society Press 130-138
26. Milner R. Communication and Concurrency (1989), Prentice-Hall
27. M. Mousavi, M. Reniers, T. Basten, M. Chaudron, PARS: a process algebra with resources and schedulers, in: Proceedings of FORMATS'03, LNCS 2791, 2003, pp. 134-150.
28. Nunez M., and Rodriguez I. PAMR: A process algebra for the management of resources in concurrent systems. Proceedings of FORTE'01 (2001), Kluwer 169-184
29. D. Park, Concurrency and automata on infinite sequences, in: Proceedings of the 5th GI Conference, LNCS 104, 1981, pp. 167-183.
30. A. Philippou, R. Cleaveland, I. Lee, S. Smolka, O. Sokolsky, Probabilistic resource failure in real-time process algebra, in: Proceedings of CONCUR'98, LNCS 1466, 1998, pp. 389-404.
31. A. Philippou, O. Sokolsky, Process-algebraic analysis of timing and schedulability properties, Handbook of Real-Time and Embedded Systems, Chapman and Hall/CRC, in press.
32. A. Philippou, O. Sokolsky, I. Lee, Weak bisimulation for probabilistic systems, in: Proceedings of CONCUR'00, LNCS 1877, 2000, pp. 334-349.
33. Saewong S., and Rajkumar R. Cooperative scheduling of multiple resources. Proceedings of RTSS'99 (1999), IEEE Computer Society Press 90-101
34. Sokolsky O., Lee I., and Ben-Abdallah H. Specification and analysis of real-time systems with PARAGON. Ann. Software Eng. 7 (1999) 211-234
35. O. Sokolsky, A. Philippou, I. Lee, K. Christou, Modeling and analysis of power-aware systems, in: Proceedings of TACAS'03, LNCS 2619, 2003, pp. 409-425.
36. M. Vardi, Automatic verification of probabilistic concurrent finite-state programs, in: Proceedings of FOCS'85, 1985, pp. 327-338.