Formal analysis of sporadic overload in real-time systems

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2012, Pages 515-520

  Quinton, Sophie ^a   Hanke, Matthias ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS;

COMPOSITIONAL PERFORMANCE ANALYSIS; FORMAL ANALYSIS; OUTPUT EVENTS; QUANTITATIVE INFORMATION; STATE OF THE ART; TIME MODEL;

REAL TIME SYSTEMS;

EID: 84862104699     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/date.2012.6176523     Document Type: Conference Paper

References (16)

1. G. Bernat, A. Burns, and A. Llamosí, "Weakly hard real-time systems,"IEEE Trans. Computers, vol. 50, no. 4, pp. 308-321, 2001.
2. G. Bernat, A. Burns, and M. Newby, "Probabilistic timing analysis: An approach using copulas," J. Embedded Computing, vol. 1, no. 2, pp. 179-194, 2005.
3. S. Chakraborty, S. Künzli, and L. Thiele, "A general framework for analysing system properties in platform-based embedded system designs,"in Proceedings of DATE'03. IEEE Computer Society, 2003, pp. 190-195.
4. R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst, "System level performance analysis - the SymTA/S approach," in IEE Proceedings Computers and Digital Techniques, 2005.
5. M. Ivers and R. Ernst, "Probabilistic network loads with dependencies and the effect on queue sojourn times," in Proceedings of QSHINE'09, ser. LNCS, vol. 22. Springer, 2009, pp. 280-296.
6. M. Jersak, R. Henia, and R. Ernst, "Context-aware performance analysis for efficient embedded system design," in Proceedings of DATE'04. IEEE Computer Society, 2004, pp. 1046-1051.
7. J. P. Lehoczky, "Fixed priority scheduling of periodic task sets with arbitrary deadlines," in Proceedings of RTSS'90. IEEE Computer Society, 1990, pp. 201-213.
8. J. M. López, J. L. Díaz, J. Entrialgo, and D. F. García, "Stochastic analysis of real-time systems under preemptive priority-driven scheduling,"Real-Time Systems, vol. 40, no. 2, pp. 180-207, 2008.
9. S. Manolache, "Analysis and optimisation of real-time systems with stochastic behaviour," Ph.D. dissertation, Linköpings Universitet, 2005.
10. A. K. Mok and D. Chen, "A multiframe model for real-time tasks,"IEEE Trans. Software Eng., vol. 23, no. 10, pp. 635-645, 1997.
11. K. Richter, "Compositional scheduling analysis using standards event models," Ph.D. dissertation, TU Braunschweig, 2005.
12. S. Schliecker, J. Rox, M. Ivers, and R. Ernst, "Providing accurate event models for the analysis of heterogeneous multiprocessor systems," in Proceedings of CODES+ISSS'08. ACM, 2008, pp. 185-190.
13. S. Stein, J. Diemer, M. Ivers, S. Schliecker, and R. Ernst, "On the convergence of the SymTA/S analysis," TU Braunschweig, Tech. Rep., 2008.
14. L. Thiele, S. Chakraborty, and M. Naedele, "Real-time calculus for scheduling hard real-time systems," in Proceedings of ISCAS'00, vol. 4. IEEE Computer Society, 2000, pp. 101-104.
15. T.-S. Tia, Z. Deng, M. Shankar, M. F. Storch, J. S. 0002, L.-C. Wu, and J. W.-S. Liu, "Probabilistic performance guarantee for real-time tasks with varying computation times," in Proceedings of RTAS'95. IEEE Computer Society, 1995, pp. 164-173.
16. K. Tindell, A. Burns, and A. J. Wellings, "An extendible approach for analyzing fixed priority hard real-time tasks," Real-Time Systems, vol. 6, no. 2, pp. 133-151, 1994.