搜索到8099篇“ 复杂嵌入式系统“的相关文章
- 复杂嵌入式系统需求一致性的组合验证方法
- 2025年
- 形式化方法在需求一致性验证领域已经取得了显著的成就.然而,随着嵌入式系统需求复杂度的不断提升,需求一致性验证面临着状态空间过大的挑战.为了有效约减验证的状态空间,同时考虑到嵌入式系统需求所涉及的设备强依赖性,提出一种复杂嵌入式系统需求一致性的组合验证方法.它基于需求分解,识别需求间的依赖关系,通过这些依赖关系组装验证子系统,从而实现对复杂嵌入式系统需求的组合验证,并能初步定位到不一致的需求.具体而言,采用问题框架方法对需求进行建模和分解,并预设领域设备知识库对设备的物理特性进行建模.在验证子系统的组装过程中,生成预期软件的行为模型,并结合物理设备的模型进行动态组装.最后,采用航空领域机载侦查系统进行了实例研究,验证了方法的可行性和有效性,并通过5个案例评估证实了验证状态空间的显著减小.此方法为复杂嵌入式系统需求的验证提供了一种切实可行的解决方案.
- 杨晓王小齐陈小红金芝
- 关键词:复杂嵌入式系统
- 超大规模复杂嵌入式系统智能电源健康管理方案的研究与实现
- 2025年
- 随着嵌入式系统朝着多元化的方向发展,以及技术的不断进步和应用需求的不断增长,嵌入式系统的硬件平台也呈现出多元化的发展趋势。从最初的简单处理器,到现在的多核处理器、FPGA、ASIC等,嵌入式系统的硬件平台越来越复杂。电源完整性面临着严峻的挑战,伴随着嵌入式系统的电源通道越来越多、功耗急剧增加、上电时序要求苛刻和复位信号分类复杂,智能数字电源健康管理单元显得越来越重要。基于TI公司的数字电源上电顺序控制电路UCD9090、数字PWM系统控制电路UCD9244实现14路电源上电顺序控制、电压监控、温度监控、复位信号及配置信号的控制。此方案与传统智能数字电源健康管理方案相比控制灵活、实现简单,且无需编写复杂代码,其在系统中的应用缩减了产品的上市时间。
- 雷志广邢磊雷志军
- 关键词:嵌入式系统
- 基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统
- 本发明公开了一种基于VHDL的复杂嵌入式系统软件需求半自动仿真方法及系统,涉及需求工程领域,包括:预定义特定领域的设备模型;根据软件需求规约中的原子控制器需求,生成原子控制器VHDL模型和数据存储VHDL模型;根据软件需...
- 金芝
- 基于领域驱动和服务化的复杂嵌入式系统软件架构设计
- 2024年
- 随着嵌入式系统应用的不断拓展,软件复杂度不断提升及需求的快速迭代引入了一系列开发、维护、进度与质量方面的风险,传统定制化的高耦合、低扩展的软件架构已不再适用。针对这一现状,文章引入了领域驱动思想及服务化设计方法,通过采取领域业务分解、事件总线技术、面向对象的设计原则等软件技术,设计了一种资源层、服务层、应用层、基础设施的通用分层软件架构。该架构通过业务逻辑与技术实现的分离的方法,能有效适应需求变化、降低系统复杂度及耦合度、提升各组件服务的复用度,能快速移植到其他运行平台,具有良好的通用性。
- 吴松森陈晓阳高春阳
- 关键词:嵌入式系统领域驱动设计分层架构软件架构
- 基于时间自动机的复杂嵌入式系统的需求仿真方法及系统
- 本发明公开了一种基于时间自动机的复杂嵌入式系统的需求仿真方法及系统,涉及需求工程技术领域,包括:预定义特定领域的设备模型;基于软件需求规约中的组合控制器需求,生成组合控制器时间自动机模型;基于软件需求规约中的原子控制器需...
- 金芝陈小红杨晓
- 一种复杂嵌入式系统虚拟运行环境可视化建模方法
- 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法,其中,包括:第一步、构建实体对象的图形化模型;第二步、配置图形化模型接口与属性;第三步、生成设备仿真模型,包括:将图形化模型描述的接口和属性转化为对应的接口函数和属...
- 付修锋孔祥炳安恒金玉川贾张涛李雅斯
- 一种复杂嵌入式系统虚拟运行环境可视化建模方法
- 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法,其中,包括:第一步、构建实体对象的图形化模型;第二步、配置图形化模型接口与属性;第三步、生成设备仿真模型,包括:将图形化模型描述的接口和属性转化为对应的接口函数和属...
- 付修锋孔祥炳安恒金玉川贾张涛李雅斯
- 航空复杂嵌入式系统时间性能仿真分析技术研究被引量:1
- 2021年
- 嵌入式计算机作为嵌入式系统的核心成员,其时间性能对系统功能性能的综合表现起着关键的作用,但随着航空成品复杂度的不断增加,传统基于文件的系统研制手段正面临着验证耗时长、难以验证充分的挑战。为提高复杂嵌入式系统时间性能分析的准确性、提前发现设计中潜在的时序安排隐患,避免系统综合阶段由于系统时序缺陷导致的设计迭代,研究了针对航空复杂嵌入式系统的时间性能分析模型搭建和分析方法,并对时间性能分析仿真工具进行了二次开发,搭建了通用化的航空嵌入式系统时间性能仿真平台,实现了基于模型的标准化、可视化、图形化的时间性能分析。
- 郑菱莎姜兵赵喆杨朝旭
- 关键词:嵌入式系统建模仿真可视化
- 复杂嵌入式系统的自动检测技术研究
- 随着复杂嵌入式系统被广泛应用在有高性能需求的领域,系统测试的复杂性被逐渐加剧。通过分析国内外自动检测系统的发展概况,针对传统自动检测系统的不足和复杂嵌入式系统的测试需求,本文开展了对复杂嵌入式系统的自动检测技术研究。文中...
- 王星斗
- 关键词:嵌入式系统DSPFPGACPCI
- 复杂嵌入式系统仿真平台
- 嵌入式系统具有应用广且专用性强的特征,导致其结构千差万别.航天领域嵌入式系统还具有诸多特殊属性,如提高可靠性的三模冗余系统、提升计算性能的主从多处理器等;由于定制性强且用量少,因此成本高、研制周期长;针对应用需求,介绍了...
- 任永青程胜
- 关键词:复杂嵌入式系统仿真平台
相关作者
- 金芝

- 作品数:176被引量:1,262H指数:17
- 供职机构:北京大学
- 研究主题:物联网 软件系统 环境本体 存储介质 软件工程
- 史飞

- 作品数:22被引量:6H指数:1
- 供职机构:中国电子科技集团第五十四研究所
- 研究主题:通信对抗 跳频信号 网台分选 数据流 分析方法
- 董云卫

- 作品数:119被引量:262H指数:8
- 供职机构:西北工业大学
- 研究主题:AADL 嵌入式软件 架构模型 AAD L模型
- 陈小红

- 作品数:73被引量:160H指数:8
- 供职机构:华东师范大学
- 研究主题:团队 同义词 设计软件 元模型 地质资料
- 陆寅

- 作品数:25被引量:44H指数:4
- 供职机构:西北工业大学
- 研究主题:AADL AAD 可调度性 L模型 PCI