公开(公告)号：CN110673843B

公开(公告)日：2021-07-16

申请号：CN201910869507.3

申请日：2019-09-16

Applicant: 上海交通大学

Inventor： 戴文斌 ,  孙伟奇

IPC: G06F8/35 ,  G06F8/70 ,  G06F8/65

Abstract: 本发明公开了一种基于数据的软件模块行为状态机还原方法，涉及计算机黑盒软件模块的行为状态还原技术领域，所述方法包括以下步骤：首先对软件模块的原始数据进行预处理，将所述原始数据转化为布尔数值型数据，并分离成训练数据集、验证数据集、测试数据集；其次构造状态机模型的生成规则，得到所述状态机模型；最后通过所述状态机模型，实现所述软件模块行为的还原。本发明基于已有的大量工业控制软件运行反馈的数据，对无源码软件的行为功能进行还原，增强工业软件模块的可塑性与可扩展性，缩减工业控制软件的开发周期，降低其开发成本。

公开(公告)号：CN109918050A

公开(公告)日：2019-06-21

申请号：CN201910104562.3

申请日：2019-02-01

Applicant: 上海交通大学

Inventor： 戴文斌 ,  宋亦能 ,  杨根科

IPC: G06F8/10 ,  G06F17/22

Abstract: 本发明公开了一种软件需求描述规则语言与转换方法，涉及软件需求描述技术领域。该软件需求描述规则语言使用JSON格式模型，基于JSON格式的描述方式对软件需求进行描述。按照面向对象的模型描述规则来定义层级结构，通过对象的嵌套表示上下层级之间的关系，层级结构的节点对象的属性包括基础属性与扩展属性。基础属性包括ID、名称、类型。扩展属性由使用者自行定义。本发明提出的转换方法用于实现所述软件需求描述规则语言与UML软件需求描述语言之间的相互转换，可以将UML格式模型转为JSON格式模型；还可以将JSON格式模型转为UML格式模型。本发明可以得到结构简洁的模型，并使之具有较高的通用性及易读性，较低的专业知识要求和较高的可扩展性。

公开(公告)号：CN109542069A

公开(公告)日：2019-03-29

申请号：CN201811541961.8

申请日：2018-12-17

Applicant: 上海交通大学

Inventor： 戴文斌 ,  关新平

IPC: G05B19/418 ,  G05B19/05

Abstract: 本发明公开了一种基于时间与事件混合驱动的分布式控制系统及方法，涉及计算机领域，所述分布式控制系统包括可编程逻辑控制器；所述可编程逻辑控制器包括程序块、事件缓存池、时钟；所述程序块包括功能块，事件源功能块，终点功能块；所述功能块包括功能用户代码模块，功能输入端，功能输出端；所述事件源功能块包括源用户代码模块、源输出端；所述终点功能块包括终点用户代码模块、终点输入端；所述可编程逻辑控制器的关联模块通过事件连接；所述基于时间与事件混合驱动的分布式控制方法采用所述分布式控制系统。通过本发明的实施，可消除硬件性能不同带来的影响，可大幅度提升执行效率，确保任务完成的实时性与准确性。