{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T06:09:57Z","timestamp":1775282997934,"version":"3.50.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030017125","type":"print"},{"value":"9783030017132","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-030-01713-2_8","type":"book-chapter","created":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T14:22:06Z","timestamp":1542982926000},"page":"96-111","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Local Scheduling in Multi-Agent Systems: Getting Ready for Safety-Critical Scenarios"],"prefix":"10.1007","author":[{"given":"Davide","family":"Calvaresi","sequence":"first","affiliation":[]},{"given":"Mauro","family":"Marinoni","sequence":"additional","affiliation":[]},{"given":"Luca","family":"Lustrissimini","sequence":"additional","affiliation":[]},{"given":"Kevin","family":"Appoggetti","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Sernani","sequence":"additional","affiliation":[]},{"given":"Aldo F.","family":"Dragoni","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Schumacher","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Buttazzo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,14]]},"reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/s12652-016-0374-3","volume":"8","author":"D Calvaresi","year":"2017","unstructured":"Calvaresi, D., Cesarini, D., Sernani, P., Marinoni, M., Dragoni, A.F., Sturm, A.: Exploring the ambient assisted living domain: a systematic review. J. Ambient Intell. Humanized Comput. 8(2), 239\u2013257 (2017)","journal-title":"J. Ambient Intell. Humanized Comput."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Claudi, A., Dragoni, A.F., Yu, E., Accattoli, D., Sernani, D.: A goal-oriented requirements engineering approach for the ambient assisted living domain. In Proceedings of the 7th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2014, pp. 20:1\u201320:4 (2014)","DOI":"10.1145\/2674396.2674416"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-70887-4_1","volume-title":"Agents and Multi-Agent Systems for Health Care","author":"Davide Calvaresi","year":"2017","unstructured":"Calvaresi, D., Schumacher, M., Marinoni, M., Hilfiker, R., Dragoni, A.F., Buttazzo, G.: Agent-based systems for telerehabilitation: strengths, limitations and future challenges. In: Proceedings of X Workshop on Agents Applied in Health Care (2017)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Hsieh, F.-S.: Modeling and control of holonic manufacturing systems based on extended contract net protocol. In: Proceedings of the 2002 American Control Conference, vol. 6, pp. 5037\u20135042. IEEE (2002)","DOI":"10.1109\/ACC.2002.1025464"},{"issue":"2","key":"8_CR5","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s10846-017-0674-7","volume":"91","author":"Marina Paolanti","year":"2017","unstructured":"Paolanti, M., Liciotti, D., Pietrini, R., Mancini, A., Frontoni, E.: Modelling and forecasting customer navigation in intelligent retail environments. J. Intell. Robot. Syst. Theory Appl. 91(2), 165\u2013180 (2018). www.scopus.com","journal-title":"Journal of Intelligent & Robotic Systems"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Biondi, A., Di Natale, M., Buttazzo, G.: Response-time analysis for real-time tasks in engine control applications. In: Proceedings of the ACM\/IEEE Sixth International Conference on Cyber-Physical Systems, pp. 120\u2013129. ACM (2015)","DOI":"10.1145\/2735960.2735963"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Buttazzo, G.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, vol. 24. Springer Science & Business Media, Berlin (2011)","DOI":"10.1007\/978-1-4614-0676-1"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Calvaresi, D., Marinoni, M., Sturm, A., Schumacher, M., Buttazzo, G.: The challenge of real-time multi-agent systems for enabling iot and cps. In: Proceedings of IEEE\/WIC\/ACM International Conference on Web Intelligence (WI 2017), August 2017","DOI":"10.1145\/3106426.3106518"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M Wooldridge","year":"1995","unstructured":"Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115\u2013152 (1995)","journal-title":"Knowl. Eng. Rev."},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"FL Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE, vol. 7. Wiley, Hoboken (2007)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Calvaresi, D., et al.: A framework based on real-time os and multi-agents for intelligent autonomous robot competitions. In: 2016 11th IEEE Symposium on Industrial Embedded Systems (SIES), pp. 1\u201310, May 2016","DOI":"10.1109\/SIES.2016.7509407"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Rajkumar, R.R., Lee, I., Sha, L., Stankovic, J.: Cyber-physical systems: the next computing revolution. In: Proceedings of the 47th Design Automation Conference, pp. 731\u2013736. ACM (2010)","DOI":"10.1145\/1837274.1837461"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"11","DOI":"10.18564\/jasss.2661","volume":"18","author":"K Kravari","year":"2015","unstructured":"Kravari, K., Bassiliades, N.: A survey of agent platforms. J. Artif. Soc. Soc. Simul. 18(1), 11 (2015)","journal-title":"J. Artif. Soc. Soc. Simul."},{"key":"8_CR14","unstructured":"Leon, M.G.F., Paprzycki, M.: A review of agent platforms. Technical report, ICT COST Action IC1404, Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS) (2015)"},{"key":"8_CR15","unstructured":"Chen, S., Tang, A., Stephens, P., Hsing-bung (HB) Chen: Simulation of multi-agent based scheduling algorithms for waiting-line queuing problems. Challenge, New Mexico Supercomputing (2012)"},{"key":"8_CR16","unstructured":"Luke, S., Cioffi-Revilla, C., Panait, L., Sullivan, K.: Mason: a new multi-agent simulation toolkit. In: Proceedings of the 2004 Swarmfest Workshop, pp. 316\u2013327. Department of Computer Science and Center for Social Complexity, George Mason University Fairfax, VA (2004)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/11750734_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"RH Bordini","year":"2006","unstructured":"Bordini, R.H., H\u00fcbner, J.F.: BDI agent programming in agentspeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143\u2013164. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11750734_9"},{"issue":"2","key":"8_CR18","first-page":"126","volume":"2","author":"C Yaashuwanth","year":"2010","unstructured":"Yaashuwanth, C., Ramesh, R.: Intelligent time slice for round robin in real time operating systems. IJRRAS 2(2), 126\u2013131 (2010)","journal-title":"IJRRAS"},{"key":"8_CR19","unstructured":"JADE - Programmer Manual. http:\/\/jade.tilab.com\/doc\/programmersguide.pdf . Accessed 24 Sep 2017"},{"key":"8_CR20","unstructured":"Braubach, L., Lamersdorf, W., Pokahr, A.: Implementing a bdi-infrastructure for jade agents, Jadex (2003)"},{"key":"8_CR21","unstructured":"Altmeyer, S., Manikandan Sundharam, S., Navet, N.: The case for fifo real-time scheduling. Technical report, University of Luxembourg (2016)"},{"key":"8_CR22","unstructured":"MASON - Manual. https:\/\/cs.gmu.edu\/~eclab\/projects\/mason\/manual.pdf . Accessed 24 Sep 2017"},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1007\/s11241-012-9166-9","volume":"49","author":"A Saifullah","year":"2013","unstructured":"Saifullah, A., Li, J., Agrawal, K., Lu, C., Gill, C.: Multi-core real-time scheduling for generalized parallel task models. Real-Time Syst. 49(4), 404\u2013435 (2013)","journal-title":"Real-Time Syst."},{"issue":"1","key":"8_CR24","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)","journal-title":"J. ACM (JACM)"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Biondi, A., Melani, A., Bertogna, M.: Hard constant bandwidth server: comprehensive formulation and critical scenarios. In: Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, pp. 29\u201337, June 2014","DOI":"10.1109\/SIES.2014.6871182"},{"issue":"1","key":"8_CR26","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/nav.3800210113","volume":"21","author":"WA Horn","year":"1974","unstructured":"Horn, W.A.: Some simple scheduling algorithms. Naval Res. Logist. (NRL) 21(1), 177\u2013185 (1974)","journal-title":"Naval Res. Logist. (NRL)"},{"key":"8_CR27","unstructured":"Dertouzos, M.L.: Control robotics: the procedural control of physical processes. In: Proceedings IFIP Congress (1974)"},{"key":"8_CR28","unstructured":"Foundation for Intelligent Physical Agents Standard. http:\/\/www.fipa.org\/ . Accessed 24 Sep 2017"},{"issue":"2","key":"8_CR29","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s11229-009-9557-1","volume":"169","author":"N Alechina","year":"2009","unstructured":"Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. Synthese 169(2), 385\u2013403 (2009)","journal-title":"Synthese"}],"container-title":["Lecture Notes in Computer Science","Multi-Agent Systems and Agreement Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-01713-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,4]],"date-time":"2026-04-04T05:30:42Z","timestamp":1775280642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-01713-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030017125","9783030017132"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-01713-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}