Abstract
Distributed systems are characterized by a large number of similar interconnected objects that cooperate by exchanging messages. Practical application of such systems can be found in computer systems, sensor networks, and in particular in critical infrastructures. Though formalisms like Markovian Agents provide a formal support to describe these systems and evaluate related performance indices, very few tools are currently available to define models in such languages, moreover they do not provide generally specific functionalities to ease the definition of the locations of the interacting components. This paper presents a prototype tool suite capable of supporting the study of the number of hops and the transmission delay in a critical infrastructure.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Anastasiou, N., Horng, T.-C., Knottenbelt, W.: Deriving generalised stochastic petri net performance models from high-precision location tracking data. In: Proceedings of the ValueTools 2011, ValueTools 2011. IEEE, Los Alamitos (2011)
Batagelj, V., Mrvar, A.: Pajek - analysis and visualization of large networks. In: Graph Drawing Software, pp. 77–103. Springer, Heidelberg (2003)
Bobbio, A., Bonanni, G., Ciancamerla, E., Clemente, R., Iacomini, A., Minichino, M., Scarlatti, A., Terruggia, R., Zendri, E.: Unavailability of critical SCADA communication links interconnecting a power grid and a telco network. Reliability Engineering and System Safety 95, 1345–1357 (2010)
Bobbio, A., Cerotti, D., Gribaudo, M.: Presenting dynamic markovian agents with a road tunnel application. In: MASCOTS 2009. IEEE-CS, Los Alamitos (2009)
Bobbio, A., Terruggia, R., Boellis, A., Ciancamerla, E., Minichino, M.: A tool for network reliability analysis. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol. 4680, pp. 417–422. Springer, Heidelberg (2007)
Bonanni, G., Ciancamerla, E., Minichino, M., Clemente, R., Iacomini, A., Scarlatti, A., Zendri, E., Terruggia, R.: Exploiting stochastic indicators of interdependent infrastructures: the service availability of interconnected networks. In: Safety, Reliability and Risk Analysis: Theory, Methods and Applications, vol. 3. Taylor & Francis, Abington (2009)
Bruneo, D., Scarpa, M., Bobbio, A., Cerotti, D., Gribaudo, M.: Markovian agent modeling swarm intelligence algorithms in wireless sensor networks. Performance Evaluation (in press, corrected proof: 2011)
Cerotti, D.: Interacting Markovian Agents. PhD thesis, Universita degli Studi di Torino (2010)
Cerotti, D., Gribaudo, M., Bobbio, A.: Disaster propagation in heterogeneous media via markovian agents. In: Setola, R., Geretshuber, S. (eds.) CRITIS 2008. LNCS, vol. 5508, pp. 328–335. Springer, Heidelberg (2009)
Cerotti, D., Gribaudo, M., Bobbio, A., Calafate, C.T., Manzoni, P.: A markovian agent model for fire propagation in outdoor environments. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol. 6342, pp. 131–146. Springer, Heidelberg (2010)
Chiasserini, C.F., Gaeta, R., Garetto, M., Gribaudo, M., Manini, D., Sereno, M.: Fluid models for large-scale wireless sensor networks. Performance Evaluation 64(7-8), 715–736 (2007)
European commission (2006), http://europa.eu/rapid/pressReleasesAction.do?reference=MEMO/06/477
Dunn, A.: A model of wildfire propagation using the interacting spatial automata formalism. PhD thesis, University of Western Australia (2007)
Galpin, V.: Modelling network performance with a spatial stochastic process algebra. In: International Conference on Advanced Information Networking and Applications, pp. 41–49 (2009)
Di Gregorio, S., Rongo, R., Serra, R., Spataro, W., Spezzano, G., Talia, D., Villani, M.: Parallel simulation of soil contamination by cellular automata. In: Parcella, pp. 295–297 (1996)
Gribaudo, M., Cerotti, D., Bobbio, A.: Analysis of on-off policies in sensor networks using interacting markovian agents. In: PerCom, pp. 300–305 (2008)
Gribaudo, M., Raiteri, D.C., Franceschinis, G.: Drawnet, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. In: QEST, pp. 257–258 (2005)
DrawNet Project (2011), http://www.drawnet.com
Jimnez, A., Posadas, A.M.: A moore’s cellular automaton model to get probabilistic seismic hazard maps for different magnitude releases: A case study for greece. Tectonophysics 423(1-4), 35–42 (2006)
Matisziw, T.C., Murray, A.T.: Modeling s-t path availability to support disaster vulnerability assessment of network infrastructure. Comput. Oper. Res. 36, 16–26 (2009)
Neumann, J.V.: Theory of Self-Reproducing Automata. University of Illinois Press, Champaign (1966)
Opper, M., Saad, D.: Advanced Mean Field Methods: Theory and Practice. MIT University Press, Cambridge (2001)
Siregar, P., Sinteff, J.P., Chahine, M., Lebeux, P.: A cellular automata model of the heart and its coupling with a qualitative model. Comput. Biomed. Res. 29(3), 222–246 (1996)
Svendsen, N.K., Wolthusen, S.D.: Graph Models of Critical Infrastructure Interdependencies. In: Bandara, A.K., Burgess, M. (eds.) AIMS 2007. LNCS, vol. 4543, pp. 208–211. Springer, Heidelberg (2007)
Trivedi, K.S.: Probability and statistics with reliability, queuing and computer science applications, 2nd edn., pp. 215–217. John Wiley and Sons Ltd., Chichester (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cerotti, D., Barbierato, E., Gribaudo, M. (2011). A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents. In: Thomas, N. (eds) Computer Performance Engineering. EPEW 2011. Lecture Notes in Computer Science, vol 6977. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24749-1_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-24749-1_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24748-4
Online ISBN: 978-3-642-24749-1
eBook Packages: Computer ScienceComputer Science (R0)