专利交易市场

一种嵌入式软件SysML模型状态空间约简方法，包括以下步骤：步骤1000，获取嵌入式软件的SysML状态图模型SDM＝(S,S0,R,T,P)；步骤2000，将嵌入式软件的SysML状态图模型SDM转换为用二维数组表示的邻接矩阵A；步骤3000，进行基于邻接矩阵状态空间约简，得到约简后的邻接矩阵A'；步骤4000，将约简后的邻接矩阵A'，转换为新SysML状态图SDM'。本发明有效提升验证效率。

本发明提供一种嵌入式软件调测方法，包括：步骤A，预先确定调试用的宏，在宏内定义与bsp层函数及系统软件层声明相同的假函数；步骤B，针对嵌入式软件的代码，编写两份编译文件A和文件B，编译文件A用于在PC上调试使用，编译文件B用作正常生成可在嵌入式设备运行的可执行程序使用；步骤C，利用编译文件A生成在PC上运行的可执行程序，通过PC上的软件开发环境中自带的调测功能对代码进行初步调试；步骤D，经过步骤C调试后，利用编译文件B生成可在嵌入式设备上运行的可执行程序，支持对程序bsp层做进一步调试。本发明能够有效提高软件调测效率并能区分软硬件故障。

本发明公开了嵌入式软件安全性的基于事件结构的自动化验证装置，包括验证本体、活动套筒和转板，所述验证本体的正面安装有两组活动套筒，所述验证本体的正面安装有转板；所述验证本体的两侧外壁均安装有连接块，所述连接块的顶部安装有盒盖，两组所述连接块的顶部均安装有微型双向电机。本发明中可通过指纹识别开启装置，其具备安全性，且减少使用者的动手次数，装置中安装有智能手环和定位器，二者支架无线连接，定位器可活定位，而后将定位信息传递至智能手环处，便于使用者随时了解本装置所处位置，可具备防丢失功能，本装置具备抽拉便携，本装置所使用的方法能够提供反例，便于说明系统中的深层次错误，并方便知道排错。