Abstract
Multi-Agent Systems (MAS) have been supporting the development of distributed systems performing decentralized thinking and reasoning, automated actions, and regulating component interactions in unpredictable and uncertain scenarios. Despite the scientific literature is plenty of innovative contributions about resource and tasks allocation, the agents still schedule their behaviors and tasks by employing traditional general-purpose scheduling algorithms. By doing so, MAS are unable to enforce the compliance with strict timing constraints. Thus, it is not possible to provide any guarantee about the system behavior in the worst-case scenario. Thereby, as they are, they cannot operate in safety-critical environments. This paper analyzes the agents’ local schedulers provided by the most relevant agent-based frameworks from a cyber-physical systems point of view. Moreover, it maps a set of agents’ behaviors on task models from the real-time literature. Finally, a practical case-study is provided to highlight how such “MAS reliability” can be achieved.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The fraction of processor time spent in the execution of the task set [7].
References
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–257 (2017)
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–20:4 (2014)
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)
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–5042. IEEE (2002)
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–180 (2018). www.scopus.com
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–129. ACM (2015)
Buttazzo, G.: Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, vol. 24. Springer Science & Business Media, Berlin (2011)
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
Wooldridge, M., Jennings, N.R.: Intelligent agents: theory and practice. Knowl. Eng. Rev. 10(2), 115–152 (1995)
Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE, vol. 7. Wiley, Hoboken (2007)
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–10, May 2016
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–736. ACM (2010)
Kravari, K., Bassiliades, N.: A survey of agent platforms. J. Artif. Soc. Soc. Simul. 18(1), 11 (2015)
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)
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)
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–327. Department of Computer Science and Center for Social Complexity, George Mason University Fairfax, VA (2004)
Bordini, R.H., Hübner, J.F.: BDI agent programming in agentspeak using Jason. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 143–164. Springer, Heidelberg (2006). https://doi.org/10.1007/11750734_9
Yaashuwanth, C., Ramesh, R.: Intelligent time slice for round robin in real time operating systems. IJRRAS 2(2), 126–131 (2010)
JADE - Programmer Manual. http://jade.tilab.com/doc/programmersguide.pdf. Accessed 24 Sep 2017
Braubach, L., Lamersdorf, W., Pokahr, A.: Implementing a bdi-infrastructure for jade agents, Jadex (2003)
Altmeyer, S., Manikandan Sundharam, S., Navet, N.: The case for fifo real-time scheduling. Technical report, University of Luxembourg (2016)
MASON - Manual. https://cs.gmu.edu/~eclab/projects/mason/manual.pdf. Accessed 24 Sep 2017
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–435 (2013)
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM (JACM) 20(1), 46–61 (1973)
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–37, June 2014
Horn, W.A.: Some simple scheduling algorithms. Naval Res. Logist. (NRL) 21(1), 177–185 (1974)
Dertouzos, M.L.: Control robotics: the procedural control of physical processes. In: Proceedings IFIP Congress (1974)
Foundation for Intelligent Physical Agents Standard. http://www.fipa.org/. Accessed 24 Sep 2017
Alechina, N., Logan, B., Nguyen, H.N., Rakib, A.: Verifying time, memory and communication bounds in systems of reasoning agents. Synthese 169(2), 385–403 (2009)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Calvaresi, D. et al. (2018). Local Scheduling in Multi-Agent Systems: Getting Ready for Safety-Critical Scenarios. In: Belardinelli, F., Argente, E. (eds) Multi-Agent Systems and Agreement Technologies. EUMAS AT 2017 2017. Lecture Notes in Computer Science(), vol 10767. Springer, Cham. https://doi.org/10.1007/978-3-030-01713-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-01713-2_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01712-5
Online ISBN: 978-3-030-01713-2
eBook Packages: Computer ScienceComputer Science (R0)