Top

Published in:

2019 | OriginalPaper | Chapter

Assessing the Robustness of Arrival Curves Models for Real-Time Systems

Authors : Mahmoud Salem, Gonzalo Carvajal, Tong Liu, Sebastian Fischmeister

Published in: Formal Modeling and Analysis of Timed Systems

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Design of real-time systems is prone to uncertainty due to software and hardware changes throughout their deployment. In this context, both industry and academia have shown interest in new trace mining approaches for diagnosis and prognosis of complex embedded systems. Trace mining techniques construct empirical models that mainly target achieving high accuracy in detecting anomalies. However, when applied to safety-critical systems, such models lack in providing theoretical bounds on the system resilience to variations from these anomalies.

This paper presents the first work that derives robustness criteria on a trace mining approach that constructs arrival-curves models from dataset of traces collected from real-time systems. Through abstracting arrival-curves models to the demand-bound functions of a sporadic task under an EDF scheduler, the analysis presented in the paper enables designers to quantify the permissible change to the parameters of a given task model by relating to the variation expressed within the empirical model. The result is a methodology to evaluate a system to dynamically changing workloads. We evaluate the proposed approach on an industrial cyber-physical system that generates traces of timestamped QNX events.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Online Quantitative Timed Pattern Matching with Semiring-Valued Weighted Automata

next chapter Property-Driven Timestamps Encoding for Timeprints-Based Tracing and Monitoring

Ahrendts, L., Ernst, R., Quinton, S.: Exploiting execution dynamics in timing analysis using job sequences. IEEE Des. Test 35(4), 16–22 (2018). https://doi.org/10.1109/MDAT.2017.2746638CrossRef

Baruah, S.K., Mok, A.K., Rosier, L.E.: Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Real-Time Systems Symposium, 11th Proceedings, pp. 182–190. IEEE (1990). https://doi.org/10.1109/REAL.1990.128746

Bini, E., Buttazzo, G.: The space of EDF deadlines: the exact region and a convex approximation. Real-Time Syst. 41(1), 27–51 (2009). https://doi.org/10.1007/s11241-008-9060-7CrossRefMATH

Cardenas, A.A., Stakhanova, N.: Analysis of metrics for classification accuracy in intrusion detection. In: Empirical Research for Software Security, pp. 173–199. CRC Press (2017). https://doi.org/10.1201/9781315154855

Carvajal, G., Salem, M., Benann, N., Fischmeister, S.: Enabling rapid construction of arrival curves from execution traces. IEEE Des. Test 35(4), 23–30 (2018). https://doi.org/10.1109/MDAT.2017.2771210CrossRef

Chakraborty, S., Künzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE, vol. 3, p. 10190 (2003). https://doi.org/10.1109/DATE.2003.1253607

Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection for discrete sequences: a survey. IEEE Trans. Knowl. Data Eng. 24(5), 823–839 (2012). https://doi.org/10.1109/TKDE.2010.235CrossRef

Jazdi, N.: Cyber physical systems in the context of industry 4.0. In: 2014 IEEE International Conference on Automation, Quality and Testing, Robotics, pp. 1–4. IEEE (2014). https://doi.org/10.1109/AQTR.2014.6857843

Juba, B., Musco, C., Long, F., Sidiroglou-Douskos, S., Rinard, M.C.: Principled sampling for anomaly detection. In: NDSS (2015). https://doi.org/10.14722/ndss.2015.23268

10.

Knapp, A.W.: Basic Real Analysis. Springer, Boston (2005). https://doi.org/10.1007/0-8176-4441-5CrossRefMATH

11.

Knuth, D.E., Graham, R.L., Patashnik, O., et al.: Concrete Mathematics. Adison Wesley, Boston (1989)MATH

12.

Lampka, K., Forsberg, B., Spiliopoulos, V.: Keep it cool and in time: with runtime monitoring to thermal-aware execution speeds for deadline constrained systems. J. Parallel Distrib. Comput. 95, 79–91 (2016). https://doi.org/10.1016/j.jpdc.2016.03.002CrossRef

13.

Le Boudec, J.-Y., Thiran, P. (eds.): Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45318-0CrossRefMATH

14.

Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Real Time Systems Symposium, 1989, Proceedings, pp. 166–171. IEEE (1989). https://doi.org/10.1109/REAL.1989.63567

