Dissertation > Excellent graduate degree dissertation topics show

Embedded System Supported Safety Critical Software Design for Railway Signal

Author: ZhangJiaZuo
Tutor: WangHaiFeng;JiangDaMing
School: Beijing Jiaotong University
Course: Traffic Information Engineering \u0026 Control
Keywords: Embedded system Safety critical software Safety kernel Computer interlocking software
CLC: U284.362
Type: Master's thesis
Year: 2006
Downloads: 143
Quote: 0
Read: Download Dissertation

Abstract


Safety-Critical Embedded System is one by which the safety of software and hardware is assured, and in some case it would take high priority of safety requirements. This kind of systems is directly related to human life or properties. Once Safety critical software runs into dangerous state, it will result in serious damage even catastrophe. Many safety technologies must be used in the design of Safety critical software. Safety kernel is an important technology to assure safety of Safety critical software.The thesis is established in Embedded system, and located in a typical Safety critical software—Railway Signaling Computer interlocking software as material application. Based on Safety kernel technology, development of Safety critical software is researched and realized. The main creative research works in the thesis are as follows:1. At first, based on related reference, development of Computer interlocking system is summarized. The design methods of Safety critical software and problems in Computer interlocking system are analyzed.2. Based on contrasting uClinux with other Embedded Operating Systems, uClinux platform is chosen and constructed.3. Design of Safety kernel and concept of Safety policy are researched deeply.4. For the application of Safety kernel model to Computer interlocking software, this author presents a design of Computer interlocking software based on Safety kernel, then gives realization of Safety kernel model.5. For the application of railway signal, method for making Safety policy is given.6. Based on the method of risk analysis, the influence of Safety kernel on safety of Computer interlocking software is analyzed.7. Safety kernel is tested and validated in uClinux platform.

Related Dissertations

  1. The Electric Power Steering System,U463.4
  2. Transplant of Windows CE Operation System Based on ARM9,TP316.7
  3. The Research of Moving Object Tracking System Based on Embeded Image Process Unit,TP391.41
  4. Gui Design and Application Oriented to Embedded Ultrasonic Detecting System,TP274.53
  5. Data Collecting and Processing of Multi-Linear-CCD Visual Measuring System,TP274.2
  6. LXI-VXI Adapter Design,TP274
  7. Research on Temperature Control System for High-Performance Oven-Control Crystal Oscillator (OCXO),TN752
  8. Study of An Embedded Chinese Medical Therapeutic Apparatus,R197.39
  9. Study of Visualized Data Processing System for Computerized Flat Kniting Machine Based on ARM9,TS183
  10. The Design and Implementation of Monitoring System Based on Embedded Web Server in Portable Satellite Communication Earth Station,TN927.2
  11. Research and realization of dynamic performance analysis of code in the embedded environment,TP368.1
  12. The Design of a Intelligent Grading System Based on S3C2440,TP368.1
  13. Research of Feeder Terminal Unit Based on Embedded System of Linux,TM76
  14. Validation Research of Power Load Management System 0f 230MHz Cellular Network,TM714
  15. ARM and ZIGBEE - based wireless home control system design,TP273.5
  16. Design of embedded Fire Alarm Control Unit,TP277
  17. To ARM embedded Web server - based design and development,TP393.05
  18. The Hardware Implementation of Kernel Algorithm for Real Time Operating System,TP316.2
  19. Design and Implementation of Interactive Automatic Target-scoring System,TP391.41
  20. Research on Acceleration Technique of 3D Terrain Display on Embedded System,TP391.41
  21. Research and Design of Chinese Character Input Method Based on Small Keyboard,TP391.14

CLC: > Transportation > Rail transport > Railway communication,signal > Railway signal > Interlock ( station signal ) > Electrical interlocking > Electrical and electronic interlocking
© 2012 www.DissertationTopic.Net  Mobile