Strictly periodic scheduling in IMA-based architectures

Real-Time Systems

Volumn 48, Issue 4, 2012, Pages 359-386

  Al Sheikh, Ahmad ^a,b   Brun, Olivier ^a,b   Hladik, Pierre Emmanuel ^a,b   Prabhu, Balakrishna J ^a,b  

^a LAAS CNRS   (France)

^b UNIVERSITÉ PAUL SABATIER   (France)

Author keywords

Avionic tasks; Game Theory; Scheduling; Strict periodicity

Indexed keywords

AVIONIC INDUSTRY; COMPUTING PLATFORM; INTEGER LINEAR PROGRAMMING; INTEGRATED MODULAR AVIONICS; MULTIPROCESSOR SCHEDULING PROBLEMS; MULTISTART; OPTIMALITY; PERIODIC SCHEDULING; PROBABILISTIC GUARANTEES; SOLUTION QUALITY; STRICT PERIODICITY; SYSTEM DESIGNERS;

GAME THEORY; HEURISTIC METHODS; SCHEDULING;

AVIONICS;

EID: 84861949021     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-012-9148-y     Document Type: Article

References (26)

1. Ahuja R, Magnanti T, Orlin J, Weihe K (1993) Network flows: theory, algorithms, and applications. Prentice Hall, Englewood Cliffs
2. Al-Sheikh A, Brun O, Hladik PE (2010) Partition scheduling on an IMA platform with strict periodicity and communication delays. In: Proceedings of the 18th international conference on real-time and network systems (RTNS 2010), pp 179-188
3. Al-Sheikh A, Brun O, Hladik PE, Prabhu BJ (2011) A best-response algorithm for multiprocessor periodic scheduling. In: Proceedings of the 23rd Euromicro conference on real-time systems (ECRTS 2011), pp 228-237
4. Baruah S, Chakraborty S (2006) Schedulability analysis of non-preemptive recurring real-time tasks. In: Proceedings 20th IEEE international parallel & distributed processing symposium, p 149
5. Boender C, Rinnooy Kan A (1987) Bayesian stopping rules for multistart global optimization methods. Math Program 37 (1): 59-80 (Pubitemid 17570540)
6. Campbell AM, Hardin JR (2005) Vehicle minimization for periodic deliveries. Eur J Oper Res 165 (3): 668-684 (Pubitemid 40206348)
7. Cormen TH, Leiserson CE, Rivest RL, Stein C (2001) Introduction to algorithms. MIT Press, Cambridge
8. Coulouris G, Dollimore J, Kindberg T (2005) Distributed systems: concepts and design. Addison- Wesley/Longman, Reading/Harlow
9. Eisenbrand F, Hähnle N, Niemeier M, Skutella M, Verschae J, Wiese A (2010a) Scheduling periodic tasks in a hard real-time environment. In: Automata, languages and programming, pp 299-311
10. Eisenbrand F, Kesavan K, Mattikalli R, Niemeier M, Nordsieck A, Skutella M, Verschae J, Wiese A (2010b) Solving an avionics real-time scheduling problem by advanced IP-methods. In: Algorithms (ESA 2010), pp 11-22
11. Ferguson T (2010) Linear programming: a concise introduction. Website. Available at http: //www.math.ucla.edu/~tom/LP.pdf
12. Fudenberg D, Tirole J (1991) Game theory. MIT Press, Cambridge ILOG CPLEX: http: //www.ilog.com/products/cplex/ (2011)
13. Kermia O, Sorel Y (2007) A rapid heuristic for scheduling non-preemptive dependent periodic tasks onto multiprocessor. In: Proceedings of ISCA 20th international conference on parallel and distributed computing systems (PDCS), vol 7
14. Korst J (1992) Periodic multiprocessor scheduling. PhD thesis, Eindhoven university of technology, Eindhoven, the Netherlands
15. Korst J, Aarts E, Lenstra JK (1996) Scheduling periodic tasks. INFORMS J Comput 8: 428-435
16. Korst J, Aarts E, Lenstra JK (1997) Scheduling periodic tasks with slack. INFORMS J Comput 9: 351-362 (Pubitemid 127697780)
17. Koutsoupias E, Papadimitriou C (1999) Worst-case equilibria. In: Proceedings of the 16th annual conference on theoretical aspects of computer science, pp 404-413
18. Marouf M, Sorel Y (2010) Schedulability conditions for non-preemptive hard real-time tasks with strict period. In: Proceedings of the 18th international conference on real-time and network systems (RTNS 2010), pp 50-58
19. Martí R (2003) Multi-start methods. Handbook of metaheuristics, pp 355-368
20. Meumeu P, Sorel Y (2006) Non-schedulability conditions for off-line scheduling of real-time systems subject to precedence and strict periodicity constraints. In: Proceedings of 11th IEEE international conference on emerging technologies and factory automation (ETFA06)
21. Nash J (2005) Non-cooperative games. Ann Math 286-295
22. Roux W (1997) Une approche coherente pour la planification et l'ordonnacement de systèmes de production complexes. PhD thesis, Université
23. Paul Sabatier, Toulouse, France Sagaspe L, Bieber P (2007) Constraint-based design and allocation of shared avionics resources. In: 26th AIAA-IEEE digital avionics systems conference
24. Sharieh A, Al Rawagepfeh W, Mahafzah M, Al Dahamsheh A (2008) An algorithm for finding maximum independent set in a graph. Eur J Sci Res 23 (4): 586-596
25. Spitzer C (2001) The avionics handbook. CRC Press, Boca Raton
26. Watkins C, Walter R (2007) Transitioning from federated avionics architectures to integrated modular avionics. In: Proceedings of the IEEE/AIAA 26th digital avionics systems conference (DASC'07)