高可信嵌入式计算机系统的安全性与易用性设计

被引量 : 0次 | 上传用户:wren200
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着嵌入式技术的发展,嵌入式系统在各个领域中发挥着巨大的作用,例如航天、民用、商用、军事等。其中在某些关键领域,用户对系统的可信性要求越来越高,并且需要在设计中充分发挥嵌入式的专用性特点。目前,高可信嵌入式的研究已经越来越受到重视,为了保证系统的高可信性,安全和容错等相关技术多被系统所采用。本文在一个高可信嵌入式容错控制机的基础上,以高可信嵌入式系统的易用性及安全性作为研究重点,进行相关技术开发,满足高可信控制系统的实际应用需求。在易用性设计方面,主要考虑的是用户需求。首先,在JFFS2文件系统的基础上,设计并实现了文件存储子系统,具有日志文件存储、更新、查询等功能,为用户与系统数据信息提供良好的交互平台。另外为系统开发具有针对性的外设设备,例如多输入模式的键盘设备,显示系统状态信息的辅助液晶屏设备,及提供对外控制通信的无线通信设备。在安全性设计方面,主要考虑的是系统需求。为了保证系统不被非法用户侵入,为系统设计多级认证机制,包括SD卡认证、口令认证、指纹认证。并且为了保护系统数据安全可靠,研究并设计实现了多种系统关键信息损毁手段,并基于多级认证技术提出有效的多级自毁策略。这些技术充分为系统的高安全性提供了保障。另外,本文还运用两种方法对高可信嵌入式控制系统,进行了可靠性评估,数据显示系统满足高可靠性。同时,为了测试系统的易用性及安全性设计的功能,对整个系统及各个模块进行了相关测试。
其他文献
从上世纪80年代以来,我国毒品犯罪的形势不容乐观。近年来,吸毒人数一直猛增,涉毒区域迅速扩大,毒品犯罪案件数翻倍,案件性质恶劣,毒品种类结构、吸毒人员结构和吸毒场所改变
电弧喷涂是一项具有很大经济效益的、实用的热喷涂技术。超音速电弧喷涂技术是电弧喷涂领域内的一个重要研究方向。它利用气体动力学的有关原理,将高温燃气或高压空气通过特殊
为了解小兴安岭地区红松、平榛、毛榛三种林木种子扩散更新的方式,以及小型啮齿类与林木更新的互惠关系,我们于2008年、2009年、2010年在黑龙江省伊春市带岭区东方红林场开展
<正>本文讲述的变压器是指2KVA以下的电源变压器及音频变压器。一些电子线路设计人员及电子、电工爱好者经常碰到这样那样一些问题:若设计好的变压器但绕不下,另外,带足负载
目的观察热毒宁对鼠巨细胞病毒(MCMV)肺炎的抗病毒及免疫调节的作用。方法建立鼠巨细胞病毒肺炎模型,BALB/c小鼠随机分5组,空白对照组、免疫低下对照组、巨细胞病毒肺炎模型
近几年来太湖赤潮、滇池水华现象的爆发,充分说明对于水体富营养化的治理已经刻不容缓,治理水体富营养化的重点工作之一就是对于水体中氮、磷污染物的去除。曝气生物滤池(BAF)是
"对话"是我国新课程改革的核心精神和指导思想,对话式教学则作为新课程改革背景下的一种新型教学模式和学习方式,已经成为教育学界的普遍共识。本文旨在反思传统中学政治教学
中国画教学是新疆高校美术学科建设与发展的重要组成部分。由于地理位置、社会发展与经济水平的影响,新疆高校中国画教学的发展相对于内地起步较晚。解放后,在党和政府的大力
微信是政府提供电子化公共服务的新型平台,顺应了中国建设服务型政府的理念与要求。基于微信平台的电子化公共服务模式的特点表现在微信公众平台的服务便捷性、微信信息发布
面对全球金融危机的巨大打击,企业面临的环境更加复杂多变,发展面临更大的挑战。创业作为企业实现变革、持续成长的重要途径越来越受到人们的重视。创业导向是企业层面创业精