Analysis of Correct Synchronization of Operating System Components

2020 ◽  
Vol 46 (8) ◽  
pp. 712-730
Author(s):  
P. S. Andrianov
Author(s):  
Bruno Meneguele ◽  
Keiko Fonseca ◽  
Marcelo Rosa

Intel SGX is not accessible from the most privileged execution level, known as ring zero, where the operating system kernel is placed. However, it is possible to split the execution responsibility between kernel and userspace by creating a dependency among these two levels that allow internal kernel data to be stored or processed within SGX private enclaves. In this paper we present SKEEN, an enhanced way to isolate internal operating system components and structures with Intel SGX technology, preventing information leak to different components of the same operating system. A proof-of-concept is provided to exemplify its usage.


Author(s):  
Victor Kuliamin ◽  
Alexander Petrenko ◽  
Alexey Khoroshilov

2014 ◽  
Vol 2014 ◽  
pp. 1-8 ◽  
Author(s):  
Seyyed Amir Asghari ◽  
Okyay Kaynak ◽  
Hassan Taheri

Electronic equipment operating in harsh environments such as space is subjected to a range of threats. The most important of these is radiation that gives rise to permanent and transient errors on microelectronic components. The occurrence rate of transient errors is significantly more than permanent errors. The transient errors, or soft errors, emerge in two formats: control flow errors (CFEs) and data errors. Valuable research results have already appeared in literature at hardware and software levels for their alleviation. However, there is the basic assumption behind these works that the operating system is reliable and the focus is on other system levels. In this paper, we investigate the effects of soft errors on the operating system components and compare their vulnerability with that of application level components. Results show that soft errors in operating system components affect both operating system and application level components. Therefore, by providing endurance to operating system level components against soft errors, both operating system and application level components gain tolerance.


2014 ◽  
Vol 620 ◽  
pp. 484-489 ◽  
Author(s):  
Xi Min Lv ◽  
Yu Fei Liu ◽  
Hai Bo Gao ◽  
Liang Ding ◽  
Jian Guo Tao ◽  
...  

Through the analysis of operational requirements and environmental characteristics of nuclear power plant pool, we propose the design of underwater welding robot and establish the 3D model. Then, we introduce special functions and system composition of the robot in detail. After that, we propose the cooperation of the moving system and operating system, for the reason that the center position of gravity and buoyancy change when the operating system moves. Finally, we simply introduce control system components, control strategy and simulation results of the robot.


Sign in / Sign up

Export Citation Format

Share Document