Addressing the state explosion problem for big data systems formal verification

The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the state explosion problem arises as one of the most problematic issues to be face...

Descripción completa

Detalles Bibliográficos
Autor principal: Asteasuain, Fernando
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2023
Materias:
Ciencias Informáticas
Formal verification
BIG DATA Systems
State Explosion
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/164907
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-164907
record_format dspace
spelling I19-R120-10915-1649072024-04-16T20:02:33Z http://sedici.unlp.edu.ar/handle/10915/164907 Addressing the state explosion problem for big data systems formal verification Asteasuain, Fernando 2023-10 2024 2024-04-16T17:24:58Z en Ciencias Informáticas Formal verification BIG DATA Systems State Explosion The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the state explosion problem arises as one of the most problematic issues to be faced against. Some approaches have leveraged on some architectural patterns used in BIG DATA system development, especially those focused on the MAP-REDUCE architecture. Taking this into consideration in this work we present VG-FVS, a new version of our framework FVS (Feather weight Visual Scenarios), which is specially developed to address the state explosion problem. This is achieved by integrating FVS with MaRDiGraS, a generic library which eases the state space exploration using a MAP-REDUCE software architecture. Empirical validation analyzing BIG DATA systems was carried on, showing promising results for our approach. Red de Universidades con Carreras en Informática Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 279-288
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Formal verification
BIG DATA Systems
State Explosion
spellingShingle Ciencias Informáticas
Formal verification
BIG DATA Systems
State Explosion
Asteasuain, Fernando
Addressing the state explosion problem for big data systems formal verification
topic_facet Ciencias Informáticas
Formal verification
BIG DATA Systems
State Explosion
description The formal verification of BIG DATA systems remains as a challenging task to be addressed since a very large and complex state space describing the behavior of the system must be explored and verified. In particular, the state explosion problem arises as one of the most problematic issues to be faced against. Some approaches have leveraged on some architectural patterns used in BIG DATA system development, especially those focused on the MAP-REDUCE architecture. Taking this into consideration in this work we present VG-FVS, a new version of our framework FVS (Feather weight Visual Scenarios), which is specially developed to address the state explosion problem. This is achieved by integrating FVS with MaRDiGraS, a generic library which eases the state space exploration using a MAP-REDUCE software architecture. Empirical validation analyzing BIG DATA systems was carried on, showing promising results for our approach.
format Objeto de conferencia
Objeto de conferencia
author Asteasuain, Fernando
author_facet Asteasuain, Fernando
author_sort Asteasuain, Fernando
title Addressing the state explosion problem for big data systems formal verification
title_short Addressing the state explosion problem for big data systems formal verification
title_full Addressing the state explosion problem for big data systems formal verification
title_fullStr Addressing the state explosion problem for big data systems formal verification
title_full_unstemmed Addressing the state explosion problem for big data systems formal verification
title_sort addressing the state explosion problem for big data systems formal verification
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/164907
work_keys_str_mv AT asteasuainfernando addressingthestateexplosionproblemforbigdatasystemsformalverification
_version_ 1807222942570905600

Ejemplares similares