Exploring parallel formal verification of BIG-DATA systems

dc.creatorAsteasuain, Fernando
dc.creatorRodriguez Caldeira, Luciana
dc.date2021-12-20
dc.date.accessioned2022-12-20T18:17:55Z
dc.date.available2022-12-20T18:17:55Z
dc.identifierhttps://dspace.palermo.edu/ojs/index.php/cyt/article/view/4549
dc.identifier10.18682/cyt.vi21.4549
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/5418356
dc.descriptionSoftware Engineering is trying to adapt its tools, mechanisms and techniques to cope with the challenges involved when developing BIG DATA software systems. In particular, formal verification in one of the areas that more urgently is required to step in. In this work we introduce two crucial aspects to consolidate the FVS tool to tackle this issue. For one side, FVS’s parallel algorithm is proved to be sound and correct. For the other side, we developed a compelling empirical validation of our approach, employing a communication protocol relevant in the industrial world within a context of parallel systems, introducing a load-balancer process and comparing several implementations.en-US
dc.descriptionLa Ingeniería de Software viene adaptando sus herramientas, métodos y técnicas para enfrentar los desafíos de los denominados sistemas de BIG-DATA. En particular, el área de verificación formal ha sido señalada como unas de las áreas de las que se requiere inmediatas contribuciones. En este trabajo se presentan aspectos claves para consolidar al lenguaje FVS como un lenguaje de verificación formal para BIG DATA. Por un lado se presenta una demostración formal de la correctitud del esquema paralelo de FVS. Por otro, se presenta una desafiante validación empírica del enfoque propuesto utilizando un protocolo relevante a nivel industrial con un balanceador de carga y comparando varias implementaciones.es-ES
dc.formatapplication/pdf
dc.languagespa
dc.publisherUniversidad de Palermoes-ES
dc.relationhttps://dspace.palermo.edu/ojs/index.php/cyt/article/view/4549/8123
dc.rightsDerechos de autor 2021 Ciencia y Tecnologíaes-ES
dc.sourceCiencia y Tecnología; Ciencia y Tecnología 21; 7-18en-US
dc.sourceCiencia y Tecnología; Ciencia y Tecnología 21; 7-18es-ES
dc.source2344-9217
dc.source1850-0870
dc.source10.18682/cyt.vi21
dc.subjectformal verificationen-US
dc.subjectbig dataen-US
dc.subjectparallel algorithmsen-US
dc.subjectmodel checkingen-US
dc.subjectSoftware Engineeringen-US
dc.subjectverificación formales-ES
dc.subjectbig dataes-ES
dc.subjectalgoritmos paraleloses-ES
dc.subjectmodel checkinges-ES
dc.subjectIngeniería de Softwarees-ES
dc.titleExploring parallel formal verification of BIG-DATA systemsen-US
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typeArticlesen-US
dc.typeArtículoses-ES


Este ítem pertenece a la siguiente institución