文档介绍：北京交通大学
硕士学位论文
基于嵌入式系统的车站信号安全软件设计与实现
姓名:张佳楠
申请学位级别:硕士
专业:交通信息工程及控制
指导教师:王海峰;蒋大明
20061201
要摘这种系统的运行直接关系着人员生命和财产安全。如果嵌入式系统安全关键软件设计上应采取多种安全保障技术。安全核技术就是其中的重要措施之~。本文在嵌入式系统环境下,针对典型的安全关键系统一车站信号计算机联锁系统,基于安全核技术进行了安全软件开发方法的研究与实践,主要工作如下:T诖罅渴占亩料喙匚南椎幕∩希治霾⒆芙崃税踩ü丶砑杓品椒和联锁系统的研究现状及存在的问题。联锁软件设计方法,并给出了安全核各模块的设计和实现,U攵蕴钒踩ḿ际酰隽耸屎系陌踩ú呗灾贫ǚ椒ā谇度胧较低称教ㄉ希园踩ê私辛瞬馐裕橹ち税踩ê说墓δ堋韭塞銮适盍堂亟±瘛竺焦监塞噩摘要:嵌入式安全关键系统对组成系统的软件、硬件安全性级别要求极高,质量不好。可能对系统的安全构成严重威胁。园此,嵌入式系统安全关键软件在诙员榷嘀智度胧讲僮飨低车幕∩希≡癫⒐菇ㄇ度胧讲僮飨低教ā园踩ê思际醯幕疲踩ú呗裕鞍踩ê松杓平辛讼晗傅难芯俊=ò踩ê思际跤τ糜诩扑慊K砑校岢隽嘶诎踩ê思际醯募扑慊诜缦掌兰郏治隽税踩ê硕粤K砑踩缘挠跋臁关键词:嵌入式系统;安全关键软件;安全核;计算机联锁软件分类号:.垴
.甅瓺::甶.,瓸.,珺甋.;;琣/./...,;痮篣
致谢首先向我的导师王海峰副教授和蒋大明副教授表示最诚挚的感谢和无比的敬和对科学的献身精神,,得以顺利完成。他对我的学习严格要求,促使我对科学研究的精神、方法、内在规律有所领悟,这些收获是我今后工作的重要基础。诚挚感谢教研室的黄赞武,感谢我的同学孟逸飞硕士,陈帅硕士等在本论文的完成过程中给予了我很大感谢我的父母对我的生活上,学习上以及工作上的关心、支持与鼓励,他们最后,衷心感谢为评阅本论文而付出辛勤劳动的各位专家和学者意窃ú┑闹J丁⒎岣坏氖导椤⒀辖鞯闹窝取⒕媲缶ǖ墓ぷ髯鞣他们是我终生学习的榜样,并将成为我今后献身科学事业的动力。王老师在我的课程学习、研究方向、研究方法、论文写作等方面都进行了精心的指导,使本人张三同,杨世武,戴胜华等老师对我的研究工作和生活所给予的帮助,他们的无私关怀和指导使我终身受益。感谢我的同学齐志华硕士在嵌入式系统硬件平台建立上所做豹大量工作,平时我们之间的交流也给了我很多科研和工作上的灵感。的支持和帮助,。
;然后分析了一种典型的安全关键软件一计算帆联锁软件的开发现状,指出了联锁软件开发中存在的问题,并基于嵌入式环境针对性地提出联锁软件安全从世纪年代单片机的出现到现在各式各样的嵌入式微处理器、微控制器的大规模应用,嵌入式系统已经有了多年的发展历史。经过这多年的发嵌入式系统本身是面向特定应用的,其概念比较模糊,由于目前嵌入式系统中心和以计算机技术为基础的,并且软硬件可以剪裁,能满足应用系统对功能、可靠性、成本、体积、功耗等指标的严格要求的专用计算机系统。由于嵌入式系统是应用于特定环境下执行专业领域的应用系统,所以不同于通用计算机系统应用的多样化和适用性。它与通用的计算机系统相比具有以下特嵌入式系统通常是面向特定应用的,一般都有实时性要求。嵌入式蠖数都工作在为特定用户群所设计的系统中。它通常具有低功耗、体积小、集成度本章是论交的研究综述部分,介绍了嵌入式系统发展和安全关键软件设计方核的应用,说明了选题目的和意义,最后阐述了论文的主要研究内容和论文的篇章结构。展,嵌入式系统已经广泛的渗透到科学研究、工程设计、军事技术、商业文化艺术、娱乐业以及人们的日常生活等方方面面,掀起了一场数字化技术革命。已经渗透到日常生活的各个方面,在工业、服务业、消费电子等领域的范围不断扩大,因此难以给出“嵌入式系统”一个明确的定义。从应用技术角度上看,定义嵌入式系统恰翱刂疲视或者辅助设备、机器和车间运行的装置”,更一般的说,嵌入式系统是以应用为从系统的角度上看,嵌入式系统是设计完成复杂功能的硬件和软件,并使其紧密耦合在一起的计算机系统。术语“嵌入式”反映了这些系统通常是更大系统中的一个完整的部分,称为嵌入式的系统。嵌入的系统中可以共存多个嵌入式系统】】。点】:
.⒄棺纯嵌入式系统是将先进的计算机技术,半导体工艺、电子技术和通信网络技术金密集、高度分散、不断创新的知识集成系统。进行,因此,嵌入式系统产品~旦进入市场,一般具有较长的生命周期,嵌入式系统中的软件一般都固化在存储器芯片或处理器的内部存储器件中,对其中的程序功能进行修改,必须有一套交叉开发工具和环境才能进行开发。伺服、指示设备相配合的功能。这种系统大部分应用于~些专业性极强