Publication detail

Fault Management for Secure Embedded Systems

ŠVÉDA, M.

Original Title

Fault Management for Secure Embedded Systems

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Embedded system, safety, security, formal specifications.

Authors

ŠVÉDA, M.

RIV year

2009

Released

1. 3. 2009

Publisher

IEEE Computer Society

Location

New York, NY

ISBN

978-0-7695-3551-7

Book

International Conference on Systems Proceedings, ICONS 2009

Pages from

23

Pages to

28

Pages count

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