公开(公告)号：CN118679450A

公开(公告)日：2024-09-20

申请号：CN202380017287.6

申请日：2023-01-30

Applicant: 三菱电机株式会社

Inventor： B·鲍耶尔 ,  F·费索尔 ,  G·梅尔基翁

IPC: G06F7/499

Abstract: 本公开涉及一种用于将输入计算机程序转换为具有目标全局精度的输出计算机程序的计算机实现的方法，该方法包括：‑接收输入计算机程序中所包括的各个数学函数的目标内部精度；‑分析输入计算机程序以确定描述数学函数调用之间的依赖关系的依赖关系图，其中，针对各个处理的数学函数，通过以下步骤来根据依赖关系图处理数学函数：‑使用值范围确定工具以基于针对所处理的数学函数根据依赖关系图所依赖的数学函数获得的各个合成数学函数来生成所处理的数学函数的值范围；‑使用合成工具来生成具有目标内部精度的合成数学函数，其中，通过用对与各个数学函数对应的合成数学函数的调用替换各个数学函数调用来生成输出计算机程序。

公开(公告)号：CN117836762A

公开(公告)日：2024-04-05

申请号：CN202280057406.6

申请日：2022-05-19

Applicant: 三菱电机株式会社

Inventor： B·鲍耶尔 ,  片冈江利

IPC: G06F16/25 ,  G06F16/21 ,  G06F16/23

Abstract: 示例包括一种用于将具有输入格式的输入数据库转换成具有输出格式的输出数据库而同时减少转换错误并确认输出数据的方法。

公开(公告)号：CN115836290A

公开(公告)日：2023-03-21

申请号：CN202180046048.4

申请日：2021-03-11

Applicant: 三菱电机株式会社

Inventor： B·鲍耶尔

IPC: G06F21/57

Abstract: 本公开涉及一种用于验证计算机程序对安全策略的实现的方法。该方法包括获得(S3)计算机程序。该方法还包括基于获得(S2)安全策略对应表，利用包括与计算机程序的关键指令所输出的变量关联的预期安全类型的至少一个注释对计算机程序进行注释(S4)。该方法还包括基于获得(S1)传播规则集，分析注释的计算机程序的指令以将传播的安全类型与注释的计算机程序的指令所输出的各个变量关联(S5)。该方法还包括通过对传播的安全类型和预期安全类型进行比较(S6)来验证安全策略的实现。本公开还涉及对应计算机程序、对应计算机可读存储介质和对应处理电路。