Automatická analýza modelů pomocí procházení stavového prostoru

Název projektu anglicky
Automatic model analysis by state space exploration
Anotace anglicky
The project focuses on three types of modeling formalisms: extended finitemachines, system dynamics models, and agent based models. These models have applications in the design and verification of computer systems as well as in the study of complex systems. The theme of the project is an automatic analysis of these models by the state space exploration technique. This type of analysiscan provide more information about the model than simulation, which is usually used.The goal of the project is to createa database of models, study properties oftheir state spaces, develop novel techniques of analysis based on state space exploration, implement these techniques and experimentally evaluate them. Animportant part of the project is the effort to synthesise and transfer techniques developed in different application domains. Out puts of the project will be publicly available through project's internet portal.

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
Úspěšný postdoc projekt. Publikace v časopisech a zejm. sbornících recenzovaných mezinárodních konferencí. Součástí projektu je vytvoření veřejně dostupné databáze BEEM, která již byla citována více než 40 autory.

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
CEP10-GA0-GP-U/03:3
Datum dodání záznamu
1. 3. 2016

Podobné projekty(10)