Open AccessExploring parallel formal verification of BIG-DATA systems
Author(s) -
Fernando Asteasuain,
Luciana Rodríguez Caldeira
Publication year - 2021
Publication title -
ciencia y tecnología/revista de ciencia y tecnología
Language(s) - English
Resource type - Journals
eISSN - 2344-9217
pISSN - 1850-0870
DOI - 10.18682/cyt.vi21.4549
Subject(s) - computer science , implementation , context (archaeology) , software engineering , formal methods , process (computing) , big data , protocol (science) , formal verification , software , distributed computing , programming language , data mining , medicine , paleontology , alternative medicine , pathology , biology
Software 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.