Vývoj systémů založený na modelech
Cíle projektu
Podstatným rysem současných softwarových systémů je jejich rostoucí složitost. V oblasti vývoje těchto systémů je proto v popředí zájmu jednak zvyšování efektivity vývojového procesu, ale také zvyšování spolehlivosti vyvíjených systémů. Jedním z aktivněrozvíjených přístupů je aplikace vysokoúrovňových formálních modelů a teorie modelování a simulace. Klíčovou myšlenkou je modelovat softwarové systémy takovými prostředky, které umožňují jednoduchý a spolehlivý způsob ověřování modelů a plynulý přechod od modelů k cílové aplikaci. Navrhovaný projekt je zaměřen na základní výzkum v oblasti pokročilých modelovacích a simulačních technik ve vývoji softwarových systémů. Zejména se zaměřuje na integraci vybraných typů vysokoúrovňových modelů, na integraci modelů a aplikačního prostředí a na možnosti využití modelů ve spojení s metaúrovňovými architekturami ve vývoji adaptivního softwaru. Projekt navazuje na zkušenosti a výsledky, které již pracoviště navrhovatele v této oblasti získalo.
Klíčová slova
Veřejná podpora
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
Alternativní jazyk
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
Vědní obory
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
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
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
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?
Termíny řešení
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
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
CEP10-GA0-GP-U/03:3
Datum dodání záznamu
1. 3. 2016
Finance
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č
Základní informace
Uznané náklady
664 tis. Kč
Statní podpora
664 tis. Kč
100%
Poskytovatel
Grantová agentura České republiky
CEP
JC - Počítačový hardware a software
Doba řešení
01. 01. 2007 - 31. 12. 2009