TY - GEN
T1 - A tool suite for modelling spatial interdependencies of distributed systems with Markovian agents
AU - Cerotti, Davide
AU - Barbierato, Enrico
AU - Gribaudo, Marco
PY - 2011
Y1 - 2011
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84856561989&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-24749-1_21
DO - 10.1007/978-3-642-24749-1_21
M3 - Conference contribution
AN - SCOPUS:84856561989
SN - 9783642247484
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 280
EP - 294
BT - Computer Performance Engineering - 8th European Performance Engineering Workshop, EPEW 2011, Proceedings
T2 - 8th European Performance Engineering Workshop, EPEW 2011
Y2 - 12 October 2011 through 13 October 2011
ER -