Publication Details

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.
Czech title
Správa chyb pro bezpečné vestavěné systémy
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Keywords

Embedded system, safety, security, formal specifications.

Abstract

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.

Published
2009
Pages
23–28
Proceedings
International Conference on Systems Proceedings, ICONS 2009
ISBN
978-0-7695-3551-7
Publisher
IEEE Computer Society
Place
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"
}
Back to top