Extending Typical Worst-Case Analysis using response-time dependencies to bound deadline misses

2014 Proceedings of the International Conference on Embedded Software, EMSOFT 2014

Volumn , Issue , 2014, Pages

  Hammadeh, Zain A H ^a   Quinton, Sophie ^b   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

^b INRIA RHÔNE ALPES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INTEGER LINEAR PROGRAMMING; LATTICE STRUCTURES; NON-PREEMPTIVE; OPTIMIZATION PROBLEMS; STATIC PRIORITY; TIME CONSTRAINTS; TIME DEPENDENCY; WORST-CASE ANALYSIS;

INTEGER PROGRAMMING;

EID: 84910154340     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2656045.2656059     Document Type: Conference Paper

References (14)

1. Philip Axer, Maurice Sebastian, and Rolf Ernst. Probabilistic response time bound for CAN messages with arbitrary deadlines. In Proceedings of DATE'12. IEEE Computer Society, 2012.
2. Guillem Bernat, Alan Burns, and Albert Llamosí. Weakly hard real-time systems. IEEE Trans. Computers, 50(4):308-321, 2001.
3. Francisco J. Cazorla, Eduardo Quiñones, Tullio Vardanega, Liliana Cucu, Benoit Triquet, Guillem Bernat, Emery D. Berger, Jaume Abella, Franck Wartel, Michael Houston, Luca Santinelli, Leonidas Kosmidis, Code Lo, and Dorin Maxim. PROARTIS: Probabilistically analyzable real-time systems. ACM Trans. Embedded Comput. Syst., 12(2s): 94, 2013.
4. Samarjit Chakraborty, Simon Künzli, and Lothar Thiele. A general framework for analysing system properties in platform-based embedded system designs. In Proceedings of DATE'03, pages 190-195. IEEE Computer Society, 2003.
5. Robert I. Davis, Alan Burns, Reinder J. Bril, and Johan J. Lukkien. Controller area network (CAN) schedulability analysis: Refuted, revisited and revised. Real-Time Systems, 35(3):239-272, 2007.
6. Jonas Diemer, Philip Axer, and Rolf Ernst. Compositional performance analysis in python with pyCPA. In Proceedings of WATERS'12, 2012.
7. Rafik Henia, Arne Hamann, Marek Jersak, Razvan Racu, Kai Richter, and Rolf Ernst. System level performance analysis - the SymTA/S approach. In IEE Proceedings Computers and Digital Techniques, 2005.
8. Pratyush Kumar and Lothar Thiele. Quantifying the effect of rare timing events with settling-time and overshoot. In Proceedings of RTSS'12, pages 149-160, 2012.
9. John P. Lehoczky. Fixed priority scheduling of periodic task sets with arbitrary deadlines. In IEEE Real-Time Systems Symposium, pages 201-213, 1990.
10. José María López, José Luis Díaz, Joaquín Entrialgo, and Daniel F. García. Stochastic analysis of real-time systems under preemptive priority-driven scheduling. Real-Time Systems, 40(2):180-207, 2008.
11. Saad Mubeen, Jukka Mäki-Turja, and Mikael Sjödin. Extending schedulability analysis of controller area network (CAN) for mixed (periodic/sporadic) messages. In Proceedings of ETFA'11, pages 1-10, 2011.
12. Sophie Quinton, Matthias Hanke, and Rolf Ernst. Formal analysis of sporadic overload in real-time systems. In Proceedings of DATE'12, pages 515-520. IEEE Computer Society, 2012.
13. Sophie Quinton, Mircea Negrean, and Rolf Ernst. Formal analysis of sporadic bursts in real-time systems. In Proceedings of DATE'13, pages 767-772. IEEE Computer Society, 2013.
14. Ken Tindell, Alan Burns, and Andy J. Wellings. An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Systems, 6(2):133-151, 1994.