Detail publikace

Fault Management for Secure Embedded Systems

ŠVÉDA, M.

Originální název

Fault Management for Secure Embedded Systems

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

Embedded system, safety, security, formal specifications.

Autoři

ŠVÉDA, M.

Rok RIV

2009

Vydáno

1. 3. 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"
}