检索结果-维普期刊中文期刊服务平台

基于物联网技术的危化品运输监控与管理平台被引量：8: 1; 作者陈闻杰张冠华《计算机应用与软件》 CSCD 2016年第1期45-48,共4页; 针对现有的危化品运输监控系统重监管轻服务,多头监管,以及事故处理低效的问题,提出利用多元物联网感知技术、姿态综合分析技术、数据挖掘与报表分析技术、电子地图技术、多用户权限管理技术等,实现新的监控管理平台,满足安全(事故预防... 展开更多; 关键词危化品运输监控管理平台物联网技术; 在线阅读下载PDF 职称材料

基于STP方法的SCADE模型形式化验证框架被引量：3: 2; 作者林荣峰施健 +2 位作者朱晏庆沈怡颹周宇《计算机工程》 CAS CSCD 北大核心 2019年第10期70-77,共8页; 高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSM... 展开更多; 关键词航天器系统形式化验证高安全性应用开发环境安全攸关领域模型检查时序性质; 在线阅读下载PDF 职称材料

基于生成对抗式网络的Modbus协议安全性测试方法被引量：5: 3; 作者宋岩胡志成 +2 位作者郝丽糜科方炯《电网与清洁能源》 2019年第8期8-15,24,共9页; Modbus协议作为一种在电力系统中应用广泛的通信协议,保证Modbus协议的正确应用与实现有利于保障电力系统的安全。基于此,提出一种基于生成对抗式网络的Modbus协议实现安全性模糊测试方法,通过应用生成对抗式网络架构训练Modbus通信指... 展开更多; 关键词生成对抗式网络模糊测试工业控制系统电力系统 MODBUS协议安全性; 在线阅读下载PDF 职称材料

Powerlink协议异步调度机制的建模与分析被引量：2: 4; 作者陈睿庞海萍 +2 位作者郝丽厉达杨栋《计算机工程与应用》 CSCD 北大核心 2019年第17期259-265,共7页; 针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Po... 展开更多; 关键词 POWERLINK 通信顺序进程(CSP) 建模验证流程分析工具箱(PAT); 在线阅读下载PDF 职称材料

题名基于物联网技术的危化品运输监控与管理平台被引量：8: 1; 作者陈闻杰张冠华; 机构华东师范大学国家可信嵌入式软件工程技术研究中心东方赛普物联网产业研究有限公司; 出处《计算机应用与软件》 CSCD 2016年第1期45-48,共4页; 基金国家安监总局安全生产重大事故防治关键技术科技项目(2012JS019) 工信部物联网发展专项资金项目(2013092); 文摘针对现有的危化品运输监控系统重监管轻服务,多头监管,以及事故处理低效的问题,提出利用多元物联网感知技术、姿态综合分析技术、数据挖掘与报表分析技术、电子地图技术、多用户权限管理技术等,实现新的监控管理平台,满足安全(事故预防、事故处理和事故分析)、企业管理(日常监控、驾驶行为管理、营运分析)及政府监管(数据维护、协同审批、实时监管)等多方面的需求。该平台提高了危化品运输过程的安全性,促进企业经济效益,并实现了政府各部门监管的协同性和高效性。; 关键词危化品运输监控管理平台物联网技术; Keywords Hazardous material transportation Monitoring and management platform Internet of things; 分类号 TP3 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

题名基于STP方法的SCADE模型形式化验证框架被引量：3: 2; 作者林荣峰施健朱晏庆沈怡颹周宇; 机构上海航天控制技术研究所华东师范大学国家可信嵌入式软件工程技术研究中心; 出处《计算机工程》 CAS CSCD 北大核心 2019年第10期70-77,共8页; 基金国家部委基金; 文摘高安全性应用开发环境(SCADE)的形式化验证组件Design Verifier能够验证航空航天领域嵌入式软件系统的安全性质,但不能充分描述拥有复杂时序性质的安全需求。为解决该问题,构建一种SCADE状态机的时序性质验证框架,将SCADE模型转换成NuSMV模型,并将线性时态逻辑和计算树逻辑引入SCADE模型的需求规范中。分析结果表明,借助NuSMV模型检查器及其验证结果可检验复杂时序相关的安全性质,减少模型设计阶段的错误,提高系统的安全性和可靠性。; 关键词航天器系统形式化验证高安全性应用开发环境安全攸关领域模型检查时序性质; Keywords spacecraft system formal verification Safety Critical Application Development Environment(SCADE) safety-critical field model checking temporal properties; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于生成对抗式网络的Modbus协议安全性测试方法被引量：5: 3; 作者宋岩胡志成郝丽糜科方炯; 机构国网上海市电力公司电力科学研究院华东师范大学国家可信嵌入式软件工程技术研究中心上海赛璞乐电力科技有限公司; 出处《电网与清洁能源》 2019年第8期8-15,24,共9页; 基金国家自然科学基金项目(61602178) 上海市科委科技项目(15511104700,16DZ1100600)~~; 文摘 Modbus协议作为一种在电力系统中应用广泛的通信协议,保证Modbus协议的正确应用与实现有利于保障电力系统的安全。基于此,提出一种基于生成对抗式网络的Modbus协议实现安全性模糊测试方法,通过应用生成对抗式网络架构训练Modbus通信指令生成模型。训练所得生成模型作为Modbus协议测试数据生成器,用于生成测试数据对Modbus设备进行模糊测试。对多种Modbus模拟器进行了测试,结果表明,本方法能够发现Modbus模拟器的漏洞。因此,提出的方法是一种有效的并且有良好应用前景的Modbus协议实现安全性测试方法。; 关键词生成对抗式网络模糊测试工业控制系统电力系统 MODBUS协议安全性; Keywords generative adversarial networks fuzz testing industrial control system electric system Modbus protocol security; 分类号 TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名Powerlink协议异步调度机制的建模与分析被引量：2: 4; 作者陈睿庞海萍郝丽厉达杨栋; 机构国网上海市电力公司电力科学研究院华东师范大学国家可信嵌入式软件工程技术研究中心上海赛璞乐电力科技有限公司上海丰蕾信息科技有限公司; 出处《计算机工程与应用》 CSCD 北大核心 2019年第17期259-265,共7页; 文摘针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Powerlink协议进行形式化建模的方法。使用该方法能够描述Powerlink在数据链路层上不同节点之间的通信行为,以及描述在随机产生异步请求的情况下,异步阶段的异步请求调度行为。同时,该方法也准确模拟了协议运行过程中,错误处理机制对丢失帧情况的处理过程。最后利用软件PAT(Process Analysis Toolkit)验证了这些异步调度过程是否满足优先级顺序等性质,有助于对协议的运行机制进行深入分析。; 关键词 POWERLINK 通信顺序进程(CSP) 建模验证流程分析工具箱(PAT); Keywords Powerlink Communication Sequential Process(CSP) modeling verification Process Analysis Toolkit(PAT); 分类号 TP393.04 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于物联网技术的危化品运输监控与管理平台	陈闻杰张冠华	《计算机应用与软件》 CSCD	2016	8	在线阅读下载PDF 职称材料
2	基于STP方法的SCADE模型形式化验证框架	林荣峰施健朱晏庆沈怡颹周宇	《计算机工程》 CAS CSCD 北大核心	2019	3	在线阅读下载PDF 职称材料
3	基于生成对抗式网络的Modbus协议安全性测试方法	宋岩胡志成郝丽糜科方炯	《电网与清洁能源》	2019	5	在线阅读下载PDF 职称材料
4	Powerlink协议异步调度机制的建模与分析	陈睿庞海萍郝丽厉达杨栋	《计算机工程与应用》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料