15.

Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973). https://doi.org/10.1145/321738.321743MathSciNetCrossRefMATH

16.

Milenkoski, A., Vieira, M., Kounev, S., Avritzer, A., Payne, B.D.: Evaluating computer intrusion detection systems: a survey of common practices. ACM Comput. Surv. (CSUR) 48(1), 12 (2015). https://doi.org/10.1145/2808691 CrossRef

17.

Neter, J.: Applied linear regression models

18.

Neukirchner, M., Axer, P., Michaels, T., Ernst, R.: Monitoring of workload arrival functions for mixed-criticality systems. In: IEEE 34th Real-Time Systems Symposium (RTSS). pp. 88–96, December 2013. https://doi.org/10.1109/RTSS.2013.17

19.

Neukirchner, M., Lampka, K., Quinton, S., Ernst, R.: Multi-mode monitoring for mixed-criticality real-time systems. In: 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ ISSS), pp. 1–10. IEEE (2013). https://doi.org/10.1109/CODES-ISSS.2013.6659021

20.

Punnekkat, S., Davis, R., Burns, A.: Sensitivity analysis of real-time task sets. In: Shyamasundar, R.K., Ueda, K. (eds.) ASIAN 1997. LNCS, vol. 1345, pp. 72–82. Springer, Heidelberg (1997). https://doi.org/10.1007/3-540-63875-X_44CrossRef

21.

Racu, R., Jersak, M., Ernst, R.: Applying sensitivity analysis in real-time distributed systems. In: Real Time and Embedded Technology and Applications Symposium. RTAS 2005. 11th IEEE. pp. 160–169. IEEE (2005). https://doi.org/10.1109/RTAS.2005.10

22.

Salem, M., Crowley, M., Fischmeister, S.: Anomaly detection using inter-arrival curves for real-time systems. In: 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), pp. 97–106. IEEE (2016). https://doi.org/10.1109/ECRTS.2016.22

23.

Schleich, B., Anwer, N., Mathieu, L., Wartzack, S.: Shaping the digital twin for design and production engineering. CIRP Ann. 66(1), 141–144 (2017). https://doi.org/10.1016/j.cirp.2017.04.040CrossRef

24.

Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International, pp. 57–67. IEEE (2004). https://doi.org/10.1109/REAL.2004.15

25.

Spuri, M.: Analysis of deadline scheduled real-time systems (1996)

26.

Tavallaee, M., Stakhanova, N., Ghorbani, A.A.: Toward credible evaluation of anomaly-based intrusion-detection methods. IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.) 40(5), 516–524 (2010). https://doi.org/10.1109/TSMCC.2010.2048428CrossRef

27.

Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng. 20(4), 308–317 (1994). https://doi.org/10.1109/32.277577CrossRef

28.

Wandeler, E., Thiele, L., Verhoef, M., Lieverse, P.: System architecture evaluation using modular performance analysis: a case study. Int. J. Softw. Tools Technol. Transfer 8(6), 649–667 (2006). https://doi.org/10.1007/s10009-006-0019-5CrossRef

29.

Zhang, F., Burns, A., Baruah, S.: Sensitivity analysis for EDF scheduled arbitrary deadline real-time systems. In: 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), pp. 61–70. IEEE (2010). https://doi.org/10.1109/RTCSA.2010.12

30.

Zhang, F., Burns, A., Baruah, S.: Sensitivity analysis of task period for EDF scheduled arbitrary deadline real-time systems. In: 2010 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), vol. 3, pp. 23–28. IEEE (2010). https://doi.org/10.1109/ICCSIT.2010.5564885

31.

Zhang, F., Burns, A., Baruah, S.: Task parameter computations for constraint deadline real-time systems with EDF scheduling. In: 2010 International Conference on Computer Design and Applications (ICCDA), vol. 3, pp. V3–553. IEEE (2010). https://doi.org/10.1109/ICCDA.2010.5541363

Title: Assessing the Robustness of Arrival Curves Models for Real-Time Systems
Authors: Mahmoud Salem
Gonzalo Carvajal
Tong Liu
Sebastian Fischmeister
Publisher: Springer International Publishing
Book: Formal Modeling and Analysis of Timed Systems
Print ISBN: 978-3-030-29661-2

Electronic ISBN: 978-3-030-29662-9

Copyright Year: 2019
DOI: https://doi.org/10.1007/978-3-030-29662-9_2

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner