公开(公告)号：CN108509185A

公开(公告)日：2018-09-07

申请号：CN201810159559.7

申请日：2018-02-26

申请人： 通用电气公司

发明人： 任立凌 ,  郁涵 ,  G.R.赛克斯 ,  M.R.杜尔林 ,  萧洁恩 ,  S.A.斯塔西

IPC分类号： G06F8/30

摘要： 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。

公开(公告)号：CN114398030A

公开(公告)日：2022-04-26

申请号：CN202210046986.0

申请日：2018-02-26

申请人： 通用电气公司

发明人： 任立凌 ,  郁涵 ,  G.R.赛克斯 ,  M.R.杜尔林 ,  萧洁恩 ,  S.A.斯塔西

IPC分类号： G06F8/30 ,  G06F8/20 ,  G06F8/34 ,  G06F8/35

摘要： 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。

公开(公告)号：CN108509185B

公开(公告)日：2021-11-30

申请号：CN201810159559.7

申请日：2018-02-26

申请人： 通用电气公司

发明人： 任立凌 ,  郁涵 ,  G.R.赛克斯 ,  M.R.杜尔林 ,  萧洁恩 ,  S.A.斯塔西

IPC分类号： G06F8/30

摘要： 根据一些实施例，任意软件逻辑建模（“ASLM”）数据源可以存储与单元相关联的电子记录，各电子记录包括单元标识符、一个或更多个识别标签、上下文数据、单元参数、单元变量以及内部逻辑。ASLM平台可以表达逻辑块等级下的系统要求，并且，根据系统要求而建立作为自包含实体和连接的逻辑块（所建立的逻辑块用图形表示系统逻辑）。然后，ASLM平台可以自动地对系统逻辑显式地进行转换，以输出与语言无关的公共设计信息交换模型信息。ASLM平台还可以转化且维持系统要求、公共设计信息交换模型信息以及所生成的代码之间的可追踪性。