用于通过计算单元的复合体来提供功能的方法

    公开(公告)号:CN116015704A

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

    申请号:CN202211284650.4

    申请日:2022-10-20

    Abstract: 本发明涉及一种用于通过在其中实施计算实例的计算单元的复合体来提供功能的方法,其中每个计算实例都借助于至少一种算法来实现所述功能并且被设立为响应于对所述功能的调用来确定至少一个结果,所述方法包括:为所述计算实例中的每个计算实例确定完整性等级;从订户接收功能请求,其中所述功能请求包括质量要求,所述质量要求包括完整性要求;根据所述质量要求来选择所述计算实例中的多个计算实例,使得所选择的计算实例的完整性等级对应于所述完整性要求;根据所述功能请求来调用在所选择的计算实例中的所述功能,以便确定多个结果;基于所述结果在考虑所述质量要求的情况下确定响应;而且向所述订户发送所述响应。

    用于通过计算单元的联合体提供函数的方法

    公开(公告)号:CN116010078A

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

    申请号:CN202211285370.5

    申请日:2022-10-20

    Abstract: 用于通过计算单元的联合体提供函数的方法。本发明涉及用于通过计算单元的联合体在使用多个计算实例的情况下提供函数的方法,其中每个计算实例借助于至少一个算法实现函数,并且被设立用于在计算实例被执行时,响应于所述函数的调用确定至少一个结果,所述方法包括验证计算实例,其中为每个计算实例检验所述计算实例是否对应于相应的预定状态;对于计算单元中的每一个确定相应的可靠性水平;开始在计算单元中执行经成功验证的计算实例,所述计算单元具有等于或大于预定的最小可靠性水平的可靠性水平;从用户接收函数请求;根据所述函数请求在所执行的计算实例的至少一部分中调用函数以便确定多个结果;基于结果确定响应;和向用户发送所述响应。

    用于检测数据的方法、用于更新情景目录的方法、设备、计算机程序和机器可读的存储介质

    公开(公告)号:CN108401234B

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

    申请号:CN201810113429.X

    申请日:2018-02-05

    Abstract: 一种用于检测车辆的数据的、尤其至少部分自动化地运行的车辆的数据的方法,所述车辆具有至少一个传感器、尤其环境传感器、尤其视频传感器、雷达传感器、激光雷达传感器、超声传感器、红外传感器,和/或尤其用于接收GPS、GLONASS或伽利略信号的GNSS传感器,和/或尤其用于发动机控制、用于人员保护装置的控制、用于辅助和/或舒适功能控制的车辆传感器、尤其加速度传感器、转速传感器、压力传感器,和至少一个存储器、尤其环形存储器,所述方法具有以下步骤:检测所述至少一个传感器的数据;将所述数据存储在所述存储器、尤其所述环形存储器中;检测事件;在所检测的事件的时刻首次存储所述存储器的、尤其所述环形存储器的内容。

    用于基于模型测试技术系统的方法、设备和计算机程序

    公开(公告)号:CN114201937A

    公开(公告)日:2022-03-18

    申请号:CN202111093122.6

    申请日:2021-09-17

    Abstract: 本发明涉及一种用于测试技术系统、尤其是安全性相关的技术系统的计算机实现的方法(100),所述技术系统尤其包括软件组件和/或硬件组件,其中,所述方法包括以下步骤:提供(110)所述技术系统的模型(200);提供(120)对所述技术系统的要求(A,G)的集合;将相应的要求(A,G)转换为至少一个形式逻辑的至少一个形式表达,其中,基于所述要求(A,G)的特性从包括至少两个形式逻辑的逻辑集合(L)中选择(130)所述形式逻辑;检验(150)所述模型(200)是否满足相应的要求(A,G),其中,通过实施用于相应的形式表达的至少一个程序求解器来进行所述检验(150)。本发明还涉及一种计算机程序以及一种设备。

    用于检测数据的方法、用于更新情景目录的方法、设备、计算机程序和机器可读的存储介质

    公开(公告)号:CN108401234A

    公开(公告)日:2018-08-14

    申请号:CN201810113429.X

    申请日:2018-02-05

    Abstract: 一种用于检测车辆的数据的、尤其至少部分自动化地运行的车辆的数据的方法,所述车辆具有至少一个传感器、尤其环境传感器、尤其视频传感器、雷达传感器、激光雷达传感器、超声传感器、红外传感器,和/或尤其用于接收GPS、GLONASS或伽利略信号的GNSS传感器,和/或尤其用于发动机控制、用于人员保护装置的控制、用于辅助和/或舒适功能控制的车辆传感器、尤其加速度传感器、转速传感器、压力传感器,和至少一个存储器、尤其环形存储器,所述方法具有以下步骤:检测所述至少一个传感器的数据;将所述数据存储在所述存储器、尤其所述环形存储器中;检测事件;在所检测的事件的时刻首次存储所述存储器的、尤其所述环形存储器的内容。

Patent Agency Ranking