【摘 要】
：
为了保证任务的执行免受事件驱动行为的影响,安全关键控制系统软件设计时应当避免使用任何时间不确定的结构。时间触发软件是时间触发架构重要的组成部分,具有较高的可靠性和确定性,易于开发和综合。重点研究了时间触发软件的体系架构、时间触发操作系统的调度策略和任务管理策略。同时容错通信层的实现使得副本的数目、表决和重新综合对于应用软件完全保持透明。总之,时间触发操作系统和容错通信层可以使应用软件和安全关键控制
【机 构】
：
飞行器控制一体化技术重点实验室,中国航空工业集团公司西安飞行自动控制研究所
论文部分内容阅读
为了保证任务的执行免受事件驱动行为的影响,安全关键控制系统软件设计时应当避免使用任何时间不确定的结构。时间触发软件是时间触发架构重要的组成部分,具有较高的可靠性和确定性,易于开发和综合。重点研究了时间触发软件的体系架构、时间触发操作系统的调度策略和任务管理策略。同时容错通信层的实现使得副本的数目、表决和重新综合对于应用软件完全保持透明。总之,时间触发操作系统和容错通信层可以使应用软件和安全关键控制算法的开发更加简单和快捷,也更易于测试和验证。
其他文献
目的:用高效液相色谱法测定聚甲酚磺醛溶液中间甲酚-6-磺酸二聚体的含量.方法:采用ODS色谱柱(Shim-pack CLC-ODS,150 mm×6 mm,5μm),流动相为甲醇-1%醋酸铵水溶液(40∶6
粮食流通体制改革作为新一届政府提出的五项改革的首要内容,已于近期拉开了帷幕,并受到社会各界的普遍关注.本刊记者就这次粮食流通体制改革的有关问题采访了省财政厅副厅长
目的:观察复方环丙沙星烧伤凝胶对动物实验性烫伤创面愈合的影响.方法:通过对创面羟脯氨酸的测定及分别对家兔、豚鼠Ⅱ°Ⅲ°烫伤模型的愈合时间进行观察研究.结果:
目的:观察丙泊酚静脉预充给药用于人工流产手术麻醉的临床效果.方法:ASAⅠ～Ⅱ,年龄18～43岁,行人工流产手术患者227例,随机分为2组.对照组(121例)直接入手术室,静注阿托品0.25 m
针对目前基于图像特征的数字水印对非等比例缩放攻击鲁棒性不足的现状,提出了一种模板和图像特征相结合的水印算法。该算法首先利用模板信息纠正非等比例缩放的攻击,再用Harris-Laplacian检测算子从载体图像中提取出稳定的特征点,然后根据特征尺度自适应确定局部特征区域,并采用圆环量化的方法将水印信息嵌入到局部特征区域中。实验表明,新算法可以保证水印的不可见性,而且对常规信号处理和几何攻击尤其是非等
在我国经济飞速发展的态势下,人民群众的生活出现了极大的改观,同时对房屋建筑质量有着更高的要求。在整个建筑工程中,防水防渗施工技术的应用质量,将直接影响建筑工程的使用
调控反致房价飙升今年全国“两会”期间，住建部部长姜伟新接受媒体采访时曾强调，在“国五条”的严格执行下，相信房价会按照国务院调控的趋势走。然而就在3月份，各地房价却再次暴
局部保持投影算法(LPP)是拉普拉斯映射(LE)的线性近似,但LPP作为一种无监督方法,并没有有效利用已有的类别信息提高分类效率。为此提出一种基于类别信息的监督局部保持投影方法(SLPP-LI)。在学习投影矩阵时,SLPP-LI综合利用了流形的几何结构和已有训练点的类别信息,通过调整控制参数的取值,有效地利用已知的低维信息,并且直接求解线性方程获得高维数据的低维模型。通过在多个人脸数据库和手写数字
“金山工程”是湖北省宜昌市财政部门按照社会主义市场经济和效益财政理论要求,以提高财政支农效益为目的,以科技为先导,以市场为导向,科学运用财政政策、财政资金,重点支持
针对当前企业资源计划(ERP)系统在中小型企业实施成本高、失败率高、个性化需求无法得到满足的问题,提出了基于Eclipse插件技术的ERP系统开发平台——VWESA。该平台按照面向服务架构(SOA)规范对企业业务流程及其功能进行小粒度服务抽取,并使用页面编辑环境和ERP-BPEL(业务流程执行语言)进行业务流程建模,最终由平台的解释引擎解释、生成基于Web service的ERP Web系统。经实