Publication Details

Fault Management for Secure Embedded Systems

ŠVÉDA Miroslav. Fault Management for Secure Embedded Systems. In: International Conference on Systems Proceedings, ICONS 2009. New York, NY: IEEE Computer Society, 2009, pp. 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
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
Conference
The Fourth International Conference on Systems/The Eighth International Conference on Networks , Cancun, MX
ISBN
978-0-7695-3551-7
Publisher
IEEE Computer Society
Place
New York, NY, US
BibTeX
@INPROCEEDINGS{FITPUB8858,
   author = "Miroslav \v{S}v\'{e}da",
   title = "Fault Management for Secure Embedded Systems",
   pages = "23--28",
   booktitle = "International Conference on Systems Proceedings, ICONS 2009",
   year = 2009,
   location = "New York, NY, US",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3551-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8858"
}
Back to top