About: Framework for the deductive analysis of embedded software

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

About: Framework for the deductive analysis of embedded software 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/P544
Description	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. (en) 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.
Title	Framework for the deductive analysis of embedded software (en) Rámec pro deduktivní analýzu softwarových aplikací vestavěných systémů
skos:notation	GP201/07/P544
http://linked.open...avai/cep/aktivita	Post-graduate (doctorate) grants
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP544/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GP201%2F07%2FP544/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	69136232
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho 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	embedded systems; domain specific languages; logical framework; formal program development; formal (en)
http://linked.open...ep/partnetrHlavni	Fakulta informačních technologií
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	7 (xsd:int)
http://linked.open...enychVysledkuVRIV	7 (xsd:int)
http://linked.open...lneniVMinulemRoce	2008-04-25 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/201%2F07%2FP544
http://linked.open...iciPoslednihoRoku	2008
http://linked.open...atUdajeProjZameru	2009
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	2008-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2007-01-01 (xsd:date)
http://linked.open...jektu+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 (en) 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 (cs)
http://linked.open...tniCyklusProjektu	ZKU
http://linked.open.../cep/klicoveSlovo	embedded systems domain specific languages formal program development logical framework
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP544/2007/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP544/2008/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GP201%2F07%2FP544/2009/orjk%3A26230

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