Dissertation > Excellent graduate degree dissertation topics show

Research on the Key Technology in Separation Kernel for Avionics

Author: XingZuoZuo
Tutor: JiangJianGuo
School: Xi'an University of Electronic Science and Technology
Course: Applied Computer Technology
Keywords: Multiple Independent Levds of Security Separation KernelTRAP System Calling Dynamic Partition Scheduling Inter-Partition Communication
CLC: TP316.2
Type: Master's thesis
Year: 2011
Downloads: 26
Quote: 0
Read: Download Dissertation

Abstract


The traditional approach of the’Fail-first, Patch-later’can not meet the requirements of avionics system for the security of airborne software. The system based on monolithic kernel can’t ensure the security of itself, because of the complex function and the large structure of the kernel. The Multiple Independent Levels of Security (MILS) architecture implement with separation kernel, solves security problem from prevention. Thus, as the basis of the MILS architecture, the separation kernel has gradually become a hot focus of domestic researches. This paper will focus on the key technology of the separation kernel.Based on the characteristic of the integrated modular avionics, this paper firstly analyzes the environment of the aviation and the military affairs, communication condition, efficiency, application requirements and its limitations, etc., the model of the multiple independent security distributed system is studied. The TRAP system calling mechanism and the interface of kernel are designed. The TRAP system calling mechanism can ensure the system call could be preempted. The interface of kernel will meet the functional requirements of separation kernel and provide a foundation for the development of upper layer. Then, dynamic partitioning scheduling algorithm is designed and dynamic partitioning scheduling is implemented by this algorithm. An improved model of shared memory based on the separation kernel is proposed, therefore, guaranteed the reliability and efficiency of message passing.Compared with the traditional system calling mechanism, the TRAP system calling mechanism of the separation kernel designed in this paper can reduce the time of disable interrupts effectively and response the hardware interrupt promptly. Experimental results show that the proposed dynamic scheduling algorithm have improved the CPU utilization and solved the problem of low CPU utilization by using static scheduling when the system is in free mode.The implementation of the functionality about the periods processing of the separation kernel will be researched in the future, thus improved functionality and interface of the separation kernel.

Related Dissertations

  1. Transplant of Windows CE Operation System Based on ARM9,TP316.7
  2. Kernel Analysis and Application Research of Embedded Real-time Operating System MQX,TP316.2
  3. Research and Design of Device Driver Based on Embedded Linux System,TP316.81
  4. Linux kernel process scheduling algorithm analysis, research and improvement,TP316.81
  5. Improvement and Implementation μC/OS- Ⅱ real-time operating system kernel analysis and critical technologies,TP316.84
  6. Improvement of MC/OSⅡ-Based Embedded Real-Time Operating System Scheduling Algorithm,TP316.2
  7. The Design and Development of Real Time Operation System Base on Arm Processor,TP316.2
  8. Research on WCET Analysis of the μC/OS-Ⅱ Real-Time Kernel,TP316.84
  9. Design and implementation of vehicle transport of dangerous goods monitoring terminal based uC/OS- Ⅱ,TP316.84
  10. Research of the gPXE Based Intelligent Diskless System Management Technology,TP316
  11. Chinese Linux Standard -compliant testing and certification system,TP316.81
  12. Management and Collaboration of Applications in Virtual Desktop System,TP316.7
  13. A Web-based Desktop Virtualization System,TP316.7
  14. Application of VxWorks Operating System and FPGA Technology in Display Control Simulator,TP316.2
  15. The Design of Data Transfer Module in Network Image Deployment System,TP316.7
  16. The Research and Optimization of Small High-Performance Linux-Based Cluster,TP316.81
  17. Research on Security of Mac Os X Applications,TP316
  18. Study on Optimizing the Embeded Real-Time Operating System Dynamic Memory Management,TP316.2
  19. Embedded real-time operating system ARTs-OS time management,TP316.2
  20. Embedded real-time operating system ARTs-OS in the TCP / IP protocol stack development,TP316.2
  21. Embedded real-time operating system ARTs-OS in the NIC redundancy,TP316.2

CLC: > Industrial Technology > Automation technology,computer technology > Computing technology,computer technology > Computer software > Operating system > Real-time operating system
© 2012 www.DissertationTopic.Net  Mobile