基于μCOS-Ⅱ的SoC协同设计和验证

日益复杂的应用需求,使得SoC的功能复杂度、集成度以及性能迅速提高,给SoC设计和验证带来了新的挑战,势必要求我们必须采用更为可靠和有效的设计和验证方案.以软硬件协同设计方法学、验证方法学为指导,系统的介绍了某型号的基于ARM7的Soc设计过程中,以嵌入式操作系统μCOS-Ⅱ为软件平台的SoC软硬件协同设计和验证的具体过程和实施方案,最后对验证过程和结果进行了阐述和分析.     

机载电子产品硬件设计和开发验证方法思考

结合复杂机载电子设备设计和开发过程中遇到的产品验证问题,从产品需求入手,提出了一套以基于需求的设计和开发验证思路,并对各类验证方法进行了研究,为机载电子产品的设计和开发验证工作提供了一套行之有效的理论、方法和工具.     

运输机水上迫降和适航验证技术的发展

为了提高民用飞机水上迫降后机上乘员的生存率,需要进行相应的水上迫降设计并完成适航验证。本文回顾了水上迫降适航验证技术的发展,介绍了近些年出现的一些新的验证方法。     

民用飞机水上迫降适航性技术研究

基于飞机水上迫降事故案例统计分析结果,分析研究水上迫降适航性技术要求及所采用的适航符合性验证方法,同时从水上迫降适航符合性验证要求、技术思路、验证程序等方面梳理民用飞机水上迫降符合性验证工作思路,为后续民用飞机水上迫降适航性设计和验证提供参考.     

基于AFDX网络终端系统SoC的FPGA原型验证

基于商业以太网技术的AFDX网络,具有高带宽,低延迟,强实时性,高可靠性的特点已应用于在空客A380等型号上。ARINC664 Part7协议定义了AFDX网络的终端系统,交换机,以及通信机制。其中AFDX网络终端系统（ES,EndSystem）为航电系统上层应用与AFDX网络之间提供信息收发的通道。基于ARM9的AFDX—ESSoC是国内首款AFDX终端系统智能协议芯片,结合项目实践以SoC验证方法学为指导,以应用需求和ARINC664 Part7协议标准为依据,介绍了在FPGA环境下搭建验证平台,开发测试向量实施验证的过程,并对验证结果进行了分析,为成功流片提供了可靠保证。     

民用飞机适航符合性验证方法与程序研究

研究了功能危险分析、故障树分析、故障模式影响分析以及共因故障分析等安全性分析方法在民用飞机适航符合性验证中的应用,明确了各种方法的应用时机与输入输出信息.分析了民用飞机设计各阶段适航安全性工作内容,以各项安全性分析技术为基础,建立了民用飞机适航符合性验证流程,初步构建了民用飞机适航符合性验证的理论体系.     

民用飞机适航符合性验证方法探讨

适航符合性验证是民用飞机研制的特点,符合性是验证的目的,验证方法是确定验证对象是否具有符合性时所用的手段。本文通过介绍10种适航符合性验证方法以及对符合性验证方法的选用原则进行分析,正确地选择为适航管理部门所接受的适航符合性验证方法既是设计人员进行飞机设计的职责,也是保障飞机安全飞行的重要前提。     

民机高升力系统操作试验的符合性验证和设计方法研究

民机高升力系统在飞机适航审定阶段,需要表明满足CCAR25.683条款要求。针对该条款,采用何种验证方法,是适航当局和飞机设计者普遍关注的问题。通过对CCAR25.683.条款的分析,提出了将实验室验证与分析/计算相结合的符合性验证方法。实验室验证在飞机地面模拟试验台上进行高升力系统操作试验验证,分析/计算通过对设计数据和静力试验机变形数据的计算,比较理论变形差值与实测补偿量;并提出了设计阶段考虑传动线系适应机翼变形的设计补偿思路,对高升力系统的试航验证及设计具有一定的参考价值。     

民用飞机有限元模型的适航符合性验证

在民机结构强度设计及优化中，有限元模型作为一种数值计算方法已被广泛应用，并被业内所认可，但至今仍缺乏一套有效的有限元模型适航验证方法。本文从适航规章角度出发，探讨了有限元模型的验证思路和要求，梳理了验证要素，并给出了验证评价体系，可用于指导后续民机设计有限元模型适航符合性验证。     

某小型涡扇发动机增压级设计与试验验证

采用经过试验验证的一维方案设计程序包以及与轴对称流设计程序相匹配的任意中弧线叶片造型程序,运用三维计算与一维、二维气动设计相结合的方法成功地完成了某小涡扇发动机增压级气动设计,并且单独设计和加工内涵两级增压级进行了试验验证,试验结果表明,该增压级具有宽广的高效率区和高喘振裕度,设计结果与试验结果吻合较好.      

SoC技术在航电系统设计中的应用

片上系统(SoC)是目前电子技术在IC设计方面的一种发展趋势。本文通过分析运用SoC 需要解决的关键问题如微处理器核和IP核的复用等,举例介绍了基于Altera公司推出的Nios软核对多路传输数据总线接口模块进行小型化处理的一种解决方案。     

用于定位导航授时微终端的SoC系统设计

