About: Prostředí pro modelování bezpečných systémů

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

About: Prostředí pro modelování bezpečných systémů Goto Sponge NotDistinct Permalink

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

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	Článek navazuje na naše předchozí výsledky v teorii modelování systémů, které budou dále aplikovány ve výzkumu bezpečných a inteligentních systémů na našem pracovišti. Náš výzkum se zaměřuje na integrování modelovacích metod, nástrojů a paradigmat (tak zvané heterogenní modelování), jejichž propojení významným způsobem zefektivňuje práci v počítačovém modelování. Jedním z výsledků tohoto výzkumu je původní metoda řešení heterogenních modelů nazývaná AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodobým cílem, kam naše činnost směřuje, je prostředí pro modelování bezpečných systémů realizované také částečně jazykem HELEF. Pojem "bezpečného systému" je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova "spolehlivý" a "nezranitelný". Článek navazuje na naše předchozí výsledky v teorii modelování systémů, které budou dále aplikovány ve výzkumu bezpečných a inteligentních systémů na našem pracovišti. Náš výzkum se zaměřuje na integrování modelovacích metod, nástrojů a paradigmat (tak zvané heterogenní modelování), jejichž propojení významným způsobem zefektivňuje práci v počítačovém modelování. Jedním z výsledků tohoto výzkumu je původní metoda řešení heterogenních modelů nazývaná AIN (Automatic Information Net) a jazyk HELEF (Heterogeneous Language Environment, Final version). Dlouhodobým cílem, kam naše činnost směřuje, je prostředí pro modelování bezpečných systémů realizované také částečně jazykem HELEF. Pojem "bezpečného systému" je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova "spolehlivý" a "nezranitelný". (cs) The paper extends our previous results in theory of computer modelling, which will be now applied to our futher research of safe (and secure) intelligent systems. The research is oriented to integrating of modelling methods, tools and paradigms (so called heterogeneous modelling), where their interconnection makes the modelling work higly more efficient. AIN (Automatic Information Net) together with HELEF language (HEterogeneous Language Environment) is one of the particular results. We define basic aspects of safe intelligent systems using the mentioned HELEF language.<br> (en)
Title	Prostředí pro modelování bezpečných systémů Environment for Modelling of Safe Systems (en) Prostředí pro modelování bezpečných systémů (cs)
skos:prefLabel	Prostředí pro modelování bezpečných systémů Environment for Modelling of Safe Systems (en) Prostředí pro modelování bezpečných systémů (cs)
skos:notation	RIV/00216305:26230/06:PU66870!RIV07-GA0-26230___
http://linked.open.../vavai/riv/strany	39-44
http://linked.open...avai/riv/aktivita	P
http://linked.open...avai/riv/aktivity	P(GA102/04/0871)
http://linked.open...vai/riv/dodaniDat	2007
http://linked.open...aciTvurceVysledku	Hanáček, Petr Hrubý, Martin Rábová, Zdeňka
http://linked.open.../riv/druhVysledku	D - Článek ve sborníku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Vysoké učení technické v Brně / Fakulta informačních technologií
http://linked.open...dnocenehoVysledku	495656
http://linked.open...ai/riv/idVysledku	RIV/00216305:26230/06:PU66870
http://linked.open...riv/jazykVysledku	cze - čeština
http://linked.open.../riv/klicovaSlova	heterogeneous modelling, safe systems, safety, security<br> (en)
http://linked.open.../riv/klicoveSlovo	safe systems safety heterogeneous modelling security<br>
http://linked.open...ontrolniKodProRIV	[778AEDBE9B7C]
http://linked.open...v/mistoKonaniAkce	Přerov
http://linked.open...i/riv/mistoVydani	Ostrava
http://linked.open...i/riv/nazevZdroje	Proceedings of NETSS06
http://linked.open...in/vavai/riv/obor	JC
http://linked.open...ichTvurcuVysledku	3 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Information system security - research of attacks on tamper-resistant cryptographic hardware
http://linked.open...UplatneniVysledku	2006
http://linked.open...iv/tvurceVysledku	Hanáček, Petr Hrubý, Martin Rábová, Zdeňka
http://linked.open...vavai/riv/typAkce	EUR - Evropská
http://linked.open.../riv/zahajeniAkce	2006-02-22 (xsd:date)
number of pages	6 (xsd:int)
http://purl.org/ne...btex#hasPublisher	MARQ
https://schema.org/isbn	80-86840-06-9
http://localhost/t...ganizacniJednotka	26230

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, 77 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software