嵌入式微处理器与操作系统集成验证技术研究  

Research on Integrated Validation Technology of Embedded Microprocessor and Operating System

作　　者：梁争争[1] 谭志宏[1] 王斌[1] LIANG Zheng-zheng;TAN Zhi-hong;WANG Bin(Xi′an Aeronautics Computing Technique Research Institute,AVIC,Xi′an 710000,China)

机构地区：[1]航空工业西安航空计算技术研究所,陕西西安710000

出　　处：《航空计算技术》2023年第4期98-101,共4页Aeronautical Computing Technique

基　　金：装备预研究航空工业联合基金项目资助(6141B05060402)。

摘　　要：嵌入式微处理器与操作系统是嵌入式系统设计与实现的关键组成部分。为了实现面向应用系统的集成应用方案,需要分析嵌入式处理器和操作系统在应用开发各阶段的应用需求,开展集成验证和综合评估,解决体系结构适配、开发支持、性能评估等主要问题。从嵌入式处理器和操作系统的应用关注点出发,提出集成验证的整体框架,分析验证项目及所需的验证环境要素,给出集成验证的工作流程和评估要点。Embedded microprocessor and operating system are the key components of embedded system design and implementation.In order to realize the integrated application scheme for application system,it is necessary to analyze the application requirements of embedded processor and operating system in each stage of application development,carry out integration verification and comprehensive evaluation,and solve major issues such as the architecture adaptation,development support,performance evaluation,etc.Based on the application concerns of embedded processors and operating systems,this paper puts forward the overall framework of integrated verification,analyzes the verification project and the required verification environment elements,and gives the workflow of integrated verification and the key points of evaluation.

关 键 词：嵌入式系统 微处理器 操作系统 集成验证 

分 类 号：TP332[自动化与计算机技术—计算机系统结构]