Environment for Modelling of Safe Systems

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F06%3APU66870" target="_blank" >RIV/00216305:26230/06:PU66870 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

čeština

Original language name

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

Original language 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 &quot;bezpečného systému&quot; je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova &quot;spolehlivý&quot; a &quot;nezranitelný&quot;.

Czech name

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

Czech 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 &quot;bezpečného systému&quot; je poměrně rozsáhlý - bezpečnost sledujeme přinejmenším ve významu slova &quot;spolehlivý&quot; a &quot;nezranitelný&quot;.

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

<a href="/en/project/GA102%2F04%2F0871" target="_blank" >GA102/04/0871: Information system security - research of attacks on tamper-resistant cryptographic hardware</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2006

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of NETSS06

ISBN

80-86840-06-9

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

39-44

Publisher name

MARQ

Place of publication

Ostrava

Event location

Přerov

Event date

Feb 22, 2006

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—