Paper Info
Title
A model analysis of a distributed monitoring system using a multi-formalism approach
Abstract
Automated applications for environmental monitoring are an important aid for security and safety of buildings and for civil (domotic) and industrial use. The relevance of such applications is sound, and ensuring a correct fulfilling of the mission goals implies the need for performability and dependability requirements. For reasons of cost, flexibility and efficiency, a good candidate architecture is based on mobile agents capable of real time operation on a network of intelligent sensors, in addition of normal monitoring tasks. Design and tuning of these systems is a very hard task. In this paper a multi-formalism approach based on model-checking techniques for Timed Automata and Timed Petri Nets is presented to model a real-time-mobile-agents based monitoring system. With this approach, different component of the system may be modeled by using the most suitable modeling formalism to cope with the need for modeling agent behaviors, real-time constraints and the load of the overall system.
Year
DOI
Venue
2004
10.1007/11558958_59
PARA
Keywords
Field
DocType
model analysis,agent behavior,dependability requirement,multi-formalism approach,timed petri nets,environmental monitoring,suitable modeling formalism,overall system,automated application,normal monitoring task,timed automata,intelligent sensor,real time,model checking,mobile agent
Dependability,Petri net,Intelligent sensor,Computer science,Mobile agent,Theoretical computer science,Home automation,Real-time operating system,Mobile architecture,Intelligent Network,Distributed computing,Embedded system
Conference
Volume
ISSN
ISBN
3732
0302-9743
3-540-29067-2
Citations 
PageRank 
References 
0
0.34
7
Authors
5
Name
Order
Citations
PageRank
Mauro Iacono126327.47
Stefano Marrone217425.49
Nicola Mazzocca367478.37
Francesco Moscato429832.28
valeria vittorini533933.14