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

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到5篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究被引量：5: 1; 作者黄传林黄志球 +2 位作者胡军徐丙凤曲长亮《小型微型计算机系统》 CSCD 北大核心 2015年第3期408-417,共10页; 能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型... 展开更多; 关键词嵌入式系统安全性分析 sysml活动图 MARTE 模型转换形式化方法; 在线阅读下载PDF 职称材料

基于故障扩展SysML活动图的软件安全性分析方法研究被引量：5: 2; 作者曹德建黄志球 +1 位作者阚双龙黄传林《小型微型计算机系统》 CSCD 北大核心 2015年第9期2067-2074,共8页; 随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对软件模型的安全性分析与验证方法一直是学术界和工业界的研究热点之一.功能模型和安全需求分析模型是分析嵌入式安全关键系统的两个重要方面,但两种模型一般都被分开使用.提出... 展开更多; 关键词嵌入式系统安全性分析 sysml活动图故障树分析故障扩展Sys ML活动图; 在线阅读下载PDF 职称材料

一种基于故障扩展SysML活动图的安全性验证框架研究被引量：4: 3; 作者仵志鹏黄志球 +1 位作者王珊珊曹德建《计算机科学》 CSCD 北大核心 2015年第7期222-228,共7页; 随着嵌入式系统在能源、交通等安全关键领域的广泛应用,针对嵌入式软件的安全性分析与验证方法一直是学术界和工业界的研究热点之一。使用扩展了故障树语义信息的SysML活动图来统一系统的功能模型与安全需求分析模型,并在保留故障树和Sy... 展开更多; 关键词安全性验证故障树语义 sysml活动图 PROMELA; 在线阅读下载PDF 职称材料

基于SysML活动图的测试序列集约简方法被引量：3: 4; 作者孟令冲舒坚 +1 位作者黄勤涛曹伟芳《计算机工程与应用》 CSCD 北大核心 2018年第13期266-270,共5页; 如何对复杂的嵌入式系统生成的测试序列集进行约简,使其更快地满足覆盖准则,从而有效地指导测试执行,是软件测试领域的关键问题。针对这一问题,结合嵌入式实时系统特点,采用SysML活动图对嵌入式系统进行建模,为了避免并发活动引起活动... 展开更多; 关键词软件测试 sysml活动图测试序列约简转移边覆盖率; 在线阅读下载PDF 职称材料

一种基于SysML活动图的风险识别方法被引量：2: 5; 作者王荣陈刚《数字技术与应用》 2020年第7期59-63,共5页; 当前MBSE的研究热点聚焦于系统工程的技术流程领域,而缺乏将早期设计阶段各类工作与技术管理流程工作相结合的研究。但在整个系统的全生命周期里,将风险识别尽量提前到早期阶段,可以增强系统设计的健壮性。针对此问题,本文研究了SysML... 展开更多; 关键词 sysml活动图有向图关联度影响度最大影响度路径风险识别; 在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析

上一页 1 下一页到第页

使用帮助返回顶部