【摘 要】
：
航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有更高的要求.如何开发安全可靠的机载软件,同时有效的控制开发时间和成本是当前面临的一个重大挑战.将软件体系结构
【机 构】
：
北京航空航天大学计算机学院 北京 100191
【出 处】
：
全国抗恶劣环境计算机第二十四届学术年会
论文部分内容阅读
航空电子系统是安全关键的嵌入式系统,其对安全性和可靠性有更高的要求.如何开发安全可靠的机载软件,同时有效的控制开发时间和成本是当前面临的一个重大挑战.将软件体系结构从软件中抽取出来,得到独立的软件体系结构,可以实现单独分析和验证软件体系结构.在本文中,提出一种基于ARINC653规范的机载软件体系结构建模方法,并以此模型为基础生成机载软件框架C代码和配置文件.从任务、分区和模块三个层次描述基于ARINC653机载软件体系结构模型,定义了描述模型的语法.详细讨论了从模型生成软件框架C代码的具体算法.最后使用实现的工具进行了软件体系结构建模和软件架构代码生成的实验。
其他文献
安徽喜洋洋农资连锁有限公司于2006年在安徽成立。成立初期,同行业名流人士都认为在一个与农民打交道的行业做连锁,操作过早,时机不成熟,大多数人认为喜洋洋只是挂牌做广告而
对由于传输信道干扰而产生的分形压缩编码数据传输时产生的图像坏块 ,提出了一种检测方法 ,并用遗传算法在该图像中搜索坏块的相似块 ,用相似块来取代坏块 ,从而达到误差掩蔽
藕池河水,纵情欢唱;百亩沙洲,花开烂漫。在伟大领袖和导师毛主席的《七·三○指示》发表十六周年前夕,我们访问了藕池河畔的华容县操军公社护安大队五七劳动学校。这是一所
随着时代的变化与发展，社会及各单位对所用人才也提出了更高的要求，而高中学生作为新一代的社会主义接班人，对我国今后的发展及建设有着极其重要的作用。高中生物知识是高中学生
天津市某些负责人紧跟林彪、“四人帮”篡党夺权的反革命步伐,在我市教育战线制造了一起起所谓“复辟”、“回潮”的事件,打击陷害广大干部和教师,搞乱学校,使我
Some of T
诚信是一切商务活动的基本准则,在电子商务发展的现阶段,商务诚信是迫在眉睫需要解决的问题之一。由于各种现实原因,导致目前我国电子商务活动出现诚信危机。我们应该积极探
六月二十九日的下午,天下着大雨,金北小学的二十多个老师为了更好地实现毛主席所提出的教育方针,来到金南乡的幸福五社,总结和交流勤工俭学的教育经验。五三班的班主任余学
高中思想政治学科核心素养中所讲的公共参与，参与的主体是公民，参与的要求是有序参与公共事务，勇于承担社会责任，积极行使人民当家作主的政治权利。
今后十多年，既是中国就业总量压力最大的时期，也是就业结构调整的关键时期。我们将坚持市场配置劳动力资源的改革方向，并把就业作为宏观调控的主要目标之一，在总量上减少劳动力的供给，增加劳动力的需求，在结构上重点做好国有企业下岗职工的再就业和农村劳动力的转移工作；同时进一步完善失业保险，保证劳动力流动过程中的社会稳定。
论市场经济条件下的法律精神■冯华昕在社会主义市场经济条件下，重塑现代法律精神，确立经济行为的秩序原则，奠定法治之国的价值基础，已成为中国当代法哲学的崇高使命。在经济模式