The growing availability of distributed and cloud computing frameworks makes it possible to face complex computational problems in a more effective and convenient way. A notable example is state-space exploration of discrete-event systems specified in a formal way. The exponential complexity of this task is a major limitation to the usage of consolidated analysis techniques and tools. Several techniques for addressing the state space explosion problem within this context have been studied in the literature. One of these is to use distributed memory and computation to deal with the state space explosion problem. In this paper we study and compare two different approaches, relying on distributed and cloud frameworks, respectively. These approaches were designed and implemented following the same computational schema, a sort of map & fold. They are applied on symbolic state- space exploration of real-time systems specified by (a timed extension of) Petri Nets, by re-adapting a sequential algorithm implemented as a command-line Java tool. The outcome of several tests performed on a benchmarking specification are presented, thus showing the convenience of cloud approaches.
Symbolic state space exploration of RT systems in the cloud / C. Bellettini, M. Camilli, L. Capra, M. Monga - In: Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2012 14th International Symposium on / [a cura di] A. Voronkov, V. Negru, T. Ida, T. Jebelean, D. Petcu, S. Watt, D. Zaharie. - Los Alamitos : IEEE, 2012. - ISBN 9780769549347. - pp. 295-302 (( Intervento presentato al 14. convegno International symposium on symbolic and numeric algorithms for scientific computing (SYNASC) tenutosi a Timisoara nel 2012 [10.1109/SYNASC.2012.18].
Symbolic state space exploration of RT systems in the cloud
C. Bellettini
;M. CamilliSecondo
;L. CapraPenultimo
;M. MongaUltimo
2012
Abstract
The growing availability of distributed and cloud computing frameworks makes it possible to face complex computational problems in a more effective and convenient way. A notable example is state-space exploration of discrete-event systems specified in a formal way. The exponential complexity of this task is a major limitation to the usage of consolidated analysis techniques and tools. Several techniques for addressing the state space explosion problem within this context have been studied in the literature. One of these is to use distributed memory and computation to deal with the state space explosion problem. In this paper we study and compare two different approaches, relying on distributed and cloud frameworks, respectively. These approaches were designed and implemented following the same computational schema, a sort of map & fold. They are applied on symbolic state- space exploration of real-time systems specified by (a timed extension of) Petri Nets, by re-adapting a sequential algorithm implemented as a command-line Java tool. The outcome of several tests performed on a benchmarking specification are presented, thus showing the convenience of cloud approaches.File | Dimensione | Formato | |
---|---|---|---|
symbolicStateSpaceExplorationofRTSystemsInTheCloud.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
780.24 kB
Formato
Adobe PDF
|
780.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.