FP7Реинтеграция2013–2017

CONAN · Model Checking and Synthesis for Concurrent Software

7РП — „Хора“ (Действия „Мария Кюри“)

Период: 2013-09-01 → 2017-08-31
Финансиране от ЕС: 100 000 €
Участници: 1
Схема: MC-IRG

Линиите свързват координатора с партньорите.

Накратко на български

Методите за анализ и създаване на паралелен софтуер, при който множество процеси работят едновременно, се изследват чрез нови инструменти за проверка. Това е важно, защото грешките в такива програми са трудни за откриване и повторени за тестване.

Този кратък обзор е генериран от изкуствен интелект

Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.

Цел на проекта

Methods for systems and software engineering have steadily improved, but are being outrun by rapidly increasing system complexity. Much of this complexity is caused by the increasing parallelism (concurrency) and ubiquity (embeddedness) of systems. In this project, called ConAn (for CONcurrency ANalysis), we focus on design and analysis methods for concurrent software.Concurrent programming is the area of software development where even experts make subtle programming errors. Furthermore, concurrent programs are difficult to debug and test, because their behavior is nondeterministic and therefore irreproducible. We will focus on three specific areas: first, we will develop a verification tool for concurrent data structure implementations. Second, we will leverage the verification models and algorithms to develop synthesis methods for concurrent programs which are correct by construction. Third, we will develop a morequantitative analysis based on a flexible performance model for concurrent programs which is suitable for formal analysis of programs, as well as theory, algorithms and tools based on this model. The model will allow us to make the output of the verification tool more informative and to synthesize concurrent programs with better performance.

Оригинален текст от CORDIS (на английски).

Участници

UNIVERZITA KOMENSKEHO V BRATISLAVE · BRATISLAVA 1КоординаторСловакия

Връзки

Виж в CORDIS