English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The article is devoted to the development of automated debugging software for parallel programs used in the analysis of the impact of mining on the ecology of the region using the MPI communication interface. The system combines the approaches of static analysis of the source code and automated control of correctness at runtime. Each approach implements a separate component of the system. An innovative idea embedded in the system is to determine the necessary checks in the patterns of erroneous behavior that the user can control by modifying the templates from the proposed set, adding their own or deleting ones that are not required. A system for describing patterns is described and several examples of formalizing errors are given. Some of the examples of errors are suitable for static analysis, while others are suitable for automated verification. The architecture and the general scheme of the automated debugging system on a computing cluster are presented. Another software project described in the article is an engineering computing portal. The portal is an expandable environment for a comprehensive study of the environmental problems of the region, integrating various services united by high-performance computing.

Development and debugging of MPI programs on the environmental research computing portal in the mining region