Project Details

Bezpečnost a zabezpečení aplikací sítí vestavěných systémů

Project Period: 1. 1. 2008 - 31. 12. 2010

Project Type: grant

Code: GA102/08/1429

Agency: Czech Science Foundation

Program: Standardní projekty

English title
Safety and security of networked embedded system applications
Type
grant
Keywords

safety, security, embedded system, networks, development environments

Abstract

The main benefit of the project is the consideration of what safety and security mean in the context of embedded systems networks and the study of methods and techniques that can be used to achieve it. Goal is to determine methods and techniques for the development of embedded systems networks with demands on safety and security in adherence to international standards, and to use, operate and modify the most promising internationally available techniques and tools for analysis and model checking aiming at validating safety and security properties. Adherence to standards is a growing need in today's interoperable environments of embedded system networks. The development of embedded systems networks necessitates that the safety and security features of the system be compared against appropriate protection profiles and security targets of the common criteria. This involves identifying the appropriate evaluation assurance level and then performing the actual validation. Internal and external safety and security are becoming much more critical as more and more people depend on embedded devices in many aspects of their lives. Strong security measures will allow embedded systems to carry critical data and deliver it to only those who should be getting it.

Team members
Srovnal Vilém, prof. Ing., CSc. (FEI VŠB) , research leader
Bílek Jan, Doc. Ing., CSc. (FEL ČVUT) , team leader
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , team leader
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT)
Jaroš Jiří, doc. Ing., Ph.D. (UPSY FIT VUT)
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT)
Publications

2013

2011

2010

2009

2008

Back to top