|
国家科技期刊平台
登录
|
注册
检索
高级检索
相关度
相关度
发表时间
每页显示10条
每页显示10条
每页显示20条
每页显示30条
已找到
3
条结果
模型驱动的嵌入式系统设计安全性验证方法研究
北大核心
CSCD
CSTPCD
作者:
刘雪
胡军
黄志球
马金晶
程桢
石娇洁
发表期刊:
计算机工程与科学 2015年8期
关键词:
系统安全性分析
模型驱动工程
SysML/MARTE
状态机模型
嵌入式系统
摘要:
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点.提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台…
查看全部>>
基于MRF的配电网线损原因识别方法
北大核心
作者:
拜润卿
何欣
陈仕彬
发表期刊:
沈阳工业大学学报 2021年3期
关键词:
状态机模型
原因识别
配电网
先验条件
模糊性
不确定性
电力系统
稳定性
摘要:
为了实现对配电网中高线损位置的有效控制和快速修复,确保配电网能够持续供电,提升电力系统运行的稳定性,提出一种基于MRF的配电网线损原因识别方法.结合状态机模型建立配电网线损原因识别模型,确定与配电网线损位置有关的先验条件,利用MRF的模糊性和不确定性对配电网线损原因进行识别.结果表明,所提出方法与经典的支持向量机和神经网络分类算法相比,样本训练时间、运算时间较短,线损的原因识别正确率可达到82.6%,具有运算速度快、操作简单和识别正确…
查看全部>>
一种嵌入式系统模型的安全性分析验证方法
CSTPCD
作者:
石娇洁
胡军
刘雪
马金晶
黄志球
程桢
发表期刊:
计算机技术与发展 2015年10期
关键词:
系统安全性分析
模型驱动
SysML/MARTE
XFTA
状态机模型
嵌入式系统模型
摘要:
由于嵌入式系统模型设计周期越来越短,功能越来越复杂,其安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。针对这种情况,文中提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性分析验证方法。具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及高级安全性建模与分析语言AltaRica的语义模型GTS的元模型,然后建立了从SysML/MARTE状态机模型到AltaRica模型的语…
查看全部>>