公开(公告)号：CN114936028A

公开(公告)日：2022-08-23

申请号：CN202210496275.3

申请日：2022-05-09

Applicant: 河海大学

Inventor： 沈俊儒 ,  李昭斌 ,  高康悦 ,  芮楚梵 ,  刘逸辰

IPC: G06F8/53 ,  G06F8/41 ,  G06F9/54

Abstract: 本发明公开了一种分布式的物联网系统建模语言及其编译方法，步骤如下：1、按照业务逻辑使用该物联网系统建模语言书写程序，对设备及设备间联动行为进行建模；2、将该程序交由物联网系统建模语言编译器编译，产生需要被下放到各个设备的嵌入式C代码；3、将产生的C代码进一步使用硬件平台特定的嵌入式C编译器编译为机器指令，然后通过多种方式将程序下载到嵌入式设备内。本发明为设备间分布式、协作式地工作提供了一种通用、易用的解决方案；本发明提供了一种对于物联网设备及设备间联动行为建模的完备和统一的方法，具有更好的普适性；本发明充分利用系统模型的语义信息，减少了不必要的消息传递，减少了网络带宽浪费。

公开(公告)号：CN117909963A

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

申请号：CN202211239113.8

申请日：2022-10-11

Applicant: 河海大学

Inventor： 蔡淼 ,  沈俊儒

IPC: G06F21/52 ,  G06F21/57

Abstract: 本发明公开了一种进程内安全内存隔离的方法和系统，包括执行流隔离步骤：为安全域和非安全域内的程序提供隔离的栈以及运行上下文，并提供调用门机制实现安全域的切换；内存访问插桩步骤：非安全域的编译时，在内存访问的位置插入低开销的越界检测代码，若访问地址在安全域的内存范围内则进行拦截；内存系统调用监控步骤：在操作系统内核中监控并拦截运行在非安全域中的程序通过系统调用更改安全域的内存区域属性的行为。本发明解决了现有的进程内安全内存隔离技术依赖特定硬件支持，以及性能开销过高的问题。