A Framework for Formal Specifications and Prototyping of Information System's Network Applications
Project goals
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
Keywords
formal specificationsverificationrapid prototypinginformation systemscomputer networks
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
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
20204 - Robotics and automatic control
20205 - Automation and control systems
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
Basic information
Recognised costs
1 740 CZK thou.
Public support
1 740 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2005 - 31. 12. 2007