Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 10 (SGA02007GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

102/07/0322

Název projektu anglicky

Advanced Formal Approaches in the Design and Verification of Computer-Based Systems

Anotace anglicky

High-level design and formal verification are promising approaches for improving reliability and safety of computer systems. This project is proposed by the highly experienced team with the expressive results and the international cooperation with the prestigious research teams. The project aims to explore and use advanced formal approaches from the fields like system theory, logics, theoretical computer science, and artificial intelligence in the area of the high-level design and formal verification.Webelieve that these approaches can significantly improve the verification abilities, especially in the cases on which the brute-force approach does not succeed. The proposed research project covers complementary methods, i.e., the model-driven design, the simulation-based verification, and the model checking of finite-state as well as infinite-state systems. The research should result in developing new approaches and methods with unique properties. These methods will be validated by the prototype

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

IN - Informatika

CEP - další vedlejší obor

JD - Využití počítačů, robotika a její aplikace

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)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

V - Vynikající výsledky projektu (s mezinárodním významem atd.)

Zhodnocení výsledků projektu

Byl realizován výzkum nových metod automatizovaného, počítačem podporovaného návrhu a verifikace počítačových systémů s důrazem na maximální využití pokročilých formálních příistupů nabízených matematikou, teoretickou informatikou a umělou inteligencí -?

Zahájení řešení

1. 1. 2007

Ukončení řešení

31. 12. 2009

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

22. 4. 2009

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-GA-U/02:2

Datum dodání záznamu

22. 1. 2015

Celkové uznané náklady

2 367 tis. Kč

Výše podpory ze státního rozpočtu

2 367 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč