Implementace stavových automatů v operačních systémech reálného času
Veřejná podpora
Poskytovatel
Grantová agentura České republiky
Program
Postdoktorandské granty
Veřejná soutěž
Postdoktorandské granty 9 (SGA02009GA1PD)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
102/09/P205
Alternativní jazyk
Název projektu anglicky
Implementation of automaton into real-time operating systems
Anotace anglicky
The goal of this grant project is to bridge area of control task's design and implementation in real-time operating system. Present difficulties of control system design techniques are based on fact that they were created for a computer hardware and software of the previous generation. Such design techniques necessarily cause a lot of implementation and design errors and produces malfunction system threating not only production itself but also humans. This project would like to develop automatic or semi-automatic system converting formal description of the control task into executable code running in 32-bits real-time operating system without human intervention. As a result, human resources will be concentrated more on the area of specification andverification than implementation; and this a way where todays area of informatics and cybernetics aims to go.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JC - Počítačový hardware a software
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>)
20206 - Computer hardware and architecture
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Cílem tohoto projektu bylo vytvořit nástroj pro automatickou implementaci stavových automatů v operačních systémech reálného času. Tento cíl byl splněn vytvořením systému, který umožňuje převést formální model řídicí úlohy do zdrojového kódu, který?
Termíny řešení
Zahájení řešení
1. 1. 2009
Ukončení řešení
31. 12. 2010
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
16. 4. 2010
Dodání dat do CEP
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
CEP11-GA0-GP-U/04:3
Datum dodání záznamu
20. 3. 2015
Finance
Celkové uznané náklady
818 tis. Kč
Výše podpory ze státního rozpočtu
818 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč