PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向SysML模型的安全性分析与验证方法被引量：4
《计算机科学》2019年第11期100-108,共9页李宛倩 胡军 陈松 张维珺 
国家重点基础研究发展计划-973计划(2014CB744903);国家航空科学基金(20165515001);南京航空航天大学研究生创新基地开放基金(kfjj20171611);中央高校基本科研业务费专项资金资助
近年来,随着航空、交通、医疗等安全关键系统的规模越来越大,涉及到的复杂度也越来越高,基于模型的系统安全性分析与验证成为安全关键系统工程领域的一个重要研究方向,因而如何对以SysML为典型的系统模型进行安全性分析与验证是一个非...
关键词：安全关键系统 SYSML AltaRica3.0 PROMELA 机轮刹车系统 
一种基于故障扩展SysML活动图的安全性验证框架研究被引量：4
《计算机科学》2015年第7期222-228,共7页仵志鹏 黄志球 王珊珊 曹德建 
国家自然科学基金(61100034;61170043);中国博士后科学基金(20110491411);江苏省普通高校研究生科研创新计划资助项目;中央高校基本科研业务费专项资金(CXZZ11_0218)资助
随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和Sy...
关键词：安全性验证 故障树语义 SysML活动图 PROMELA 
基于SPIN的无线传感器网络安全协议建模与分析被引量：4
《计算机科学》2009年第10期132-136,共5页敬超 常亮 古天龙 
广西研究生教育创新项目(2007105950812M16)资助
模型检验方法在有线网安全协议的分析和设计方面取得了巨大成功。无线传感器网络对安全协议同样具有严格的要求;与有线网相比,无线传感器网络在通信环境和网络节点等方面都更为脆弱,为相应的安全协议的分析和设计提出了挑战。提出了一...
关键词：无线传感器网络 模型检验 SPINS协议 SPIN工具 PROMELA 
Petri网性质的线性时序逻辑描述与Spin检验被引量：1
《计算机科学》2006年第5期287-289,共3页段风琴 李祥 
贵州省科学基金项目(GGY2004002)
Petri 网是描述并发系统的很直观的图形工具;Spin 是一种著名的分析验证并发系统性质的工具。本文首先论述 Petri 网性质的线性时序逻辑描述,研究用 Promela 编程描述 Petri 网和用 Spin 对 Petri 网性质进行检验的方法,最后通过两个具...
关键词：模型检测 SPIN PROMELA PETRI网 线性时序逻辑 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部