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

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

Namespace Prefixes

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

Statements

Subject Item
n2:GP201%2F07%2FP544
rdf:type
n8:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GP201/07/P544
dcterms:description
Navrhovaný projekt představuje základní výzkum v problematice integrace formálních metod a doménově specifikačních jazyků pro návrh vestavěných systémů. Uvažované řešení bude založeno na definici formálního rámce disponujícího deduktivním odvozovacím aparátem pro interpretaci a ověřování vlastností doménově specifických modelů. Formální rámec poskytne také prostředí pro integraci automatických verifikačních metod pro ověřování vlastností modelovaných systémů. Cílem uvažovaného řešení je navržení doménově specifického modelovacího jazyka s definovanou formální sémantiku a demonstrace možnosti kombinace deduktivní a automatické verifikace pro ověřování takto specifikovaných systémů. Použití formálního rámce přináší možnost ověření korektnosti extrakce specifikace z doménového specifického modelovacího jazyka a transformace pro jednotlivé verifikační nástroje. The proposed project aims at basic research in the area of possible support of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on a deductive verification tool.Formal framework provides the common logical foundation for the representation of DSML semantics and for interpretation of languages of verification tools that can be used for checking the properties of modeled systems. The purpose of common foundation is to guarantee the correctness of application of verification tools as the correctness of transformations and mappings from the DSML to particular languages of verification tools can be formally proved.
dcterms:title
Framework for the deductive analysis of embedded software Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů
skos:notation
GP201/07/P544
n3:aktivita
n17:GP
n3:celkovaStatniPodpora
n5:celkovaStatniPodpora
n3:celkoveNaklady
n5:celkoveNaklady
n3:datumDodatniDoRIV
2015-01-22+01:00
n3:druhSouteze
n16:VS
n3:duvernostUdaju
n12:S
n3:fazeProjektu
n18:69136232
n3:hlavniObor
n9:JC
n3:hodnoceniProjektu
n15:U
n3:kategorie
n13:ZV
n3:klicovaSlova
embedded systems; domain specific languages; logical framework; formal program development; formal
n3:partnetrHlavni
n22:orjk%3A26230
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
7
n3:pocetZverejnenychVysledkuVRIV
7
n3:posledniUvolneniVMinulemRoce
2008-04-25+02:00
n3:prideleniPodpory
n21:201%2F07%2FP544
n3:sberDatUcastniciPoslednihoRoku
n10:2008
n3:sberDatUdajeProjZameru
n10:2009
n3:soutez
n20:SGA02007GA1PD
n3:statusZobrazovaneFaze
n11:DUU
n3:typPojektu
n19:P
n3:ukonceniReseni
2008-12-31+01:00
n3:vedlejsiObor
n9:IN
n3:zahajeniReseni
2007-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
A framework for specification of software components deployed in embedded systems was defined. The framework employes a formal domain specific language for description of a class of real-time time-triggered systems. The semantics of language and constrai Výsledkem projektu je navržený rámec pro specifikaci a návrh bezpečnostně kritického software pro vestavěné systémy. V tomto prostředí je definován časem řízený model pro komunikaci a výpočet a prostředky pro hierarchické uspořádání specifikace jako komp
n3:zivotniCyklusProjektu
n6:ZKU
n3:klicoveSlovo
logical framework formal program development embedded systems domain specific languages