{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T17:20:53Z","timestamp":1780420853141,"version":"3.54.1"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030296612","type":"print"},{"value":"9783030296629","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29662-9_2","type":"book-chapter","created":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T19:03:06Z","timestamp":1566241386000},"page":"23-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Assessing the Robustness of Arrival Curves Models for Real-Time Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9787-0525","authenticated-orcid":false,"given":"Mahmoud","family":"Salem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1116-6180","authenticated-orcid":false,"given":"Gonzalo","family":"Carvajal","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Fischmeister","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,8,13]]},"reference":[{"issue":"4","key":"2_CR1","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1109\/MDAT.2017.2746638","volume":"35","author":"L Ahrendts","year":"2018","unstructured":"Ahrendts, L., Ernst, R., Quinton, S.: Exploiting execution dynamics in timing analysis using job sequences. IEEE Des. Test 35(4), 16\u201322 (2018). \n                      https:\/\/doi.org\/10.1109\/MDAT.2017.2746638","journal-title":"IEEE Des. Test"},{"key":"2_CR2","doi-asserted-by":"publisher","unstructured":"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\u2013190. IEEE (1990). \n                      https:\/\/doi.org\/10.1109\/REAL.1990.128746","DOI":"10.1109\/REAL.1990.128746"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s11241-008-9060-7","volume":"41","author":"E Bini","year":"2009","unstructured":"Bini, E., Buttazzo, G.: The space of EDF deadlines: the exact region and a convex approximation. Real-Time Syst. 41(1), 27\u201351 (2009). \n                      https:\/\/doi.org\/10.1007\/s11241-008-9060-7","journal-title":"Real-Time Syst."},{"key":"2_CR4","doi-asserted-by":"publisher","unstructured":"Cardenas, A.A., Stakhanova, N.: Analysis of metrics for classification accuracy in intrusion detection. In: Empirical Research for Software Security, pp. 173\u2013199. CRC Press (2017). \n                      https:\/\/doi.org\/10.1201\/9781315154855","DOI":"10.1201\/9781315154855"},{"issue":"4","key":"2_CR5","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1109\/MDAT.2017.2771210","volume":"35","author":"G Carvajal","year":"2018","unstructured":"Carvajal, G., Salem, M., Benann, N., Fischmeister, S.: Enabling rapid construction of arrival curves from execution traces. IEEE Des. Test 35(4), 23\u201330 (2018). \n                      https:\/\/doi.org\/10.1109\/MDAT.2017.2771210","journal-title":"IEEE Des. Test"},{"key":"2_CR6","doi-asserted-by":"publisher","unstructured":"Chakraborty, S., K\u00fcnzli, S., Thiele, L.: A general framework for analysing system properties in platform-based embedded system designs. In: DATE, vol. 3, p. 10190 (2003). \n                      https:\/\/doi.org\/10.1109\/DATE.2003.1253607","DOI":"10.1109\/DATE.2003.1253607"},{"issue":"5","key":"2_CR7","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1109\/TKDE.2010.235","volume":"24","author":"V Chandola","year":"2012","unstructured":"Chandola, V., Banerjee, A., Kumar, V.: Anomaly detection for discrete sequences: a survey. IEEE Trans. Knowl. Data Eng. 24(5), 823\u2013839 (2012). \n                      https:\/\/doi.org\/10.1109\/TKDE.2010.235","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"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\u20134. IEEE (2014). \n                      https:\/\/doi.org\/10.1109\/AQTR.2014.6857843","DOI":"10.1109\/AQTR.2014.6857843"},{"key":"2_CR9","doi-asserted-by":"publisher","unstructured":"Juba, B., Musco, C., Long, F., Sidiroglou-Douskos, S., Rinard, M.C.: Principled sampling for anomaly detection. In: NDSS (2015). \n                      https:\/\/doi.org\/10.14722\/ndss.2015.23268","DOI":"10.14722\/ndss.2015.23268"},{"key":"2_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/0-8176-4441-5","volume-title":"Basic Real Analysis","author":"AW Knapp","year":"2005","unstructured":"Knapp, A.W.: Basic Real Analysis. Springer, Boston (2005). \n                      https:\/\/doi.org\/10.1007\/0-8176-4441-5"},{"key":"2_CR11","volume-title":"Concrete Mathematics","author":"DE Knuth","year":"1989","unstructured":"Knuth, D.E., Graham, R.L., Patashnik, O., et al.: Concrete Mathematics. Adison Wesley, Boston (1989)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.jpdc.2016.03.002","volume":"95","author":"K Lampka","year":"2016","unstructured":"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\u201391 (2016). \n                      https:\/\/doi.org\/10.1016\/j.jpdc.2016.03.002","journal-title":"J. Parallel Distrib. Comput."},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0","volume-title":"Network Calculus","year":"2001","unstructured":"Le Boudec, J.-Y., Thiran, P. (eds.): Network Calculus. LNCS, vol. 2050. Springer, Heidelberg (2001). \n                      https:\/\/doi.org\/10.1007\/3-540-45318-0"},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"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\u2013171. IEEE (1989). \n                      https:\/\/doi.org\/10.1109\/REAL.1989.63567","DOI":"10.1109\/REAL.1989.63567"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46\u201361 (1973). \n                      https:\/\/doi.org\/10.1145\/321738.321743","journal-title":"J. ACM (JACM)"},{"issue":"1","key":"2_CR16","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2808691","volume":"48","author":"A Milenkoski","year":"2015","unstructured":"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). \n                      https:\/\/doi.org\/10.1145\/2808691","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"2_CR17","unstructured":"Neter, J.: Applied linear regression models"},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"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\u201396, December 2013. \n                      https:\/\/doi.org\/10.1109\/RTSS.2013.17","DOI":"10.1109\/RTSS.2013.17"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"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\u201310. IEEE (2013). \n                      https:\/\/doi.org\/10.1109\/CODES-ISSS.2013.6659021","DOI":"10.1109\/CODES-ISSS.2013.6659021"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-63875-X_44","volume-title":"Advances in Computing Science \u2014 ASIAN\u201997","author":"S Punnekkat","year":"1997","unstructured":"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\u201382. Springer, Heidelberg (1997). \n                      https:\/\/doi.org\/10.1007\/3-540-63875-X_44"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"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\u2013169. IEEE (2005). \n                      https:\/\/doi.org\/10.1109\/RTAS.2005.10","DOI":"10.1109\/RTAS.2005.10"},{"key":"2_CR22","doi-asserted-by":"publisher","unstructured":"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\u2013106. IEEE (2016). \n                      https:\/\/doi.org\/10.1109\/ECRTS.2016.22","DOI":"10.1109\/ECRTS.2016.22"},{"issue":"1","key":"2_CR23","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.cirp.2017.04.040","volume":"66","author":"B Schleich","year":"2017","unstructured":"Schleich, B., Anwer, N., Mathieu, L., Wartzack, S.: Shaping the digital twin for design and production engineering. CIRP Ann. 66(1), 141\u2013144 (2017). \n                      https:\/\/doi.org\/10.1016\/j.cirp.2017.04.040","journal-title":"CIRP Ann."},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"Shin, I., Lee, I.: Compositional real-time scheduling framework. In: Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International, pp. 57\u201367. IEEE (2004). \n                      https:\/\/doi.org\/10.1109\/REAL.2004.15","DOI":"10.1109\/REAL.2004.15"},{"key":"2_CR25","unstructured":"Spuri, M.: Analysis of deadline scheduled real-time systems (1996)"},{"issue":"5","key":"2_CR26","doi-asserted-by":"publisher","first-page":"516","DOI":"10.1109\/TSMCC.2010.2048428","volume":"40","author":"M Tavallaee","year":"2010","unstructured":"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\u2013524 (2010). \n                      https:\/\/doi.org\/10.1109\/TSMCC.2010.2048428","journal-title":"IEEE Trans. Syst. Man Cybern. Part C (Appl. Rev.)"},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/32.277577","volume":"20","author":"S Vestal","year":"1994","unstructured":"Vestal, S.: Fixed-priority sensitivity analysis for linear compute time models. IEEE Trans. Software Eng. 20(4), 308\u2013317 (1994). \n                      https:\/\/doi.org\/10.1109\/32.277577","journal-title":"IEEE Trans. Software Eng."},{"issue":"6","key":"2_CR28","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","volume":"8","author":"E Wandeler","year":"2006","unstructured":"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\u2013667 (2006). \n                      https:\/\/doi.org\/10.1007\/s10009-006-0019-5","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"2_CR29","doi-asserted-by":"publisher","unstructured":"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\u201370. IEEE (2010). \n                      https:\/\/doi.org\/10.1109\/RTCSA.2010.12","DOI":"10.1109\/RTCSA.2010.12"},{"key":"2_CR30","doi-asserted-by":"publisher","unstructured":"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\u201328. IEEE (2010). \n                      https:\/\/doi.org\/10.1109\/ICCSIT.2010.5564885","DOI":"10.1109\/ICCSIT.2010.5564885"},{"key":"2_CR31","doi-asserted-by":"publisher","unstructured":"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\u2013553. IEEE (2010). \n                      https:\/\/doi.org\/10.1109\/ICCDA.2010.5541363","DOI":"10.1109\/ICCDA.2010.5541363"}],"container-title":["Lecture Notes in Computer Science","Formal Modeling and Analysis of Timed Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29662-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,19]],"date-time":"2019-08-19T19:03:43Z","timestamp":1566241423000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29662-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030296612","9783030296629"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29662-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FORMATS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Formal Modeling and Analysis of Timed Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"formats2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lipn.univ-paris13.fr\/formats2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.1","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4.4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}