Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 8 (SGA02005GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

102/05/0723

Název projektu anglicky

A Framework for Formal Specifications and Prototyping of Information System's Network Applications

Anotace anglicky

The proposed project deals with front-end parts of networked, distributed system application designs. The project targets creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to small components embedded e.g. in mobile devices. Main attention will be focused both on architectural and behavioral specifications of either reactive or real-time activities utilizing either structured or object-oriented approach depending on application requirements. The project is not striving to develop a new formal approach; instead, it should create methods and techniques that enable to utilize current formal specification means in real-world applications. Specified requirements would cover both safety and security of applications including their interrelations. Knowledge-based support will be focused on reuse of verified formal specifications. The implementation and integration phases of the project will provide

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

CEP - vedlejší obor

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

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

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

Zhodnocení výsledků projektu

Projekt se týkal úvodních fází návrhu distribuovaných aplikací systémů založených na počítačových sítích a jeho cílem bylo vytvoření rámce pro formální specifikace, verifikace a prototypování síťových aplikací, které zahrnují jak rozsáhlé informační syst

Zahájení řešení

1. 1. 2005

Ukončení řešení

31. 12. 2007

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

2. 5. 2007

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

CEP08-GA0-GA-U/04:3

Datum dodání záznamu

16. 12. 2008

Celkové uznané náklady

1 740 tis. Kč

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

1 740 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč