基于处理器分核以及虚拟机的实时通信平台

    公开(公告)号:CN103957233A

    公开(公告)日:2014-07-30

    申请号:CN201410116628.8

    申请日:2014-03-26

    Abstract: 基于处理器分核以及虚拟机的实时通信平台,涉及网络技术领域,为由Windows操作系统、TCP/IP协议、以太网构建的分布式系统提供实时通信能力。它包括运行于校时主节点的子系统以及运行于校时从节点的子系统;前者包含实时通信协议栈主站模块、时间同步算法主站模块和RTX设备驱动模块;后者包含支持实时虚拟通信机的VMM模块、实时协议栈从站模块以及时间同步算法从站模块。实现使用实时通信平台来完成数据的实时、确定传输;保证应用之间的数据实时有效性,为分布式系统的实时数据交互提供支持;在实时通信的基础上提供了高精度实时时钟功能,通过内置的校时机制提供系统级高精度时间,保证分布式系统内每个节点的时钟一致性,为分布式系统提供一致的时间标尺。

    基于Modelica模型的AUTOSAR工具箱
    12.
    发明公开

    公开(公告)号:CN118094863A

    公开(公告)日:2024-05-28

    申请号:CN202311751211.4

    申请日:2023-12-19

    Abstract: 本发明公开了一种基于Modelica模型的AUTOSAR工具箱,该工具箱以Modelica语言为基础表示AUTOSAR标准电子架构模型,并在此基础上提供一系列AUTOSAR功能的支持,包括AUTOSAR模型配置、AUTOSAR元素映射、ARXML文件转换、符合AUTOSAR标准的C语言代码自动生成、模型仿真和通过Julia函数库创建、配置和使用AUTOSAR模型。本发明实现了将MBSE方法论引入到AUTOSAR模型的建模过程中,能够帮助用户快速、准确地表达AUTOSAR模型的信息,有效地降低了AUTOSAR模型的建模难度和复杂性,确保系统的质量和遵循标准,促进模块化和复用。

    一种城市VANETs的多跳警告广播方法

    公开(公告)号:CN104394007B

    公开(公告)日:2018-10-09

    申请号:CN201410798374.2

    申请日:2014-12-19

    Abstract: 一种城市VANETs的多跳警告广播方法,本发明涉及多跳警告广播方法。本发明是要解决多跳广播导致信息冗余和信息包碰撞、MANET广播风暴的解决方案不完全适合应用于VANET、目前抑制广播风暴的方法限制了转发信息的中继节点数量、基于位置机制有相对较低的广播冗余和延迟的问题而提出一种城市VANETs的多跳警告广播方法。该方法是通过1、确定转发节点和转发节点的方向;2、确定邻居节点转发概率Pi;3、建立指数公式;4、确定为中继节点;5、警告广播信息被重播等步骤实现的。本发明应用于城市VANETs的多跳警告广播领域。

    一种VANETs中V2V链路延迟的动态预测方法

    公开(公告)号:CN104064029B

    公开(公告)日:2016-03-02

    申请号:CN201410318558.4

    申请日:2014-07-07

    Abstract: 一种VANETs中V2V链路延迟的动态预测方法,本发明涉及一种VANETs中V2V链路延迟的动态预测方法。本发明是要解决不能精确地实际预测链路延迟;基于MANETs的方法不满足车载网络环境和应用的需求以及驾驶员很难发现汽车节点速度变化的一般规律,进而给预测链路延迟带来了很大的困难的问题,而提出的一种VANETs中V2V链路延迟的动态预测方法。该方法是通过1、计算两车的相对速度值△v;2、计算两车车头的相对位移值△S;3、计算出的速度差平均值u、方差σ2,4、计算相对距离为L;5、计算链路延迟的数学期望值ET;等步骤实现的。本发明应用于VANETs中V2V链路延迟的动态预测领域。

    一种符合AUTOSAR标准的C语言代码自动生成方法

    公开(公告)号:CN117971179A

    公开(公告)日:2024-05-03

    申请号:CN202410043159.5

    申请日:2024-01-11

    Abstract: 本发明公开了一种符合AUTOSAR标准的C语言代码自动生成方法,所述方法如下:S1、编写支持Modelica模型信息获取的程序代码;S2、编写支持AUTOSAR项目信息解析的程序代码;S3、编写与C代码生成选项有关的JSON配置文件;S4、编写C代码生成模板;S5、更新映射信息。本发明考虑到Modelica语言具有多领域建模的全面性、基于方程的系统描述、可重用和层次化建模等特点,挖掘了Modelica语言在AUTOSAR系统中建模的潜力,并在Modelica语言表示AUTOSAR模型的基础上生成符合AUTOSAR标准的C语言代码,填补了Modelica模型生成AUTOSAR标准C代码的空白。

    一种AUTOSAR工具箱函数库的实现方法

    公开(公告)号:CN117891438A

    公开(公告)日:2024-04-16

    申请号:CN202410031121.6

    申请日:2024-01-09

    Abstract: 本发明公开了一种AUTOSAR工具箱函数库的实现方法,所述方法包括如下步骤:步骤S1、编写Modelica模型处理程序代码;步骤S2、编写AUTOSAR工具配置文件处理程序代码;步骤S3、将待实现的函数库进行拆分,包括顶层功能和底层功能;步骤S4、在高级程序语言中实现拆分得到的底层功能,封装为底层功能模块,同时提供清晰的接口,以便顶层功能调用;步骤S5、在Julia中实现函数库的顶层代码,调用底层功能模块,对其进行包装,以完成AUTOSAR工具箱函数库的实现。该方法支持批量的处理AUTOSAR模型,提升了汽车电子电气架构的设计效率,降低了汽车软件的开发成本,具有广阔的应用前景。

    基于XML文件的AUTOSAR项目配置和实现方法

    公开(公告)号:CN117785269A

    公开(公告)日:2024-03-29

    申请号:CN202311822887.8

    申请日:2023-12-27

    Abstract: 本发明公开了一种基于XML文件的AUTOSAR项目配置和实现方法,所述方法包括如下步骤:S1、设计自定义的XML文件结构内容,以存储AUTOSAR项目的配置信息;S2、在程序源代码中将XML文件结构内容进行表示;S3、对XML文件中的内容进行读取并显示;S4、用户对AUTOSAR项目配置信息进行修改,AUTOSAR工具将结果写回到AUTOSAR配置文件中。本发明综合了手动配置和可视化建模配置的优点,能够处理复杂的AUTOSAR模型建模配置任务,提升汽车电子架构设计的效率和质量,以通用的XML文件存储配置信息,能够促进AUTOSAR更好的标准化和工具间协同发展,具有广阔的应用前景。

    一种基于SysML模型的代码自动生成方法

    公开(公告)号:CN116909544A

    公开(公告)日:2023-10-20

    申请号:CN202310902130.3

    申请日:2023-07-21

    Abstract: 一种基于SysML模型的代码自动生成方法,属于计算机技术领域,所述方法包括如下步骤:一、根据SysML规范,对建立的SysML模型进行多层次模型校验,确保SysML模型是合法有效的;二、依据所建立的模型内容文件,结合模型内的多种视图,对SysML模型进行转换与解析;三、进行组件定义与管理;四、规格化代码映射模板构建;五、进行层次化代码自动生成,生成最终的目标语言代码。本发明可将MBSE和MDA方法进行统一协作,为SysML模型的实现提供了具体的手段,有效降低模型设计开发难度,提升了在MBSE方法中模SysML模型的设计开发能力,保障了系统模型开发实现的效率和质量。

    一种知识与模型驱动的机载软件智能化失效模式分析方法

    公开(公告)号:CN116483705A

    公开(公告)日:2023-07-25

    申请号:CN202310411559.2

    申请日:2023-04-17

    Abstract: 一种知识与模型驱动的机载软件智能化失效模式分析方法,属于计算机软件技术领域。所述方法为:通过解析和挖掘适航标准文本,构建适航标准‑准则知识‑失效模式库。基于解析适航标准‑准则知识‑失效模式库以及机载软件失效数据,构建机载软件分析知识图谱。利用适航标准知识提取过程中获得的安全概念及其关系作为参考,扩展SysML语义,基于扩展的SysML建模机载软件系统需求。解析软件需求,利用机载软件分析知识图谱推荐适用的失效模式分析准则,依据不同失效模式类别,遍历需求模型,进行失效影响分析。本发明通过知识库构建与迭代学习,不断扩充知识库,失效模式的完备性显著得到提升,最大限度地挖掘潜在失效,提高软件质量,降低软件开发成本。

    一种城市VANETs的多跳警告广播方法

    公开(公告)号:CN104394007A

    公开(公告)日:2015-03-04

    申请号:CN201410798374.2

    申请日:2014-12-19

    Abstract: 一种城市VANETs的多跳警告广播方法,本发明涉及多跳警告广播方法。本发明是要解决多跳广播导致信息冗余和信息包碰撞、MANET广播风暴的解决方案不完全适合应用于VANET、目前抑制广播风暴的方法限制了转发信息的中继节点数量、基于位置机制有相对较低的广播冗余和延迟的问题而提出一种城市VANETs的多跳警告广播方法。该方法是通过1、确定转发节点和转发节点的方向;2、确定邻居节点转发概率Pi;3、建立指数公式;4、确定为中继节点;5、警告广播信息被重播等步骤实现的。本发明应用于城市VANETs的多跳警告广播领域。

Patent Agency Ranking