Priority assignment for event-triggered systems using mathematical programming

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2013, Pages 982-987

  Lukasiewycz, Martin ^a   Steinhorst, Sebastian ^a   Chakraborty, Samarjit ^b  

^a TUM CREATE   (Singapore)

^b TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

QUADRATIC PROGRAMMING; SCALABILITY;

AUTOMOTIVE DOMAINS; CYCLIC DEPENDENCIES; EVENT-TRIGGERED SYSTEM; FEASIBLE SOLUTION; PRIORITY ASSIGNMENT; QUADRATICALLY-CONSTRAINED QUADRATIC PROGRAMS; REAL TIME ANALYSIS; REAL TIME REQUIREMENT;

REAL TIME SYSTEMS;

EID: 84885675723     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/date.2013.205     Document Type: Conference Paper

References (15)

1. OSEK, "OSEK VDX Portal," http://www.osek-vdx.org/.
2. CAN, "Controller Area Network," http://www.can.bosch.com/.
3. C. Liu and J. Layland, "Scheduling Algorithms for Multiprogramming in a Hard-real-time Environment," Journal of the ACM, Vol. 20, no. 1, pp. 46-61, 1973.
4. K. Tindell, A. Burns, and A. Wellings, "Calculating Controller Area Network (CAN) Message Response Times," Control Engineering Practice, Vol. 3, pp. 1163-1169, 1995.
5. R. Davis, A. Burns, R. Bril, and J. Lukkien, "Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised," Real-Time Systems, Vol. 35, no. 3, pp. 239-272, 2007.
6. A. Davare, Q. Zhu, M. Di Natale, C. Pinello, S. Kanajan, and A. Sangiovanni-Vincentelli, "Period Optimization for Hard Real-time Distributed Automotive Systems," in Proc. of DAC, 2007, pp. 278-283.
7. A. Hamann, M. Jersak, K. Richter, and R. Ernst, "Design Space Exploration and System Optimization with SymTA/S-Symbolic Timing Analysis for Systems," in Proc. of RTSS, 2004, pp. 469-478.
8. F. Reimann, M. Glaß, C. Haubelt, M. Eberl, and J. Teich, "Improving Platform-based System Synthesis by Satisfiability Modulo Theories Solving," in Proc. of CODES+ISSS, 2010, pp. 135-144.
9. F. Reimann, M. Lukasiewycz, M. Glass, C. Haubelt, and J. Teich, "Symbolic System Synthesis in the Presence of Stringent Real-time Constraints," in Proc. of DAC, 2011, pp. 393-398.
10. B. Lisper and P. Mellgren, "Response-time Calculation and Priority Assignment with Integer Programming Methods," in Proc. of ECRTS, 2001, pp. 13-16.
11. Gurobi Optimizer, "Gurobi 5.0," http://www.gurobi.com/.
12. H. Mittelmann, "An Independent Benchmarking of SDP and SOCP Solvers," Mathematical Programming, Vol. 95, no. 2, pp. 407-430, 2003.
13. B. Jonsson, S. Perathoner, L. Thiele, and W. Yi, "Cyclic Dependencies in Modular Performance Analysis," in Proc. of EMSOFT, 2008, pp. 179-188.
14. O. Guieu and J. W. Chinneck, "Analyzing Infeasible Mixed-Integer and Integer Linear Programs," INFORMS Journal on Computing, Vol. 11, pp. 63-77, 1999.
15. Y. Oh, M. Mneimneh, Z. Andraus, K. Sakallah, and I. Markov, "Amuse: a minimally-unsatisfiable subformula extractor," in Proc. of DAC, 2004, pp. 518-523.