About: Automatic model analysis by state space exploration

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Automatic model analysis by state space exploration Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P035
Description	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 create a 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. (en) 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.
Title	Automatic model analysis by state space exploration (en) Automatická analýza modelů pomocí procházení stavového prostoru
skos:notation	GP201/07/P035
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP035/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP035/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-01-22 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	65824795
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	modeling; simulation; verification; state space (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	8 (xsd:int)
http://linked.open...enychVysledkuVRIV	8 (xsd:int)
http://linked.open...lneniVMinulemRoce	2009-04-22 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F07%2FP035
http://linked.open...iciPoslednihoRoku	2009
http://linked.open...atUdajeProjZameru	2010
http://linked.open.../vavai/cep/soutez	SGA02007GA1PD
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2009-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2007-01-01 (xsd:date)
http://linked.open...jektu+dodavatelem	. (en) Úspěšný postdoc projekt. Publikace v časopisech a zejm. sbornících recenzovaných mezinárodních konferencí. Součástí projektu je vytvoření veřejně dostupné databáze BEEM, která již byla citována více než 40 autory. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	modeling simulation verification
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP035/2007/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP035/2008/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP035/2009/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP035/2010/orjk%3A14330

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software