Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System

2012 ◽  
Author(s):  
Jianqi Shi ◽  
Longfei Zhu ◽  
Yanhong Huang ◽  
Jian Guo ◽  
Huibiao Zhu ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Binary Code ◽  
Safety Properties ◽  
Real Time Operating System

Real-Time Operating System Standards

1991 ◽  
Vol 24 (2) ◽  
pp. 25-26
Author(s):  
C.D. Locke ◽  
R.P. Cook ◽  
K.D. Gordon ◽  
H. Tokuda
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System

Silicon real time operating system for embedded DSPs

2006 ◽  
Author(s):  
Zeeshan Murtaza ◽  
Shoab Khan ◽  
Abid Rafique ◽  
Khalid Bajwa ◽  
Umer Zaman
Keyword(s):  
Operating System ◽  
Real Time ◽  
Real Time Operating System

EMERALDS-OSEK: A Small Real-Time Operating System for Automotive Control and Monitoring

1999 ◽  
Author(s):  
Khawar M. Zuberi ◽  
Padmanabhan Pillai ◽  
Kang G. Shin ◽  
Takaaki Imai ◽  
Wataru Nagaura ◽  
...  
Keyword(s):  
Operating System ◽  
Real Time ◽  
Automotive Control ◽  
Real Time Operating System

A real-time operating system supporting distributed shared memory for embedded control systems

2017 ◽  
Vol 22 (S1) ◽  
pp. 989-998
Author(s):  
Yuji Tamura ◽  
Truong Thi Doan ◽  
Takahiro Chiba ◽  
Myungryun Yoo ◽  
Takanori Yokoyama
Keyword(s):  
Operating System ◽  
Control Systems ◽  
Real Time ◽  
Shared Memory ◽  
Distributed Shared Memory ◽  
Embedded Control ◽  
Real Time Operating System ◽  
Embedded Control Systems
Sign in / Sign up

Export Citation Format

Share Document