{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T10:08:33Z","timestamp":1749204513557,"version":"3.37.3"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"10","license":[{"start":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T00:00:00Z","timestamp":1579305600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T00:00:00Z","timestamp":1579305600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s12652-020-01705-9","type":"journal-article","created":{"date-parts":[[2020,1,18]],"date-time":"2020-01-18T14:02:25Z","timestamp":1579356145000},"page":"4249-4259","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["A situation-aware task model for adaptive real-time systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Nayreet","family":"Islam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6292-6939","authenticated-orcid":false,"given":"Akramul","family":"Azim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,1,18]]},"reference":[{"key":"1705_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-05278-6","volume-title":"Intelligence for embedded systems","author":"C Alippi","year":"2014","unstructured":"Alippi C (2014) Intelligence for embedded systems. Springer, New York"},{"key":"1705_CR2","doi-asserted-by":"crossref","unstructured":"Baruah S (2010) The non-cyclic recurring real-time task model. In: 31st IEEE real-time systems symposium. IEEE, pp 173\u2013182","DOI":"10.1109\/RTSS.2010.19"},{"issue":"1","key":"1705_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1008030427220","volume":"17","author":"S Baruah","year":"1999","unstructured":"Baruah S, Chen D, Gorinsky S, Mok A (1999) Generalized multiframe tasks. Real Time Syst 17(1):5\u201322","journal-title":"Real Time Syst"},{"key":"1705_CR4","unstructured":"Baruah SK (1998a) Feasibility analysis of recurring branching tasks. In: Proceeding 10th EUROMICRO workshop on real-time systems (Cat. No. 98EX168). IEEE, pp 138\u2013145"},{"key":"1705_CR5","unstructured":"Baruah SK (1998b) A general model for recurring real-time tasks. In: Proceedings 19th IEEE real-time systems symposium (Cat. No. 98CB36279). IEEE, pp 114\u2013122"},{"issue":"1","key":"1705_CR6","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1021711220939","volume":"24","author":"K Baruah Sanjoy","year":"2003","unstructured":"Baruah Sanjoy K (2003) Dynamic-and static-priority scheduling of recurring real-time tasks. Real Time Syst 24(1):93\u2013128","journal-title":"Real Time Syst"},{"key":"1705_CR7","doi-asserted-by":"crossref","unstructured":"Baruah SK, Mok AK, Rosier LE (1990) Preemptively scheduling hard-real-time sporadic tasks on one processor. In: Proceedings 11th real-time systems symposium. IEEE, pp 182\u2013190","DOI":"10.1109\/REAL.1990.128746"},{"key":"1705_CR8","doi-asserted-by":"crossref","unstructured":"Becker B, Beyer D, Giese H, Klein F, Schilling D (2006) Symbolic invariant verification for systems with dynamic structural adaptation. In: Proceedings of the 28th international conference on software engineering. ACM, pp 72\u201381","DOI":"10.1145\/1134285.1134297"},{"key":"1705_CR9","unstructured":"Bob S, Jef T, Ramsey L (2017) Jackson hole town square-live streaming. http:\/\/www.seejh.com\/live?ref=sjhyt. Accessed 26 July 2018"},{"key":"1705_CR10","doi-asserted-by":"crossref","unstructured":"Bucchiarone A, Pelliccione P, Vattani C, Runge O (2009) Self-repairing systems modeling and verification using AGG. In: Joint working IEEE\/IFIP conference on software architecture & European conference on software architecture. IEEE, pp 181\u2013190","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"1705_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard real-time computing systems: predictable scheduling algorithms and applications","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo GC (2011) Hard real-time computing systems: predictable scheduling algorithms and applications, vol 24. Springer, New York"},{"key":"1705_CR12","first-page":"101","volume-title":"Lecture notes in computer science","author":"BH Cheng","year":"2014","unstructured":"Cheng BH, Eder KI, Gogolla M, Grunske L, Litoiu M, M\u00fcller HA, Pelliccione P, Perini A, Qureshi NA, Rumpe B, Schneider D (2014) Using models at runtime to address assurance for self-adaptive systems. In: Bencomo N, France R, Cheng BHC, A\u00dfmann U (eds) Models@ run. time. Lecture notes in computer science, vol 8378. Springer, Cham, pp 101\u2013136","edition":"8378"},{"key":"1705_CR13","doi-asserted-by":"crossref","unstructured":"De Lemos R, Giese H, M\u00fcller HA, Shaw M, Andersson J, Litoiu M, Schmerl B, Tamura G, Villegas NM, Vogel T, Weyns D (2013) Software engineering for self-adaptive systems: a second research roadmap. In: Software engineering for self-adaptive systems II. Springer, Berlin, Heidelberg, pp 1\u201332","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"1705_CR14","doi-asserted-by":"crossref","unstructured":"Deng J, Dong W, Socher R, Li LJ, Li K, Fei-Fei L (2009) Imagenet: a large-scale hierarchical image database. In: IEEE conference on computer vision and pattern recognition. IEEE, pp 248\u2013255","DOI":"10.1109\/CVPR.2009.5206848"},{"issue":"1","key":"1705_CR15","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10270-012-0247-y","volume":"13","author":"H Giese","year":"2014","unstructured":"Giese H, Hildebrandt S, Lambers L (2014) Bridging the gap between formal semantics and implementation of triple graph grammars. Softw Syst Model 13(1):273\u2013299","journal-title":"Softw Syst Model"},{"key":"1705_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/9781118445112.stat04559","volume-title":"Central limit theorem","author":"CC Heyde","year":"2014","unstructured":"Heyde CC (2014) Central limit theorem. Wiley StatsRef: Statistics Reference Online, New York"},{"key":"1705_CR17","unstructured":"Islam N (2018) Design and verification of situation-aware real-time systems. Ph.D. thesis"},{"key":"1705_CR18","doi-asserted-by":"crossref","unstructured":"Islam N, Azim A (2017) CARTS: constraint-based analytics from real-time system monitoring. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE. pp 2164\u20132169","DOI":"10.1109\/SMC.2017.8122940"},{"key":"1705_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/s12652-018-0992-z","author":"N Islam","year":"2018","unstructured":"Islam N, Azim A (2018) A multi-mode real-time system verification model using efficient event-driven dataset. J Ambient Intell Humanized Comput. https:\/\/doi.org\/10.1007\/s12652-018-0992-z","journal-title":"J Ambient Intell Humanized Comput"},{"issue":"1","key":"1705_CR20","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"key":"1705_CR21","unstructured":"Majek K (2017) Self driving car in Warsaw, Poland. https:\/\/drive.google.com\/ile\/d\/0B_6iW8KaJFXOQmhaWU56dlBDY28\/view. Accessed 26 July 2018"},{"issue":"2","key":"1705_CR22","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/s11263-009-0275-4","volume":"88","author":"E Mark","year":"2010","unstructured":"Mark E, Luc VG, Williams Christopher KI, John W, Andrew Z (2010) The pascal visual object classes (voc) challenge. Int J Comput Vision 88(2):303\u2013338","journal-title":"Int J Comput Vision"},{"issue":"10","key":"1705_CR23","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1109\/32.637146","volume":"23","author":"AK Mok","year":"1997","unstructured":"Mok AK, Chen D (1997) A multiframe model for real-time tasks. IEEE Trans Softw Eng 23(10):635\u2013645","journal-title":"IEEE Trans Softw Eng"},{"key":"1705_CR24","unstructured":"Moyo NT, Nicollet E, Lafaye F, Moy C (2010) On schedulability analysis of non-cyclic generalized multiframe tasks. In: 22nd Euromicro conference on real-time systems. IEEE, pp 271\u2013278"},{"issue":"2","key":"1705_CR25","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/s10458-011-9175-4","volume":"25","author":"CD Nguyen","year":"2012","unstructured":"Nguyen CD, Miles S, Perini A, Tonella P, Harman M, Luck M (2012) Evolutionary testing of autonomous software agents. Auton Agent Multi-Agent Syst 25(2):260\u2013283","journal-title":"Auton Agent Multi-Agent Syst"},{"key":"1705_CR26","doi-asserted-by":"crossref","unstructured":"Stigge M, Ekberg P, Guan N, Yi W (2011) The digraph real-time task model. In: 17th IEEE real-time and embedded technology and applications symposium. IEEE, pp 71\u201380","DOI":"10.1109\/RTAS.2011.15"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-020-01705-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-020-01705-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-020-01705-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,17]],"date-time":"2021-01-17T00:15:37Z","timestamp":1610842537000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-020-01705-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,18]]},"references-count":26,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["1705"],"URL":"https:\/\/doi.org\/10.1007\/s12652-020-01705-9","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"type":"print","value":"1868-5137"},{"type":"electronic","value":"1868-5145"}],"subject":[],"published":{"date-parts":[[2020,1,18]]},"assertion":[{"value":"1 June 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 January 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 January 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}