Publication detail

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

RÁBOVÁ, Z. HANÁČEK, P. HRUBÝ, M.

Original Title

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

Czech Title

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

Language

cs

Original Abstract

Č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ý".

Czech abstract

Č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ý".

Documents

BibTex


@inproceedings{BUT22183,
  author="Zdeňka {Rábová} and Petr {Hanáček} and Martin {Hrubý}",
  title="Prostředí pro modelování bezpečných systémů",
  annote="Č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ý".",
  address="MARQ",
  booktitle="Proceedings of NETSS06",
  chapter="22183",
  institution="MARQ",
  year="2006",
  month="april",
  pages="39--42",
  publisher="MARQ",
  type="conference paper"
}