Sensitivity analysis of complex embedded real-time systems

Real-Time Systems

Volumn 39, Issue 1-3, 2008, Pages 31-72

  Racu, Razvan ^a   Hamann, Arne ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

Binary search; Compositional; Distributed systems; Embedded; Performance verification; Real time; Robustness; Scheduling analysis; Sensitivity analysis; Slack; System properties; System on chip

Indexed keywords

EMBEDDED SYSTEMS; FORMAL METHODS; LIFE CYCLE; ONE DIMENSIONAL; PARAMETER ESTIMATION; ROBUSTNESS (CONTROL SYSTEMS); SCHEDULING; SENSITIVITY ANALYSIS;

BINARY SEARCH; PERFORMANCE VERIFICATION; SCHEDULING ANALYSIS; SYSTEM PROPERTIES; SYSTEM-ON-CHIP;

REAL TIME SYSTEMS;

EID: 40149084209     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11241-007-9039-9     Document Type: Article

References (33)

1. Audsley NC, Burns A, Richardson MF, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority preemptive scheduling. J Real-Time Syst 8(5):284-292
2. Bini E, Natale MD Buttazzo G (2006) Sensitivity analysis for fixed-priority real-time systems. In: 18th Euromicro conference on real-time systems (ECRTS), Dresden, Germany, pp 13-22
3. Bleuler S, Laumanns M, Thiele L, Zitzler E (2003) PISA-a platform and programming language independent interface for search algorithms
4. Chakraborty S, Knzli S, Thiele L (2003) A general framework for analysing system properties in platform-based embedded system designs. In: Proceedings of design, automation and test in Europe (DATE), Munich, Germany, March 2003
5. Cottet F, Babau JP (1996) An iterative method of task temporal parameter adjustment in hard real-time systems. In: Proceedings of the 2nd IEEE international conference on engineering of complex computer systems (ICECCS), Montreal, Canada, October 1996
6. Hamann A, Jersak M, Richter K, Ernst R (2006) A framework for modular analysis and exploration of heterogeneous embedded systems. Real-Time Syst J 33(1-3):101-137
7. Harbour MG, Garcia JG, Gutierrez JP, Moyano JD (2001) MAST: modeling and analysis suite for real time applications. In: Euromicro conference on real-time systems (ECRTS)
8. Henia R, Racu R, Ernst R (2006) Improved output jitter calculation for compositional performance analysis of distributed systems. In: 15th international workshop on parallel and distributed real-time systems (WPDRTS), Long Beach, CA
9. Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis-the SymTA/S approach. IEE Proc Comput Digit Tech 152(2):148-166
10. Joseph M, Pandya P (1986) Finding response times in a real-time system. Comput J 29(5):390-395
11. Katcher DI, Arakawa H, Strosnider JK (1993) Engineering and analysis of fixed priority schedulers. Softw Eng 19(9):920-934
12. Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proceedings of the real-time systems symposium, pp 201-209
13. Lehoczky J, Sha L, Ding Y (1989) The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Proceedings of the real-time systems symposium (RTSS). IEEE Computer Society Press, Los Alamitos, pp 166-171
14. Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46-61
15. Live Devices, ETAS Group, RTA-OSEK in detail. http://en.etasgroup.com/ products/rta
16. Palencia JC, Harbour MG (1998) Schedulability analysis for tasks with static and dynamic offsets. In: Proceedings of 19th IEEE real-time systems symposium (RTSS), Madrid, Spain
17. Perathoner S (2006) Evaluation and comparison of performance analysis methods for distributed embedded systems. Master's thesis, Swiss Federal Institute of Technology, Zürich
18. Project S (2003) Institute of Computer and Communication Network Engineering, Technical University of Braunschweig, Germany. http://www.symta.org
19. Punnekkat S, Davis R, Burns A (1997) Sensitivity analysis of real-time task sets. In: ASIAN, pp 72-82
20. Racu R, Jersak M, Ernst R (2005) Applying sensitivity analysis in real-time distributed systems. In: Proceedings of the 11th IEEE real-time and embedded technology and applications symposium (RTAS), San Francisco, USA
21. Racu R, Hamann A, Ernst R (2006) A formal approach to multi-dimensional sensitivity analysis of embedded real-time systems. In: 18th Euromicro conference on real-time systems (ECRTS). Germany, Dresden, pp 3-12
22. Redell O, Sanfridson M (2002) Exact best-case response time analysis of fixed priority scheduled tasks. In: Proceedings of the Euromicro conference on real-time systems (ECRTS), pp 165-172
23. Redell O, Trngren M (2002) Calculating exact worst case response times for static priority scheduled tasks with offsets and jitter. In: Proceedings of the eighth IEEE real-time and embedded technology and applications symposium (RTAS), Washington, DC, USA, pp 164-172
24. Regehr J (2002) Scheduling tasks with mixed preemption relations for robustness to timing faults. In: Proceedings of the 23rd IEEE real-time systems symposium (RTSS), Austin, TX, December 2002
25. Richter K (2004) Compositional performance analysis. PhD thesis, Technical University of Braunschweig
26. Richter K, Racu R, Ernst R (2003) Scheduling analysis integration for heterogeneous multiprocessor SoC. In: Proceedings 24th international real-time systems symposium (RTSS'03), Cancun, Mexico, December 2003
27. Seto D, Lehoczky JP, Sha L (1998) Task period selection and schedulability in real-time systems. In: Proceedings of the IEEE real-time systems symposium (RTSS), Madrid, Spain, pp 188-198
28. Thiele L, Chakraborty S, Naedele M (2000) Real-time calculus for scheduling hard real-time systems. In: Proceedings of the international symposium on circuits and systems (ISCAS), Geneva, Switzerland
29. Tindell K, Clark J (1994) Holistic schedulability analysis for distributed real-time systems. Microprocess Microprogram Euromicro J (Special issue on parallel embedded real-time systems) 40:117-134
30. Vestal S (1994) Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans Softw Eng 20(4)
31. Wandeler E, Thiele L (2006) Real-time calculus (RTC) toolbox
32. Yerraballi R, Mukkamala R, Maly K, Wahab HA (1993) Issues in schedulability analysis of real-time systems. In: Proceedings of 7th Euromicro workshop on real time systems (EUROMICRO-RTS), June 1993, pp 87-92
33. Zitzler E, Laumanns M, Thiele L (2002) SPEA2: Improving the strength pareto evolutionary algorithm for multiobjective optimization. In: Proceedings of evolutionary methods for design, optimisation, and control, Barcelona, Spain, pp 95-100