Programmable temporal isolation in realtime and embedded execution environments

Proceedings of the 2nd Workshop on Isolation and Integration in Embedded Systems, IIES'09

Volumn , Issue , 2009, Pages 19-24

  Craciunas, Silviu S ^a   Kirsch, Christoph M ^a   Payer, Hannes ^a   Röck, Harald ^a   Sokolova, Ana ^a  

^a UNIVERSITY OF SALZBURG   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION ENVIRONMENTS; OPERATING SYSTEMS; PROCESS EXECUTION; REAL TIME; REAL TIME OPERATING SYSTEM; REAL-TIME SCHEDULERS; TEMPORAL ISOLATION; VIRTUAL EXECUTION; VIRTUALIZATIONS;

COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; SCHEDULING;

REAL TIME SYSTEMS;

EID: 70349099094     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1519130.1519134     Document Type: Conference Paper

References (23)

1. L. ABENI, AND BUTTAZZO, G. Resource reservation in dynamic real-time systems. Journal of Real-Time Systems 27, 2 (2004), 123-167.
2. BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. SOSP (2003), ACM, pp. 164-177.
3. BUTTAZZO, G., AND BINI, E. Optimal dimensioning of a constant bandwidth server. In Proc. RTSS (2006), IEEE, pp. 169-177.
4. BUTTAZZO, G. C. HARTIK: A real-time kernel for robotics applications. In Proc. RTSS (1993), IEEE, pp. 201-205.
5. BUTTAZZO, G. C. Rate monotonic vs. EDF: Judgment day. Real-Time Systems 29, 1 (2005), 5-26.
6. CERVIN, A. Improved scheduling of control tasks. In Proc. ECRTS (1999), IEEE, pp. 4-10.
7. CERVIN, A., AND EKER, J. The Control Server: A computational model for real-time control tasks. In Proc. ECRTS (2003), IEEE, pp. 113-120.
8. CHIN, W.-N., NGUYEN, H. H., POPEEA, C., AND QIN, S. Analysing memory resource bounds for low-level programs. In Proc. ISMM (2008), ACM, pp. 151-160.
9. CRACIUNAS, S., KIRSCH, C., RÖCK, H., AND SOKOLOVA, A. Real-time scheduling for workload-oriented programming. Tech. Rep. 2008-02, University of Salzburg, September 2008.
10. CRACIUNAS, S. S., KIRSCH, C. M., PAYER, H., RÖCK, H., SOKOLOVA, A., STADLER, H., AND STAUDINGER, R. The Tiptoe system, 2007. tiptoe.cs.uni-salzburg.at.
11. CRACIUNAS, S. S., KIRSCH, C. M., PAYER, H., SOKOLOVA, A., STADLER, H., AND STAUDINGER, R. A compacting real-time memory management system. In Proc. ATC (2008), USENIX, pp. 349-362.
12. CRACIUNAS, S. S., KIRSCH, C. M., AND RÖCK, H. I/O resource management through system call scheduling. SIGOPS Operating System Review 42, 5 (2008), 44-54.
13. GAI, P., LIPARI, G., AND DI NATALE, M. A flexible and configurable real-time kernel for time predictability and minimal RAM requirements. Tech. rep., Scuola Superiore S. Anna, 2001.
14. HEISER, G. The role of virtualization in embedded systems. In Proc. IIES (2008), ACM, pp. 11-16.
15. JEFFAY, K., AND GODDARD, S. Rate-based resource allocation models for embedded systems. In Proc. EMSOFT (2001), Springer, pp. 204-222.
16. KOPETZ, H. Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, 1997.
17. LIPARI, G., AND BINI, E. A methodology for designing hierarchical scheduling systems. Journal of Embedded Computing 1, 2 (2005), 257-269.
18. MERCER, C. W., SAVAGE, S., AND TOKUDA, H. Processor capacity reserves for multimedia operating systems. Tech. rep., Carnegie Mellon University, 1993.
19. STADLER, H. A virtualized real-time I/O subsystem. Master's thesis, University of Salzburg, Salzburg, Austria, 2008.
20. STANKOVIC, J. A., AND RAMAMRITHAM, K. The design of the Spring kernel. In Proc. RTSS (1987), IEEE, pp. 146-157.
21. VMWARE, INC. Virtualization overview, 2006. www.vmware.com/pdf/virtualization.pdf.
22. WATSON, J. Virtualbox: bits and bytes masquerading as machines. Linux Journal 2008, 166 (2008), 1.
23. WIND RIVER. RTLinux. www.windriver.com.