Conference paper

Š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.
Publication language:english
Original title:Fault Management for Secure Embedded Systems
Title (cs):Správa chyb pro bezpečné vestavěné systémy
Proceedings:International Conference on Systems Proceedings, ICONS 2009
Conference:The Fourth International Conference on Systems/The Eighth International Conference on Networks
Place:New York, NY, US
Publisher:IEEE Computer Society
Embedded system, safety, security, formal specifications.
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.
   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 = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]