CAJ | 학술논문

随着军用计算机技术的不断发展，软件在军用设备中的地位越来越重要。软件规模日益增大，安全性、可靠性等问题日益凸显。充分研究可信软件的特性，对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上，结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状，总结了软件可信性的评估方法。
수착군용계산궤기술적불단발전，연건재군용설비중적지위월래월중요。연건규모일익증대，안전성、가고성등문제일익철현。충분연구가신연건적특성，대제고아국군용장비기술수평의의중대。재총결학술계대가신연건정의적기출상，결합실제적군사감입식응용천술료연건가신성특점。분석료국내외군용영역연건가신성적발전현상，총결료연건가신성적평고방법。
With development of computer technology in military area ,software becomes more and more im-portant.Software size grows rapidly ,while safety and reliability problems come out evidently .Researching of trusted software is very important to improve national military technology .Based on summarization of trusted software definition , referring to application of military embedded system , characteristic of trusted software is expatiated .Development of military trusted software at Home and abroad is analyzed ,and eval-uation of software′s credibility is summarized .