Performance Evaluation of a Secure Microkernel on a Single-Board Computer

被引：0

作者：

Bekele, Yohannes B. ^{[1
]}

Limbrick, Daniel B. ^{[1
]}

机构：

[1] North Carolina Agr & Tech State Univ, Elect & Comp Engn Dept, Greensboro, NC 27411 USA

来源：

IEEE SOUTHEASTCON 2020 | 2020年

关键词：

microkernel; performance; test; security;

D O I：

10.1109/southeastcon44009.2020.9249735

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

Safety-critical systems require the underlying Integrated Circuits (ICs) to be resilient against security and reliability failures. At the kernel level, there have been efforts to use microkernels to isolate components and limit the capabilities of wouldbe attackers. These implementations might incur additional overheads on the system that may affect the performance. This paper tests the overall performance of a formally-verified secure microkernel, seL4, in order to ascertain whether it is acceptable for real-time embedded applications. Various benchmark suites are used to compare an seL4-enabled Jetson TK1 and native Jetson TK1 computer. Results show that there are impacts on performance due to the use of SeL4 microkernel.

引用

页数：2