关键嵌入式软件全生命周期质量控制设想

Life-Cycle Quality Control Plan of Safe-Critical Embedded Software

随着数字化芯片以及软件技术的发展,软件越来越广泛地被用在智能化装备中,而且功能占比越来越大,软件失效将带来重大损失,这对软件的可信性提出了更高的要求.基于自然语言文档传递软件信息的传统软件开发模式,详细分析了在提升软件可信性方面存在的瓶颈问题,提出了基于模型的软件开发的Y模型,该新模式将软件需求分析与设计融合,引入形式化验证手段,在全生命周期开展形式化验证和仿真验证,确保软件可信.

With the development of digital chips and software technology, software is more and more widely used in the intelligent equipment and its function accounted for larger, many of the key function implementation is borne by the software, the software failure will bring heavy losses, the credibility of software put forward higher requirements. In this paper, a detailed analysis was made based on the bottleneck problem in natural language documents transfer software information of the traditional software development model in the presence of enhancing software dependabil- ity. The new software development model based on the model was put forward, software requirement analysis and de- sign integration, introducing the formal verification, life cycle to carry out formal verification and simulation verifica- tion and ensure the trusted software.