scholarly journals Exploring parallel formal verification of BIG-DATA systems

2021 ◽  
pp. 7-18
Author(s):  
Fernando Asteasuain ◽  
Luciana Rodriguez Caldeira

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.

Author(s):  
В. Перов ◽  
V. Perov ◽  
Е. Кличева ◽  
E. Klicheva

The article explored the practice of applying information technology in controlling and counting of municipal bodies. The information on information systems for automation document flow between control and counting bodies and municipalities; perform supervisory powers control and accounting bodies; process for the preparation of consolidated accounts and audit of procurementis compiled and analyzed. On the one hand, the development of information technologies,including the use of “big data” systems and artificial intelligence allows you to withdraw municipal controlling and counting bodies at a qualitatively new level, going from penalties to prevent violations and application of risk-management tools. On the other hand, it requires the solution of new tasks. The authors give proposals to improve the application of municipal software controlling and counting bodies in order to improve the effectiveness of financial controls, maintaining sustainable economic development and social stability of the municipalities.


2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Mohammed Anouar Naoui ◽  
Brahim Lejdel ◽  
Mouloud Ayad ◽  
Abdelfattah Amamra ◽  
Okba kazar

PurposeThe purpose of this paper is to propose a distributed deep learning architecture for smart cities in big data systems.Design/methodology/approachWe have proposed an architectural multilayer to describe the distributed deep learning for smart cities in big data systems. The components of our system are Smart city layer, big data layer, and deep learning layer. The Smart city layer responsible for the question of Smart city components, its Internet of things, sensors and effectors, and its integration in the system, big data layer concerns data characteristics 10, and its distribution over the system. The deep learning layer is the model of our system. It is responsible for data analysis.FindingsWe apply our proposed architecture in a Smart environment and Smart energy. 10; In a Smart environment, we study the Toluene forecasting in Madrid Smart city. For Smart energy, we study wind energy foresting in Australia. Our proposed architecture can reduce the time of execution and improve the deep learning model, such as Long Term Short Memory10;.Research limitations/implicationsThis research needs the application of other deep learning models, such as convolution neuronal network and autoencoder.Practical implicationsFindings of the research will be helpful in Smart city architecture. It can provide a clear view into a Smart city, data storage, and data analysis. The 10; Toluene forecasting in a Smart environment can help the decision-maker to ensure environmental safety. The Smart energy of our proposed model can give a clear prediction of power generation.Originality/valueThe findings of this study are expected to contribute valuable information to decision-makers for a better understanding of the key to Smart city architecture. Its relation with data storage, processing, and data analysis.


Sign in / Sign up

Export Citation Format

Share Document