Formal Embedded Operating System Model Based on Resource-Based Design Framework

2007 ◽  
Author(s):  
Jin-Hyun Kim ◽  
Jae-Hwan Sim ◽  
Chang-Jin Kim ◽  
Jin-Young Choi
Keyword(s):  
Operating System ◽  
System Model ◽  
Design Framework ◽  
Embedded Operating System ◽  
Model Based

Research on Protection Methods of Embedded Operating System Software Based on Hardware Compiler

2013 ◽  
Vol 443 ◽  
pp. 556-560
Author(s):  
Gao Ming He
Keyword(s):  
Operating System ◽  
Practical Significance ◽  
Embedded Operating System ◽  
System Software ◽  
Software Protection ◽  
Performance Loss ◽  
Cycle Simulation ◽  
Protection Technology ◽  
Program Flow ◽  
High Level

This paper describes a system; CODESSEAL can provide protection and evaluation to system software. CODESSEAL was designed to protect embedded systems with sufficient expertise and resources to capture attack equipment and manipulator, not only to protect software but also to protect hardware. By using the reconfigurable hardware allows CODESSEAL to provide confidentiality, integrity of security services and a platform-independent program flow without having to redesign the processor. System uses software and data protection technology and designs cycle simulation methods for data analysis. Experimental results show that the protected instructions and data with a high level of safety can be realized a low, which in most cases the performance loss can be reduced to below 10%, so the research of software protection methods of the embedded operating system of hardware compiler has important practical significance.

Design of Locomotive Coupling Transmission System Based on WLAN

2012 ◽  
Vol 590 ◽  
pp. 361-366
Author(s):  
Fu Qiu ◽  
De Qiang He ◽  
Xiao Yang Yao ◽  
Jian Miao
Keyword(s):  
Operating System ◽  
Data Transmission ◽  
System Reliability ◽  
Development Process ◽  
Transmission System ◽  
New Method ◽  
Embedded Operating System ◽  
Overall Design ◽  
Heavy Haul ◽  
Hardware Structure

The locomotive coupling came from the development of heavy-haul transportation in railway. Considering the insufficiencies of cable and radio in locomotive coupling at present, a new method of locomotive coupling is presented in this paper. The overall design of system scheme is provided based on WLAN. The system feasibility is analyzed and verified by using OPNET Modeler. The hardware structure of coupling transmission device and development process of embedded operating system are described briefly. Finally, taking measures guarantees the system reliability of data transmission.

Design of ARM Based Embedded Operating System Micro Kernel

2013 ◽  
Vol 347-350 ◽  
pp. 1799-1803
Author(s):  
Bo Qu ◽  
Zhao Zhi Wu
Keyword(s):  
Operating System ◽  
Core Layer ◽  
Embedded Operating System ◽  
Time Sharing ◽  
Tool Chain ◽  
Design And Implementation ◽  
System Calls ◽  
Three Layer Architecture ◽  
Technical Details ◽  
And Task

This paper describes the design and implementation of an ARM based embedded operating system micro kernel developed on Linux platform with GNU tool chain in technical details, including the three-layer architecture of the kernel (boot layer, core layer and task layer), multi-task schedule (priority for real-time and round-robin for time-sharing), IRQ handler, SWI handler, system calls, and inter-task communication based on which the micro-kernel architecture is constructed. On the foundation of this micro kernel, more components essential to a practical operating system, such as file system and TCP/IP processing, can be added in order to form a real and practical multi-task micro-kernel embedded operating system.

Sign in / Sign up

Export Citation Format

Share Document