Project Details

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

Project Period: 1. 1. 2005 - 31. 12. 2007

Project Type: grant

Code: GA102/05/0723

Agency: Czech Science Foundation

Program:

English title
A Framework for Formal Specifications and Prototyping of Information System's Network Applications
Type
grant
Keywords

Formal specs, virifications, rapid prototyping, information system applications, communication protocols

Abstract

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 pilot versions of techniques and tools for conceptual design stemming from application domain knowledge, for architectural specifications of designed systems, for reactive and real-time system behavior specifications, and for rapid prototyping.

Team members
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , research leader
Hruška Tomáš, prof. Ing., CSc. (UIFS FIT VUT) , team leader
Zendulka Jaroslav, doc. Ing., CSc. (UIFS FIT VUT) , team leader
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Ščuglík František, Ing., Ph.D. (UIFS FIT VUT)
Publications

2007

2006

2005

Back to top