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. © 2011 Springer-Verlag.
Cerotti, D., Barbierato, E., Gribaudo, M., A tool suite for modelling spatial interdependencies of distributed systems with Markovian agents, in EPEW 2011: Computer Performance Engineering, (Borrowdale, the English Lake District, 11-12 October 2011), Springer, Berlino 2011:<<LECTURE NOTES IN COMPUTER SCIENCE>>,6977 280-294. [10.1007/978-3-642-24749-1_21] [http://hdl.handle.net/10807/169888]
A tool suite for modelling spatial interdependencies of distributed systems with Markovian agents
Barbierato, Enrico;
2011
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. © 2011 Springer-Verlag.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
