Abstract
The robustness of an architecture to changes is a major concern in the design of efficient and reliable state-of-the-art embedded real-time systems. Robustness is important during design process to identify if and in how far a system can accommodate later changes or updates, or whether it can be reused in a next generation product. In the product life-cycle, robustness helps the designer to perform changes as a result of product updates, integration of new components and subsystems, or modifications of the environment. In this paper we determine robustness as a performance reserve, the slack in performance before a system fails to meet timing requirements. This is measured as design sensitivity. Due to complex component interactions, resource sharing and functional dependencies, one-dimensional sensitivity analysis might not cover all effects that modifications of one system property may have on system performance. One reason is that the variation of one property can also affect the values of other system properties requiring new approaches to keep track of simultaneous parameter changes. In this paper we present a framework for one-dimensional and multi-dimensional sensitivity analysis of real-time systems. The framework is based on compositional analysis that is scalable to large systems. The one-dimensional sensitivity analysis combines a binary search technique with a set of formal equations derived from the real-time scheduling theory. The multi-dimensional sensitivity analysis engine consists of an exact algorithm that extends the one-dimensional approach, and a stochastic algorithm based on evolutionary search techniques.
Similar content being viewed by others
References
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
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
Bleuler S, Laumanns M, Thiele L, Zitzler E (2003) PISA—a platform and programming language independent interface for search algorithms
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
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
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
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)
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
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
Joseph M, Pandya P (1986) Finding response times in a real-time system. Comput J 29(5):390–395
Katcher DI, Arakawa H, Strosnider JK (1993) Engineering and analysis of fixed priority schedulers. Softw Eng 19(9):920–934
Lehoczky J (1990) Fixed priority scheduling of periodic task sets with arbitrary deadlines. In: Proceedings of the real-time systems symposium, pp 201–209
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
Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46–61
Live Devices, ETAS Group, RTA-OSEK in detail. http://en.etasgroup.com/products/rta
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
Perathoner S (2006) Evaluation and comparison of performance analysis methods for distributed embedded systems. Master’s thesis, Swiss Federal Institute of Technology, Zürich
Project S (2003) Institute of Computer and Communication Network Engineering, Technical University of Braunschweig, Germany. http://www.symta.org
Punnekkat S, Davis R, Burns A (1997) Sensitivity analysis of real-time task sets. In: ASIAN, pp 72–82
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
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
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
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
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
Richter K (2004) Compositional performance analysis. PhD thesis, Technical University of Braunschweig
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
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
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
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
Vestal S (1994) Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans Softw Eng 20(4)
Wandeler E, Thiele L (2006) Real-time calculus (RTC) toolbox
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
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
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Racu, R., Hamann, A. & Ernst, R. Sensitivity analysis of complex embedded real-time systems. Real-Time Syst 39, 31–72 (2008). https://doi.org/10.1007/s11241-007-9039-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11241-007-9039-9