Vývoj systémů založený na modelech

Poskytovatel

Grantová agentura České republiky

Program

Postdoktorandské granty

Veřejná soutěž

Postdoktorandské granty 7 (SGA02007GA1PD)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

102/07/P306

Název projektu anglicky

Model Based System Development

Anotace anglicky

The significant characteristic of current software systems is their growing complexity. Therefore the actual research of the software systems development is focused on increasing the development process effectivity, but also on the system reliability. One of the auspicious approaches is an application of the high-level formal models and the theory of modelling and simulation. The key idea is to model software systems by such means that there is a possibility to verify models in a simple way and to movefluently from models to the goal application. This project deals with the basic research in the area of the advanced modelling and simulation techniques in the software system development. In particular it concerns with the integration of high-levelmodels, with the integration of models and the application environment, and with the possibility to use models in association with the metalevel architectures in the adaptive software development. The project is a follow-up to the experiences and the

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

—

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>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt byl zaměřen na vývoj softwarových systémů s využitím formálních modelů. Při vývoji byla použita koncepce víceúrovňového modelování, multimodelování, metamodelování a propojování etap návrhu, testování a nasazení. Byla navržena metaúrovňová archi?

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-GP-U/03:3

Datum dodání záznamu

1. 3. 2016

Celkové uznané náklady

664 tis. Kč

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

664 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč