A compositional scheduling framework for digital avionics systems

Proceedings - 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2009

Volumn , Issue , 2009, Pages 371-380

  Easwaran, Arvind ^a   Lee, Insup ^b   Sokolsky, Oleg ^b   Vestal, Steve ^c  

^a POLYTECHNIC INSTITUTE OF PORTO   (Portugal)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

^c Boston Scientific Corporation   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION SOFTWARES; AVIONICS SYSTEMS; DIGITAL AVIONICS; SCHEDULING FRAMEWORKS; SYSTEM DESIGNERS; SYSTEM INTEGRATION;

AVIONICS; COMPUTER SCIENCE; EMBEDDED SYSTEMS; MIDDLEWARE; PARTITIONS (BUILDING); SCHEDULING;

REAL TIME SYSTEMS;

EID: 72349088813     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.2009.46     Document Type: Conference Paper

References (25)

1. ARINC specification 653-2, part I, Engineering Standards for Avionics and Cabin Systems (AEEC), 2006.
2. G. Lipari and E. Bini, "Resource partitioning among real-time applications," in Proceedings of Euromicro Conference on Real-Time Systems, 2003, pp. 151-158.
3. X. Feng and A. Mok, "A model of hierarchical real-time virtual resources," in Proceedings of IEEE Real-Time Systems Symposium, 2002, pp. 26-35.
4. I. Shin and I. Lee, "Periodic resource model for compositional real-time guarantees," in Proceedings of IEEE Real-Time Systems Symposium, 2003, pp. 2-13.
5. A. Easwaran, M. Anand, and I. Lee, "Compositional analysis framework using EDP resource models," in Proceedings of IEEE Real-Time Systems Symposium, 2007, pp. 129-138.
6. K. Tindell, "Adding time-offsets to schedulability analysis," Department of Computer Science, University of York, Tech. Rep. YCS 221, 1994.
7. M. D. Natale and J. Stankovic, "Dynamic end-to-end guarantees in distributed real-time systems," in Proceedings of IEEE Real-Time Systems Symposium, 1994, pp. 216-227.
8. J. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic real-time tasks," Performance Evaluation, vol. 2, pp. 237-250, 1982.
9. A. Easwaran, I. Lee, O. Sokolsky, and S. Vestal, "A compositional framework for avionics (arinc-653) systems," University of Pennsylvania, Tech. Rep. MS-CIS-09-04, 2009, available at http://repository.upenn.edu/cis- reports/898/.
10. Green Hills Software Inc., "ARINC 653 partition scheduler," www.ghs.com/products/safety-critical/arinc653.html.
11. Windriver Inc., "Platform for ARINC 653," www.windriver.com/ products/platforms/safety-critical/.
12. L. Kinnan, J. Wlad, and P. Rogers, "Porting applications to an AR-INC 653 compliant IMA platform using Vxworks as an example," in Proceedings of IEEE Digital Avionics Systems Conference, 2004.
13. Y.-H. Lee, D. Kim, M. Younis, and J. Zhou, "Scheduling tool and algorithm for integrated modular avionics systems," in Proceedings of IEEE Digital Avionics Systems Conference, 2000.
14. A. Mok, D.-C. Tsou, and R. de Rooij, "The MSP.RTL real-time scheduler synthesis tool," in Proceedings of IEEE Real-Time Systems Symposium, 1996, pp. 118-128.
15. L. Almeida and P. Pedreiras, "Scheduling within temporal partitions: Response-time analysis and server design," in Proceedings of ACM & IEEE International Conference on Embedded Software, 2004, pp. 95-103.
16. R. Davis and A. Burns, "Hierarchical fixed priority pre-emptive scheduling," in Proceedings of IEEE Real-Time Systems Symposium, 2005, pp. 389-398.
17. S. Matic and T. Henzinger, "Trading end-to-end latency for composability," in Proceedings of IEEE Real-Time Systems Symposium, 2005, pp. 99-110.
18. R. Davis and A. Burns, "Resource sharing in hierarchical fixed priority pre-emptive systems," in Proceedings of IEEE Real-Time Systems Symposium, 2006, pp. 257-270.
19. M. Behnam, I. Shin, T. Nolte, and M. Nolin, "SIRAP: A synchronization protocol for hierarchical resource sharing in real-time open systems," in Proceedings of ACM & IEEE International Conference on Embedded Software, 2007, pp. 279-288.
20. N. Fisher, M. Bertogna, and S. Baruah, "The design of an edf-scheduled resource-sharing open environment," in Proceedings of IEEE Real-Time Systems Symposium, 2007, pp. 83-92.
21. J. V. Busquets-Mataix, J. J. Serrano, R. Ors, P. Gil, and A. Wellings, "Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems," in Proceedings of IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 1996, pp. 195-202.
22. K. Tindell and J. Clark, "Holistic schedulability analysis for distributed hard real-time systems," Microprocessing and Microprogramming - Euromicro Journal (Special Issue on Parallel Embedded Real-Time Systems), vol. 40, pp. 117-134, 1994.
23. J. Goossens, "Scheduling of hard real-time periodic systems with various kinds of deadline and offset constraints," Ph.D. dissertation, Universit Libre de Bruxelles, 1999.
24. A. Easwaran, I. Shin, I. Lee, and O. Sokolsky, "Bounding preemptions under EDF and RM schedulers," University of Pennsylvania, Tech. Rep. MS-CIS-06-06, 2006.
25. C. Liu and J. Layland, "Scheduling algorithms for multi-programming in a hard-real-time environment," Journal of the ACM, vol. 20, no. 1, pp. 46-61, 1973.