A cellular automata model of the heart and its coupling with a qualitative model
Computers and Biomedical Research
Probability and statistics with reliability, queuing and computer science applications
Probability and statistics with reliability, queuing and computer science applications
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Fluid models for large-scale wireless sensor networks
Performance Evaluation
Analysis of On-off policies in Sensor Networks Using Interacting Markovian Agents
PERCOM '08 Proceedings of the 2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications
Computers and Operations Research
Graph Models of Critical Infrastructure Interdependencies
AIMS '07 Proceedings of the 1st international conference on Autonomous Infrastructure, Management and Security: Inter-Domain Management
Modelling Network Performance with a Spatial Stochastic Process Algebra
AINA '09 Proceedings of the 2009 International Conference on Advanced Information Networking and Applications
Disaster Propagation in Heterogeneous Media via Markovian Agents
Critical Information Infrastructure Security
A Tool for Network Reliability Analysis
SAFECOMP '07 Proceedings of the 26th International Conference on Computer Safety, Reliability, and Security
A Markovian agent model for fire propagation in outdoor environments
EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Markovian agent modeling swarm intelligence algorithms in wireless sensor networks
Performance Evaluation
Hi-index | 0.00 |
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.