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ů

English Title

Environment for Modelling of Safe Systems

Type

conference paper

Language

Czech

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

English abstract

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.

Keywords

heterogenní modelování, bezpečné systémy, spolehlivost, bezpečnost

Key words in English

heterogeneous modelling, safe systems, safety, security

Authors

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

RIV year

2006

Released

10. 4. 2006

Publisher

MARQ

Location

Ostrava

ISBN

80-86840-06-9

Book

Proceedings of NETSS06

Pages from

39

Pages to

42

Pages count

6

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ů",
  booktitle="Proceedings of NETSS06",
  year="2006",
  pages="39--42",
  publisher="MARQ",
  address="Ostrava",
  isbn="80-86840-06-9"
}