A general resource framework for real-time systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2941, Issue , 2004, Pages 234-248

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

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF CYPRUS   (Cyprus)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS;

ALGEBRAIC FORMALISMS; CONCURRENT SYSTEMS; CONSTRAINED SYSTEMS; FORMAL FRAMEWORK; REAL TIME; UNIFORM FRAMEWORK;

REAL TIME SYSTEMS;

EID: 35048834781     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24626-8_16     Document Type: Article

References (18)

1. K. Altisen, G. Goessler, and J. Sifakis. Scheduler modeling based on the controller synthesis paradigm. Journal of Real-Time Systems, 23:55-84, 2002.
2. H. Ammar, V. Cortellessa, and A. Ibrahim. Modeling resources in a UML-based simulative environment. In ACS/IEEE International Conference on Computer Systems and Applications (AICCSA '01), June 2001.
3. L. Baum and T. Kramp. Towards a uniform modeling technique for resource-usage scenarios. In Proceedings of PDPTA '99, June-July 1999.
4. V.A. Braberman and M. Felder. Verification of real-time designs: combining scheduling theory with automatic formal verification. In Proceedings of the 7th European Engineering Conference, pages 494-510, 1999.
5. E. Brinksma, J-P. Katoen, D. Latella, and R. Langerak. A stochastic causality-based process algebra. The Computer Journal, 38(7):552-565, 1995.
6. M. Buchholtz, J. Andersen, and H.H. Loevengreen. Towards a process algebra for shared processors. In Workshop on Models for Time-Critical Systems, BRICS Notes Series NS-01-5, pages 87-99, August 2001.
7. J.-Y. Choi, I. Lee, and H.-L. Xie. The specification and schedulability analysis of real-time systems using ACSR. In Real-Time Systems Symposium. IEEE Computer Society Press, December 1995.
8. J. Ermont and F. Boniol. TPAP: an algebra of preemptive processes for verifying real-time systems with shared resources. In Workshop on Theory and Practice of Timed Systems, April 2002.
9. E. Huh, L. Welch, B. Shirazi, and C. Cavanaugh. Heterogeneous resource management for dynamic real-time systems. In Heterogeneous Computing Workshop, pages 287-296, May 2000.
10. I. Lee, P. Brémond-Grégoire, and R. Gerber. A process algebraic approach to the specification and analysis of resource-bound real-time systems. Proceedings of the IEEE, pages 158-171, Jan 1994.
11. I. Lee, J.-Y. Choi, H.-H. Kwak, A. Philippou, and O. Sokolsky. A family of resource-bound real-time process algebras. In Formal Techniques for Networked and Distributed Systems (FORTE'01), August 2001.
12. I. Lee, A. Philippou, and O. Sokolsky. Process algebraic modelling and analysis of power-aware real-time systems. Computing and Control Engineering Journal, 13(4):180-188, August 2002.
13. A. Mehra, A. Indiresan, and K.G. Shin. Resource management for real-time communication: Making theory meet practice. In Proceedings of IEEE Real-Time Technology and Applications Symposium, pages 130-138, June 1996.
14. R. Milner. Communication and Concurrency. Prentice Hall Intl., 1989.
15. A. Philippou, O. Sokolsky, R. Cleaveland, I. Lee, and S. Smolka. Probabilistic resource failure in real-time process algebra. In Proceedings of CONCUR '98, pages 389-404. Springer-Verlag, 1998.
16. S. Saewong and R. Rajkumar. Cooperative scheduling of multiple resources. In IEEE Real-Time Systems Symposium, pages 90-101, 1999.
17. I. Shin, I. Lee, and S.L. Min. Embedded system design framework for minimizing code size and guaranteeing real-time requirements. In Proceedings of IEEE Real-Time Systems Symposium, December 2002.
18. O. Sokolsky, I. Lee, and H. Ben-Abdallah. Specification and analysis of real-time systems with PARAGON. Annals of Software Engineering, 7:211-234, 1999.