Verifikace a analýza velmi velkých počítačových systémů

Název projektu anglicky
Verification and Analysis of Large-Scale Computer Systems
Anotace anglicky
The main objective of the project is to create a theoretical and methodological base for computer-aided and automatic verification and analysis of computer systems. The project aims to support the development of methodologies, technologies and tools of software engineering in automatic and computer-aided verification and analysis. The project is to contribute to the research into new technologies for a realistic modelling of large-scale software systems, especially with respect to their safety. The aimis to design effective implementations of these models as well as efficient verification technologies based on such models. The project will focus on large-scale distributed and parallel systems. Taking into consideration the complexity of verification processes, the mainaim is to design methodologies that will make the maximum possible use of new information technologies, such as parallel and distributed computing and hierarchical memories.

Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
IN - Informatika
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Řešení projektu proběhlo výtečně, jak z hlediska odborného tak i z hlediska čerpání finančních prostředků.

Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP12-GA0-GA-U/02:2
Datum dodání záznamu
2. 5. 2016

Podobné projekty(10)