Detail publikace
Prostředí pro modelování bezpečných systémů
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Hrubý Martin, Ing., Ph.D. (UITS FIT VUT)
heterogenní modelování, bezpečné systémy, spolehlivost, bezpečnost
Č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ý".
@INPROCEEDINGS{FITPUB8024, author = "Zde\v{n}ka R\'{a}bov\'{a} and Petr Han\'{a}\v{c}ek and Martin Hrub\'{y}", title = "Prost\v{r}ed\'{i} pro modelov\'{a}n\'{i} bezpe\v{c}n\'{y}ch syst\'{e}m\r{u}", pages = "39--42", booktitle = "Proceedings of NETSS06", year = 2006, location = "Ostrava, CZ", ISBN = "80-86840-06-9", language = "czech", url = "https://www.fit.vut.cz/research/publication/8024" }