为了解决遮挡情况下的实时定位问题，美国提出了Micro-PNT方案，我国也提出了定位导航授时微终端(Micro Positioning Navigation and Timing Terminal，MPNTT)方案。定位导航授时微终端集成了卫星导航系统、微惯性测量单元、微型原子钟及处理器系统，可为终端用户提供精确可用、完好及时、连续安全的定位导航服务。介绍了一种用于定位导航授时微终端的SoC系统设计，其包括了基于SoC FPGA的硬件设计和基于GNSS/MIMU的组合导航滤波算法。SoC系统集成了FLASH、SSRAM等存储芯片，通过RS422、RS232、CAN等通信接口接收GNSS、MIMU及外源传感器信息，并在ARM核中完成组合导航算法，以得到导航结果。SoC芯片单片实现了ARM与FPGA的功能，系统集成面积满足小型化需求，为后续移植为ASIC芯片提供了基础。对组合导航滤波算法进行嵌入式软件移植并测试，结果表明：SoC系统单次惯导解算时间为7ms，实测与仿真输出的导航位置差距在0.05m以内，俯仰角差和横滚角差在0.005°以内，航向角差在0.05°以内。本文设计的SoC系统高精度、集成化、可扩展，满足了微终端的要求。     

FPGA内嵌处理器的SoPC系统设计与分析

SoPC技术是在片上系统SoC技术的基础上发展起的,二者的共同点为将处理器、存储器、IYO接口等系统设计需要的功能模块集成到一个芯片上实现。相比SoC系统,SoPC系统还具有可编程性强、产品问世周期短等优点,在保证系统性能与灵活性、提高系统执行速度的同时又可显著地降低系统成本。在对SoPC技术进行概述的基础上．较为详细地介绍了一个基于FPGA内嵌PowerPC处理器的可编程片上系统的设计,利用软硬件协同设计技术．完成软硬件划分、软硬件设计、硬件综合、软件编译以及软硬件协同验证等工作,并结合SoPC技术的特点对其优势进行了分析,对其应用前景进行了探讨。     

面向航天器系统级测试的虚拟测试方法及应用

航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。     

An attack-immune trusted architecture for supervisory aircraft hardware

With the wide application of electronic hardware in aircraft such as air-to-ground communication, satellite communication, positioning system and so on, aircraft hardware is facing great secure pressure. Focusing on the secure problem of aircraft hardware, this paper proposes a supervisory control architecture based on secure System-on-a-Chip (SoC) system. The proposed architecture is attack-immune and trustworthy, which can support trusted escrow application and Dynamic Integrity Measurement (DIM) without interference. This architecture is characterized by a Trusted Monitoring System (TMS) hardware isolated from the Main Processor System (MPS), a secure access channel from TMS to the running memory of the MPS, and the channel is unidirectional. Based on this architecture, the DIM program running on TMS is used to measure and call the Lightweight Measurement Agent (LMA) program running on MPS. By this method, the Operating System (OS) kernel, key software and data of the MPS can be dynamically measured without disturbance, which makes it difficult for adversaries to attack through software. Besides, this architecture has been fully verified on FPGA prototype system. Compared with the existing systems, our architecture achieves higher security and is more efficient on DIM, which can fully supervise the running of application and aircraft hardware OS.     

基于MCM&SOC方案的微惯性器件系统集成技术综述

近年来,在航空航天、武器装备、高端工业等领域的制导、控制等应用需求的牵引下,微惯性器件的尺寸、质量与功耗(SWaP)指标不断提升,配套电路由PCB逐步升级为ASIC。综合工艺复杂度、成本、性能潜力等因素,基于MCM和SoC的MEMS结构与ASIC系统集成方案逐步成为目前的主流选择。介绍了主流微惯性器件MEMS结构与ASIC的MCMSoC系统集成技术现状,并对各集成方案特点进行了分析对比。此外,对微惯性器件MEMS与ASIC系统集成的关键技术进行了总结。最后,简要分析了国内外差距并展望了下一步发展趋势。     

捷联惯性导航计算机小型化设计

为满足捷联惯性导航计算机的小型化和实时性要求,本文设计了一种使用基于SoC技术设计的A2F500芯片为硬件平台的实现方案。新型的导航计算机与传统的以DSP+FPGA为架构的导航计算机相比,有效地减小了体积,降低了功耗和成本,提高了系统的可靠性,达到了预期的目标,对导航计算机的进一步小型化具有重要意义。     

1553B总线接口SoC设计相关问题研究

随着电子技术的发展,实时系统对其数据总线接口的要求也越来越高.在深入研究1553B总线接口技术及协议的基础上,设计并研制了1553B总线接口SoC,该芯片自带微处理器,支持多种主机接口,可通过模式选择适配多种局部总线.同时针对所设计的SoC提出了一种通信软件的设计实现方法,该软件完成传榆层和驱动层功能.通过多种测试证明该芯片完全符合MIL-STD1553B协议,满足实时系统通信要求,具有较高的通用性、可靠性和较高的功能、性能密度.     

民用飞机高置泄漏源排液设计与验证方法研究

民用飞机高置泄漏源排液属于特殊场景排液,常规的排液设计与验证方法无法满足特殊场景排液需求。总结了民用飞机特殊场景排液设计与验证流程,分析了高置泄漏源排液需求,选定了满足定向排液功能的排液导流槽作为高置泄漏源排液装置,梳理了常规排液设计要求和针对高置泄漏源的特殊排液设计要求,论证了排液导流槽设计方案及设计确认方法,并对排液导流槽排液试验验证方法进行了研究,从而完整论证了民用飞机高置泄漏源排液设计与验证方法,对特殊场景排液设计与验证具有一定的指导意义。