Automatic model analysis by state space exploration
Project goals
The project focuses on three types of modeling formalisms: extended finitemachines, system dynamics models, and agent based models. These models have applications in the design and verification of computer systems as well as in the study of complex systems. The theme of the project is an automatic analysis of these models by the state space exploration technique. This type of analysiscan provide more information about the model than simulation, which is usually used.The goal of the project is to createa database of models, study properties oftheir state spaces, develop novel techniques of analysis based on state space exploration, implement these techniques and experimentally evaluate them. Animportant part of the project is the effort to synthesise and transfer techniques developed in different application domains. Out puts of the project will be publicly available through project's internet portal.
Keywords
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 7 (SGA02007GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/07/P035
Alternative language
Project name in Czech
Automatická analýza modelů pomocí procházení stavového prostoru
Annotation in Czech
Projekt se zabývá třemi typy modelovacích formalismů: rozšířenými konečnými automaty, systémovými modely a modely založenými na agentech. Aplikace těchto modelů sahají od návrhu a verifikace počítačových systémů až po studium komplexních systémů. Tématemprojektu je automatická analýza těchto modelů technikou procházení stavového prostoru. Tento typ analýzy poskytuje bohatší informace o modelu než simulace, která je pro analýzu běžně používána. Projekt se zaměřuje na studium prakticky používaných modelů,na návrh a evaluaci nových technik a na syntézu a přenos technik vyvinutých v různých aplikačních doménách.
Scientific branches
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
.
Solution timeline
Realization period - beginning
Jan 1, 2007
Realization period - end
Dec 31, 2009
Project status
U - Finished project
Latest support payment
Apr 22, 2009
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
CEP10-GA0-GP-U/03:3
Data delivery date
Mar 1, 2016
Finance
Total approved costs
504 thou. CZK
Public financial support
504 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK
Basic information
Recognised costs
504 CZK thou.
Public support
504 CZK thou.
100%
Provider
Czech Science Foundation
CEP
IN - Informatics
Solution period
01. 01. 2007 - 31. 12. 2009