This HTML5 document contains 40 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n15http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n18http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
n14http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n10http://linked.opendata.cz/resource/domain/vavai/subjekt/
n8http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n19http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n5http://linked.opendata.cz/ontology/domain/vavai/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n12http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n22http://linked.opendata.cz/resource/domain/vavai/soutez/
n20http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/resource/domain/vavai/projekt/1ET400300504/
xsdhhttp://www.w3.org/2001/XMLSchema#
n4http://linked.opendata.cz/ontology/domain/vavai/cep/
n13http://linked.opendata.cz/resource/domain/vavai/aktivita/
n6http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:1ET400300504
rdf:type
n5:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=1ET400300504
dcterms:description
Projekt podporuje využití komponent jako sílící trend ve vývoji aplikací, a to kombinováním komponent s formálním popisem chování a návrhem nástrojů schopných provést automaticky kontrolu architektury aplikací složených z komponent s formálním popisem chování. Projekt si klade za cíl navrhnout a realizovat platformu pro podporu formální verifikace vlastností komponentových aplikací na úrovni funkčního prototypu a s použitím této platformy navrhnout metody pro verifikaci softwarových komponent a komponentových aplikací a ověřit uplatnění těchto metod. Vytvořená platforma bude otevřená vznikajícím metodám pro formální verifikaci a analýzu kódu a použita pro ověřování vhodnosti a použitelnosti těchto metod, zejména technice model checking. Práce na metodách formální verifikace se budou soustředit na identifikaci postupů, které umožní výrazné zefektivnění stávajících nástrojů pro automatickou verifikaci, zejména v distribuovaném prostředí. The project supports component-based application development by combining components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a functional prototype of a platform for formal verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of formal verification and code analysis, and used to test the suitability and applicability of these methods, especially with respect to model checking. The work on the formal verification methods will focus on identifying approaches to make the existing verification tools more efficient, especially in a distributed environment.
dcterms:title
Realistic application of formal methods in component systems Realistická aplikace formálních metod v komponentových systémech
skos:notation
1ET400300504
n4:aktivita
n13:1E
n4:celkovaStatniPodpora
n11:celkovaStatniPodpora
n4:celkoveNaklady
n11:celkoveNaklady
n4:datumDodatniDoRIV
2010-04-15+02:00
n4:druhSouteze
n14:VS
n4:duvernostUdaju
n17:S
n4:fazeProjektu
n9:66083172
n4:hlavniObor
n12:IN
n4:hodnoceniProjektu
n21:V
n4:kategorie
n19:NV
n4:klicovaSlova
formal verification; behavior description; software components; component systems
n4:partnetrHlavni
n10:ico%3A67985807
n4:pocetKoordinujicichPrijemcu
1
n4:pocetPrijemcu
3
n4:pocetSpoluPrijemcu
0
n4:pocetVysledkuRIV
74
n4:pocetZverejnenychVysledkuVRIV
74
n4:posledniUvolneniVMinulemRoce
2009-03-11+01:00
n4:prideleniPodpory
n8:1ET400300504
n4:sberDatUcastniciPoslednihoRoku
n6:2009
n4:sberDatUdajeProjZameru
n6:2010
n4:soutez
n22:SAV02005-IS
n4:statusZobrazovaneFaze
n20:DUU
n4:typPojektu
n15:P
n4:ukonceniReseni
2009-12-31+01:00
n4:vedlejsiObor
n12:JC
n4:zahajeniReseni
2005-01-01+01:00
n4:zhodnoceni+vysledku+projektu+dodavatelem
The project has proposed, implemented as a prototype, and on case studies tested multiple new methods of formal verification of component systems (both model and implementation), based on the formalisms of interacting automata and behavior protocols. Projekt navrhl, prototypově implementoval a na případových studiích ověřil nové metody formální verifikace vlastností modelů a implementace komponentových systémů založené na formalismech interagujících automatů a rozšířených protokolů chování.
n4:zivotniCyklusProjektu
n18:ZBBBKU
n4:klicoveSlovo
behavior description software components formal verification