Automated applications for environmental monitoring are an important aid for security and safety of buildings and for civil (domotic) and industrial use. In this paper a multiformalism 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.

Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach / Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria. - STAMPA. - LNCS 3732:(2006), pp. 499-508. [10.1007/11558958]

Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach

MAZZOCCA, NICOLA;MOSCATO, FRANCESCO;VITTORINI, VALERIA
2006

Abstract

Automated applications for environmental monitoring are an important aid for security and safety of buildings and for civil (domotic) and industrial use. In this paper a multiformalism 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.
2006
9783540290674
Model Analysis of a Distributed Monitoring System Using a Multi-formalism Approach / Iacono, M.; Marrone, S.; Mazzocca, Nicola; Moscato, Francesco; Vittorini, Valeria. - STAMPA. - LNCS 3732:(2006), pp. 499-508. [10.1007/11558958]
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/115683
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact