Detail publikace

Specifications of Secure and Safe Embedded System Networks

ŠVÉDA, M.; VRBA, R. Specifications of Secure and Safe Embedded System Networks. 8th International Conference on Networks Proceedings ICN 2009. New York, NY: IEEE Computer Society, 2009. p. 220-225. ISBN: 978-0-7695-3552-4.
Název česky
Specifikace bezpečných a zabezpečených sítí vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Behavioral specifications, reactive systems, real-time systems, security, safety

Abstrakt

Příspěvek je zaměřen na specifikace chování reaktivních a RT aktivit sítí vestavěných systémů užitím buď strukturovaného nebo objektově orientovaného přístupu v závislosti na požadavcích návrhu aplikace. Takový návrh může eliminovat nejen chyby chování a struktury, ale i bezpečnostní problémy, které plynou z chyb návrhu.

Rok
2009
Strany
220–225
Sborník
8th International Conference on Networks Proceedings ICN 2009
ISBN
978-0-7695-3552-4
Vydavatel
IEEE Computer Society
Místo
New York, NY
BibTeX 
@inproceedings{BUT33773,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Specifications of Secure and Safe Embedded System Networks",
  booktitle="8th International Conference on Networks Proceedings ICN 2009",
  year="2009",
  pages="220--225",
  publisher="IEEE Computer Society",
  address="New York, NY",
  isbn="978-0-7695-3552-4"
}
Nahoru