About: Automated methods and tools supporting development of reliable concurrent and distributed systems

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

About: Automated methods and tools supporting development of reliable concurrent and distributed systems 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=GA102/04/0780
Description	The goal of the project is to improve the existing and to propose new automated methods and tools for modelling and prototyping modem concurrent and distributed systems and for checking correctness of such systems (or their key parts) at the level of specialized abstract models as well as prototypes. The proposed approach builds to a large degree upon the original formal model of object-oriented Petri nets that has been proposed by the project team members at the Faculty of Information Technology of the Brno University of Technology and that combines advantages of high-level Petri nets and object-oriented design technologies. The project will bring in a methodology and computer-aided tools for modelling and prototyping concurrent and distributed computerized systems with various methods applicable for validating correctness of these systems. For the needs of the correctness validation, methods of efficient simulation and formal analysis and verification (including the possibility of their (en) Cílem projektu je rozvoj stávajících a návrh nových automatizovaných metod a nástrojů pro modelování a prototypování moderních paralelních a distribuovaných systémů a pro ověřování korektnosti těchto systémů a nebo jejich částí na úrovni specializovanýchabstraktních modelů i prototypů. Řešení vychází převážně z původního matematického modelu objektově orientovaných Petriho sítí, který byl vytvořen řešiteli na FIT VUT v Brně a který spojuje výhody vysokoúrovňových Petriho sítí s výhodami objektově orientovaných návrhových technologií. Pro potřeby ověřování korektnosti uvažovaných systémů budou rozvíjeny metody efektivní simulace a formální analýzy a verifikace, včetně možnosti paralelního či distribuovaného řešení. Projekt přinese metodologii a příslušné počítačové nástroje pro podporu modelování a prototypování paralelních a distribuovaných systémů s využitím vybraných metod formální analýzy a verifikace. Vyvinuté počítačové nástroje budou integrovány ve formě otevřeného prostředí,
Title	Automated methods and tools supporting development of reliable concurrent and distributed systems (en) Automatizované metody a nástroje pro vývoj spolehlivých paralelních a distribuovaných systémů
skos:notation	GA102/04/0780
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F04%2F0780/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA102%2F04%2F0780/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2007-10-16 (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	2311068
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	Neuvedeno. (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	40 (xsd:int)
http://linked.open...enychVysledkuVRIV	40 (xsd:int)
http://linked.open...okUkonceniPodpory	2006
http://linked.open...okZahajeniPodpory	2004
http://linked.open...iciPoslednihoRoku	2006
http://linked.open...atUdajeProjZameru	2007
http://linked.open.../vavai/cep/soutez	SGA02004GA-ST
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.../cep/vedlejsiObor	BC - Teorie a systémy řízení JD - Využití počítačů, robotika a její aplikace
http://linked.open...jektu+dodavatelem	The goal of the project was to improve the existing and to propose new methods for developing reliable concurrent computer-based systems. For this reason, two mutually complementary approaches were followed in the project, namely methods of high-level fo (en) Cílem projektu byl rozvoj stávajících a návrh nových metod vývoje spolehlivých paralelních počítačových systémů. Za tím účelem byly v projektu rozvíjeny dva vzájemně komplementární přístupy, a to konkrétně metody vysokoúrovňového formálního návrhu systém (cs)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F04%2F0780/2004/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F04%2F0780/2005/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F04%2F0780/2006/orjk%3A26230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA102%2F04%2F0780/2007/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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software