Publication Details

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

RÁBOVÁ Zdeňka, HANÁČEK Petr and HRUBÝ Martin. Prostředí pro modelování bezpečných systémů. In: Proceedings of NETSS06. Ostrava, 2006, pp. 39-42. ISBN 80-86840-06-9.
English title
Environment for Modelling of Safe Systems
Type
conference paper
Language
czech
Authors
Rábová Zdeňka, doc. Ing., CSc. (DITS FIT BUT)
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT)
Hrubý Martin, Ing., Ph.D. (DITS FIT BUT)
Keywords

heterogeneous modelling, safe systems, safety, security

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.

Published
2006
Pages
39-42
Proceedings
Proceedings of NETSS06
Conference
NETSS2006 - New Trends in System Simulation, Přerov, CZ
ISBN
80-86840-06-9
Place
Ostrava, CZ
BibTeX 
@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"
}
Back to top