Title
TZDKS: A New TrustZone-Based Dual-Criticality System with Balanced Performance
Abstract
Many mixed-criticality systems are composed of a RTOS (Real-Time Operating System) and a GPOS (General Purpose Operating System), and we define them as mixed-time-sensitive systems. Complexity, isolation, real-time latency, and overhead are the main metrics to evaluate such a mixed-time-sensitive system (MTSS). These metrics may conflict with each other, so it is difficult for them to be consistently optimized. Most existing implementations only optimize part of the above metrics but not all. As the first contribution, this paper provides a detailed analysis of performance influencing factors which are exerted by various runtime mechanisms of existing MTSSs. We figure out the difference in performance across system designs, including task switch, memory management, interrupt handling, and resource isolation. We propose the philosophy of utilizing TrustZone characteristics to optimize various mechanisms in MTSS. The second contribution is to propose a TrustZone-based solution - termed TZDKS - for MTSS. Appropriate utilization of TrustZone extensions helps TZDKS to implement (i) virtualization environment for GPOS and RTOS, (ii) high efficient task switch, memory access, interrupt handling and device access which are verified by experiments. Therefore, TZDKS can achieve a full-scale balance amongst aforementioned metrics.
Year
DOI
Venue
2018
10.1109/RTCSA.2018.00016
2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)
Keywords
Field
DocType
mixed criticality, dual kernel, performance balance, TrustZone
Virtualization,Interrupt,Computer science,Latency (engineering),Mixed criticality,Real-time operating system,Implementation,Memory management,Criticality,Embedded system,Distributed computing
Conference
ISSN
ISBN
Citations 
2325-1271
978-1-5386-7760-5
1
PageRank 
References 
Authors
0.37
3
4
Name
Order
Citations
PageRank
Pan Dong163.20
A Burns25034375.85
Zhe Jiang3269.94
Xiangke Liao462274.79