Abstract
The work described in this paper develops a control framework for modelling and analysis of parallel/distributed time-dependent multi-agent systems. The approach centres on a minimal computational model which separates agent behaviours from schedulable actions which model activities which have a time duration and require specific processing units. Different control strategies ranging from pure concurrent to time sensitive (real-time or simulated-time) can be considered and applied as a plug-in to a multi-agent system. The control framework is tailored to the JADE distributed agent infrastructure, which lacks of any built-in solution for developing time-dependent applications. This paper focusses on the achievement of control strategies for schedulability analysis of embedded real-time systems designed to execute on a multicore/distributed context. As a case study, a real-time tasking set is modelled and analyzed through simulation, which requires flexible computational resources.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bellifemine, F., Caire, G., Greenwood, D.: Developing multi-agent systems with JADE. John Wiley & Sons (2007)
Jade, http://jade.tilab.com (accessed on June 2014)
Agha, G.: Actors: a model of concurrent computation in distributed systems. MIT Press, Cambridge (1986)
Fipa, foundation for intelligent physical agents, http://www.fipa.org (accessed on June 2014)
Wooldridge, M.: An introduction to multi-agent systems, 2nd edn. John Wiley & Sons (2009)
Carzaniga, A., Picco, G.P., Vigna, G.: Agent.gui: A multi-agent based simulation framework. In: Proc. of FedCSIS 2011, pp. 623–630 (2011)
Gianni, D., Loukas, G., Gelenbe, E.: A simulation framework for the investigation of adaptive behaviours in largely populated building evacuation scenarios. In: Proc. of OAMAS, pp. 1–15 (2008)
Wang, F., Turner, S.J., Wang, L.: Agent communication in distributed simulations. In: Davidsson, P., Logan, B., Takadama, K. (eds.) MABS 2004. LNCS (LNAI), vol. 3415, pp. 11–24. Springer, Heidelberg (2005)
Pawlaszyk, D., Strassburger, S.: A synchronization protocol for distributed agent-based simulations with constrained optimism. In: Proc. of ESM 2009, pp. 337–341 (2009)
Cicirelli, F., Furfaro, A., Nigro, L.: An agent infrastructure over HLA for distributed simulation of reconfigurable systems and its application to UAV coordination. Trans. of SCS SIMULATION 85(1), 17–32 (2009)
Cicirelli, F., Giordano, A., Nigro, L.: Efficient environment management for distributed simulation of large-scale situated multi-agent systems. In: Concurrency and Computation: Practice and Experience (2014), doi:10.1002/cpe.3254
Cicirelli, F., Furfaro, A., Nigro, L.: Modelling and simulation of complex manufacturing systems using statechart-based actors. Simulation Modelling Practice and Theory 19(2), 685–703 (2011)
Cicirelli, F., Nigro, L., Pupo, F.: Agent-based control framework in JADE. In: 28st European Conf. on Modelling and Simulation, Brescia, pp. 25–31 (May 2014)
Cicirelli, F., Nigro, L.: A control framework for model continuity in JADE. In: Proc. of the IEEE/ACM 18th Intl. Symp. DS-RT (to appear, 2014)
Brekling, A.W., Hansen, M.R., Madsen, J.: Models and formal verifications of multiprocessor system-on-chips. The J. of Logic and Algebraic Prog. 77, 1–19 (2008)
Bucci, G., Fedeli, A., Sassoli, L., Vicario, E.: Timed state space analysis of real-time preemptive systems. IEEE Trans. on Soft. Eng. 30(2), 97–111 (2004)
Carnevali, L., Ridi, L., Vicario, E.: Putting preemptive time petri nets to work in a v-model sw lifecycle. IEEE Trans. on Soft. Eng. 37(6), 826–844 (2011)
Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. Int’l J. Software Tools for Technology Transfer 12(5), 391–403 (2010)
Cicirelli, F., Angelo, F., Nigro, L., Pupo, F.: Development of a schedulability analysis framework based on PTPN and Uppaal with stopwatches. In: Proc. of 16th IEEE/ACM Intl. Symp. DS-RT 2012, pp. 57–64 (2012)
Behrmann, G., David, A., Larsen, K.G.: A tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200–236. Springer, Heidelberg (2004)
David, A., Illum, J., Larsen, K.G., Skou, A.: Model-based framework for schedulability analysis using Uppaal 4.1. In: Model-Based Design for Embedded Systems, ch. 3, pp. 93–120. CRC Press (2009)
Fujimoto, R.M.: Parallel and distributed simulation systems. John Wiley (2000)
Andersson, B., Jonsson, J.: Preemptive multiprocessor scheduling anomalies. In: Proc. of the 16th IEEE Int. Parallel and Dist. Proc. Symp., pp. 12–19 (2002)
Silva de Oliveria, R., Carminati, A., Starke, R.A.: On using adversary simulators to evaluate global fixed-priority and FPZL scheduling of multiprocessors. The Journal of Systems and Software 86, 403–411 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cicirelli, F., Nigro, L. (2014). Modelling and Analysis of Parallel/Distributed Time-dependent Systems: An Approach Based on JADE. In: Fortino, G., Di Fatta, G., Li, W., Ochoa, S., Cuzzocrea, A., Pathan, M. (eds) Internet and Distributed Computing Systems. IDCS 2014. Lecture Notes in Computer Science, vol 8729. Springer, Cham. https://doi.org/10.1007/978-3-319-11692-1_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-11692-1_18
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11691-4
Online ISBN: 978-3-319-11692-1
eBook Packages: Computer ScienceComputer Science (R0)