Detail publikačního výsledku

Fault Management for Secure Embedded Systems

ŠVÉDA, M.

Originální název

Fault Management for Secure Embedded Systems

Anglický název

Fault Management for Secure Embedded Systems

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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.

Klíčová slova v angličtině

Embedded system, safety, security, formal specifications.

Autoři

ŠVÉDA, M.

Rok RIV

2012

Vydáno

01.03.2009

Nakladatel

IEEE Computer Society

Místo

New York, NY

ISBN

978-0-7695-3551-7

Kniha

International Conference on Systems Proceedings, ICONS 2009

Strany od

23

Strany do

28

Strany počet

6

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"
}