期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一个基于形式化方法的系统安全性建模分析实例研究
被引量:
1
1
作者
石梦烨
胡军
+2 位作者
陈朔
唐红英
王立松
《小型微型计算机系统》
CSCD
北大核心
2020年第2期327-332,共6页
随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包...
随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包括:在系统模型设计层级对机轮刹车系统(WBS)的架构进行层次化分析,将自然语言描述的WBS系统功能用形式化语言(AADL的子集SLIM)进行严格的建模描述,消除AIR6110标准中自然语言描述存在的需求语义的二义性,从而建立了WBS系统的形式化模型;考虑系统可能发生的故障并设计多种类的故障模式,基于这些故障模式对建立的形式化功能模型进行失效行为语义的扩展,然后对获得的扩展系统模型进行安全性分析.实例分析论证了基于模型的安全性分析方法在工业系统中的有效性和实用性.
展开更多
关键词
机轮刹车系统
AADL
SLIM
xSAP
故障树
FMEA表
下载PDF
职称材料
面向SysML的系统安全性分析工具与实例研究
被引量:
2
2
作者
唐红英
胡军
+1 位作者
陈朔
石梦烨
《计算机科学》
CSCD
北大核心
2020年第5期284-294,共11页
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。...
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。
展开更多
关键词
安全关键系统
SYSML
AltaRica
工具
机轮刹车系统
下载PDF
职称材料
安全关键系统需求形式化建模分析实例研究
被引量:
1
3
作者
张维珺
胡军
+3 位作者
李宛倩
陈朔
石梦烨
唐红英
《计算机科学与探索》
CSCD
北大核心
2019年第8期1295-1306,共12页
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介...
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表等。从分析结果来看,使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。
展开更多
关键词
自动飞行控制系统(AFCS)
基于模型的安全性分析方法(MBSA)
NUSMV
xSAP
模型扩展
故障树
失效模式与影响分析(FMEA)表
下载PDF
职称材料
一种AltaRica3.0模型到NuSMV模型的转换方法
被引量:
1
4
作者
陈朔
胡军
+1 位作者
唐红英
石梦烨
《计算机科学》
CSCD
北大核心
2020年第12期73-86,共14页
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool fo...
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型到NuSMV模型的转换规则和算法。首先,利用ANTLR构建AltaRica 3.0平展化GTS模型的AST(Abstract Syntax Tree);其次,设计语言结构转换规则,显示AltaRica 3.0和NuSMV之间的行为语义对应关系;然后,设计转换算法G2N,在遍历AST时,G2N对结点存储的GTS模型语言信息进行获取和转换,在保留语义的情况下,通过不断地遍历转换过程来获取转换后的NuSMV文件;最后,以需求工程中的4个典型案例为例进行实验分析,验证了G2N的有效性和需求模型的安全性。实验结果表明,G2N算法可以在词法和语法层次上完成AltaRica 3.0模型到NuSMV模型的转换工作。
展开更多
关键词
ANTLR
AltaRica
3.0
GTS
AST
NUSMV
模型转换
下载PDF
职称材料
题名
一个基于形式化方法的系统安全性建模分析实例研究
被引量:
1
1
作者
石梦烨
胡军
陈朔
唐红英
王立松
机构
南京航空航天大学计算机科学与技术学院
软件新技术与产业化协同创新中心
出处
《小型微型计算机系统》
CSCD
北大核心
2020年第2期327-332,共6页
基金
南京航空航天大学研究生创新基地(实验室)开放基金项目(kfjj20181607)资助.
文摘
随着安全关键性系统的日益复杂,如何提高安全关键系统的安全性成为急需解决的问题.基于形式化模型的复杂系统设计与分析是一种重要的安全性分析方法.本文工作对AIR6110标准中的机轮刹车实例系统进行了基于形式化方法的安全性分析研究,包括:在系统模型设计层级对机轮刹车系统(WBS)的架构进行层次化分析,将自然语言描述的WBS系统功能用形式化语言(AADL的子集SLIM)进行严格的建模描述,消除AIR6110标准中自然语言描述存在的需求语义的二义性,从而建立了WBS系统的形式化模型;考虑系统可能发生的故障并设计多种类的故障模式,基于这些故障模式对建立的形式化功能模型进行失效行为语义的扩展,然后对获得的扩展系统模型进行安全性分析.实例分析论证了基于模型的安全性分析方法在工业系统中的有效性和实用性.
关键词
机轮刹车系统
AADL
SLIM
xSAP
故障树
FMEA表
Keywords
wheel brake system
AADL
SLIM
xSAP
fault tree
FMEA table
分类号
N945.1 [自然科学总论—系统科学]
下载PDF
职称材料
题名
面向SysML的系统安全性分析工具与实例研究
被引量:
2
2
作者
唐红英
胡军
陈朔
石梦烨
机构
南京航空航天大学计算机科学与技术学院
软件新技术与产业化协同创新中心
出处
《计算机科学》
CSCD
北大核心
2020年第5期284-294,共11页
基金
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
文摘
基于模型的安全性分析方法能够提高对目前复杂安全关键系统的建模与分析能力。系统建模语言(System Modeling Language,SysML)是一类在工业领域被广泛应用的非形式化系统功能建模语言,AltaRica是面向系统安全性分析的形式化建模语言。针对国内目前缺乏面向SysML的系统安全性分析工具的现状,设计实现了一个面向SysML的系统安全性分析工具并进行了实例研究。首先建立了SysML设计模型到AltaRica分析模型的映射规则;同时根据映射规则设计算法实现两种模型的自动转换,并集成了Altarica的分析引擎对系统模型进行自动化安全性分析;最后以SAE-AIR6110标准中的一个复杂的机轮刹车系统(Wheel Brake System,WBS)为实例,验证了所提工具的可行性和有效性。实验结果表明,对于包含25个组件类型、34个组件实例的复杂系统,该工具可有效地完成SysML模型到AltaRica模型的转换并进行正确的安全性分析。
关键词
安全关键系统
SYSML
AltaRica
工具
机轮刹车系统
Keywords
Safety-critical system
SysML
AltaRica
Tool
Wheel brake system
分类号
TP319 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
安全关键系统需求形式化建模分析实例研究
被引量:
1
3
作者
张维珺
胡军
李宛倩
陈朔
石梦烨
唐红英
机构
南京航空航天大学计算机科学与技术学院
出处
《计算机科学与探索》
CSCD
北大核心
2019年第8期1295-1306,共12页
基金
国家重点基础研究发展计划(973计划)No.2014CB744903
南京航空航天大学研究生创新基地(实验室)开放基金No.kfjj20171611
中央高校基本科研业务费专项资金~~
文摘
近年来,基于模型的安全性分析技术(MBSA)在航空等领域有着广泛应用,因此对以xSAP安全分析平台为核心,基于MBSA的系统安全性评估方法进行了研究,并通过一个真实的综合航电系统GarminG1000的自动飞行控制系统(AFCS)GFC700为实例来详细介绍。该方法的实现包括使用NuSMV形式化语言对系统进行需求建模,根据系统设计故障模式,在NuSMV模型中注入故障事件,使用xSAP对NuSMV需求模型进行模型扩展得到故障扩展模型,以及对故障扩展模型进行故障分析及系统安全性评估,例如生成故障树及FMEA表等。从分析结果来看,使用xSAP平台对实际系统进行基于模型的系统安全分析是行之有效的。
关键词
自动飞行控制系统(AFCS)
基于模型的安全性分析方法(MBSA)
NUSMV
xSAP
模型扩展
故障树
失效模式与影响分析(FMEA)表
Keywords
automatic flight control system (AFCS)
model-based safety analysis method (MBSA)
new symbolic model verifier (NuSMV)
extended safety assessment platform (xSAP)
model extension
fault tree
failure mode and effect analysis (FMEA) table
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种AltaRica3.0模型到NuSMV模型的转换方法
被引量:
1
4
作者
陈朔
胡军
唐红英
石梦烨
机构
南京航空航天大学计算机科学与技术学院
软件新技术与产业化协同创新中心
出处
《计算机科学》
CSCD
北大核心
2020年第12期73-86,共14页
基金
国家重点基础研究发展计划(973计划)(2014CB744904)
南京航空航天大学研究生创新基地(实验室)开放基金(kfjj20181607)。
文摘
AltaRica 3.0是一类面向复杂关键系统的安全性建模与分析语言,缺乏时态属性的模型检验技术,不支持穷尽式的空间检验,而NuSMV支持穷尽式的模型检验技术,因此对AltaRica 3.0模型进行扩展,提出了基于语言解析器生成器ANTLR(Another Tool for Language Recognition)的AltaRica 3.0模型到NuSMV模型的转换规则和算法。首先,利用ANTLR构建AltaRica 3.0平展化GTS模型的AST(Abstract Syntax Tree);其次,设计语言结构转换规则,显示AltaRica 3.0和NuSMV之间的行为语义对应关系;然后,设计转换算法G2N,在遍历AST时,G2N对结点存储的GTS模型语言信息进行获取和转换,在保留语义的情况下,通过不断地遍历转换过程来获取转换后的NuSMV文件;最后,以需求工程中的4个典型案例为例进行实验分析,验证了G2N的有效性和需求模型的安全性。实验结果表明,G2N算法可以在词法和语法层次上完成AltaRica 3.0模型到NuSMV模型的转换工作。
关键词
ANTLR
AltaRica
3.0
GTS
AST
NUSMV
模型转换
Keywords
ANTLR
AltaRica 3.0
GTS
AST
NuSMV
Model transform
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一个基于形式化方法的系统安全性建模分析实例研究
石梦烨
胡军
陈朔
唐红英
王立松
《小型微型计算机系统》
CSCD
北大核心
2020
1
下载PDF
职称材料
2
面向SysML的系统安全性分析工具与实例研究
唐红英
胡军
陈朔
石梦烨
《计算机科学》
CSCD
北大核心
2020
2
下载PDF
职称材料
3
安全关键系统需求形式化建模分析实例研究
张维珺
胡军
李宛倩
陈朔
石梦烨
唐红英
《计算机科学与探索》
CSCD
北大核心
2019
1
下载PDF
职称材料
4
一种AltaRica3.0模型到NuSMV模型的转换方法
陈朔
胡军
唐红英
石梦烨
《计算机科学》
CSCD
北大核心
2020
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部