Result 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.
Type
conference paper
Language
English
Authors
Švéda Miroslav, prof. Ing., CSc., DIFS (FIT), UTKO (FEEC)
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.
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
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"
}
Projects
Automated attack processing, MPO, TIP, FR-TI1/037, start: 2009-10-01, end: 2013-09-30, completed
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Safety and security of networked embedded system applications, GACR, Standardní projekty, GA102/08/1429, start: 2008-01-01, end: 2010-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments