A Framework for Formal Specifications and Prototyping of Information System's Network Applications
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 8 (SGA02005GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
102/05/0723
Alternative language
Project name in Czech
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů
Annotation in Czech
Předkládaný projekt se týká úvodních fází návrhu distribuovaných aplikací systémů založených na počítačových sítích. Cílem projektu je vytvoření rámce pro formální specifikace, verifikace a prototypování síťových aplikací, které zahrnou jak rozsáhlé informační systémy, tak i malé komponenty vestavěné např. do mobilních zařízení. Hlavní pozornost bude zaměřena jak na specifikace architektury, tak i reaktivního chování a chování v reálném čase užitím strukturovaného nebo objektově-orientovaného přístupu vzávislosti na požadavcích aplikací. Cílem projektu nebude vyvíjet nový formální aparát, ale vytvořit metody a techniky, které umožní využít existující prosředky formálních specifikací v reálných aplikacích. Specifikované požadavky zahrnou bezpečnost (safety) a zabezpečení (security) aplikací včetně jejich vzájemných souvislostí. Znalostní podpora návrhu bude zaměřena na oblast opakovaného využití verifikovaných specifikací. Implementační a integrační fáze projektu poskytne pilotní verze
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
JD - Use of computers, robotics and its application
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project dealt with front-end parts of networked, distributed system application designs and it targeted creation of a formal specification, verification and prototyping framework for network applications ranging from large information systems down to
Solution timeline
Realization period - beginning
Jan 1, 2005
Realization period - end
Dec 31, 2007
Project status
U - Finished project
Latest support payment
May 2, 2007
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP08-GA0-GA-U/04:3
Data delivery date
Dec 16, 2008
Finance
Total approved costs
1,740 thou. CZK
Public financial support
1,740 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK