Detail výsledku

Fault Management for Secure Embedded Systems

ŠVÉDA, M. Fault Management for Secure Embedded Systems. International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009. p. 23-28. ISBN: 978-0-7695-3551-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Abstrakt

This paper describes principles of an embedded system design propping safety and security using a dedicated architecture. After reviewing a simple specification language deployed, the main attention is focused on hardware architecture, software, and communication services that fit application requirements. The gasoline dispenser controller presents in this case a real-world solution of a safety and security critical embedded system application. The paper stresses those features that distinguish the real project from a demonstration case study.

Klíčová slova

Embedded system, safety, security, formal specifications.

Rok
2009
Strany
23–28
Sborník
International Conference on Systems Proceedings, ICONS 2009
Konference
The Fourth International Conference on Systems/The Eighth International Conference on Networks
ISBN
978-0-7695-3551-7
Vydavatel
IEEE Computer Society
Místo
New York, NY
BibTeX 
@inproceedings{BUT33772,
  author="Miroslav {Švéda}",
  title="Fault Management for Secure Embedded Systems",
  booktitle="International Conference on Systems Proceedings, ICONS 2009",
  year="2009",
  pages="23--28",
  publisher="IEEE Computer Society",
  address="New York, NY",
  isbn="978-0-7695-3551-7"
}
Projekty
Automatizované zpracování útoků, MPO, TIP, FR-TI1/037, zahájení: 2009-10-01, ukončení: 2013-09-30, ukončen
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru