航空计算技术
航空計算技術
항공계산기술
AERONAUTICAL COMPUTER TECHNIQUE
2015年
2期
105-108,112
,共5页
分区操作系统%可靠性%DO-178 B
分區操作繫統%可靠性%DO-178 B
분구조작계통%가고성%DO-178 B
partition operating system%reliability%DO-178 B
嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的,是支持综合化航空电子系统的嵌入式实时操作系统,该操作系统是基于分区的高安全、高可靠操作系统,其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手,深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术,给出了软件可靠性应用的示例,并研究了操作系统软件研发中使用的可靠性管理方法,对软件的可靠性进行了总结。
嵌入式實時多分區操作繫統是專門為新一代航空電子繫統開髮的,是支持綜閤化航空電子繫統的嵌入式實時操作繫統,該操作繫統是基于分區的高安全、高可靠操作繫統,其可靠性決定瞭運行在其上的應用軟件的可靠性。從軟件可靠性概唸著手,深入研究瞭嵌入式實時多分區操作繫統開髮過程中涉及的可靠性設計技術,給齣瞭軟件可靠性應用的示例,併研究瞭操作繫統軟件研髮中使用的可靠性管理方法,對軟件的可靠性進行瞭總結。
감입식실시다분구조작계통시전문위신일대항공전자계통개발적,시지지종합화항공전자계통적감입식실시조작계통,해조작계통시기우분구적고안전、고가고조작계통,기가고성결정료운행재기상적응용연건적가고성。종연건가고성개념착수,심입연구료감입식실시다분구조작계통개발과정중섭급적가고성설계기술,급출료연건가고성응용적시례,병연구료조작계통연건연발중사용적가고성관리방법,대연건적가고성진행료총결。
Embedded real -time multiple partition operating system is developed for new avionics system and support integrated avionics system .This operating system is a kind of system based on partitions with full-high security and full-high reliability,its reliability determines the reliability of software running on it.In this paper,first we introduce the conception of reliability ,then make a comprehensive research on reliable technique in the process of embedded real-time multiple partition operating system development , and show some examples of it .And then we discuss the reliability management it used .At last,it made a conclusion about reliability .