Result Details

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

RÁBOVÁ, Z.; HANÁČEK, P.; HRUBÝ, M. Prostředí pro modelování bezpečných systémů. Proceedings of NETSS06. Ostrava: Marq software s.r.o., 2006. s. 39-42. ISBN: 80-86840-06-9.
Type
conference paper
Language
Czech
Authors
Rábová Zdeňka, doc. Ing., CSc., DITS (FIT)
Hanáček Petr, doc. Dr. Ing., DITS (FIT)
Hrubý Martin, Ing., Ph.D., DITS (FIT)
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ý".

Keywords

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

English keywords

heterogeneous modelling, safe systems, safety, security

Published
2006
Pages
39–42
Proceedings
Proceedings of NETSS06
Conference
NETSS2006 - New Trends in System Simulation
ISBN
80-86840-06-9
Publisher
Marq software s.r.o.
Place
Ostrava
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 software s.r.o.",
  address="Ostrava",
  isbn="80-86840-06-9"
}
Projects
Information system security - research of attacks on tamper-resistant cryptographic hardware, GACR, Standardní projekty, GA102/04/0871, start: 2004-01-01, end: 2006-12-31, completed
Research groups
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Department of Intelligent Systems (DITS)
Back to top