排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
本文结合作者课题内容,介绍了一种运行时验证技术中的监控器构造方法。该方法完整涵盖了从性质规约到监控器模型再到监控程序的全过程,过程中使用了相关开源的第三方软件使得该方法的自动化程度较高。同时由于该监控器的构造是基于三值语义,使得该监控器在一定意义上具有预测性。 相似文献
3.
精确干扰是电子战领域的新概念,核心思想是通过集群无人机将干扰功率高效、精确地投送至目标设备,且不影响友邻设备的正常工作。然而,当前的窄带波形设计方法无法精确控制目标区域内的最低合成功率,在实际中难以实施有效干扰;而现有的宽带波形设计方法的计算效率较低。为了解决上述问题,分别针对窄带和宽带信号模型提出2种精确干扰波形设计方法。在窄带波形设计方法中,以最小化友邻区域的最大合成功率为目标,并将目标区域的最小合成功率高于给定阈值作为约束条件,以半定规划方法求解波形协方差矩阵;在宽带波形设计方法中,首先将波形的四次目标函数降为二次,然后以交替最小化方法进行求解。仿真实验表明,提出的窄带波形设计方法较现有算法具有更好的干扰有效性,宽带波形设计方法具有更高的计算效率。 相似文献
4.
5.
一种嵌入式操作系统运行时验证方法 总被引:2,自引:0,他引:2
作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。 相似文献
1