Publication result detail

Fault Management for Secure Embedded Systems

ŠVÉDA, M.

Original Title

Fault Management for Secure Embedded Systems

English Title

Fault Management for Secure Embedded Systems

Type

Paper in proceedings outside WoS and Scopus

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.

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

Key words in English

Embedded system, safety, security, formal specifications.

Authors

ŠVÉDA, M.

RIV year

2012

Released

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