期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法
被引量：
3
1
作者
黄平
杜德慧
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2019年第1期48-57,共10页
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(No...
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.
展开更多
关键词
信息物理融合系统
sysml/marte/pccsl
协同建模
元模型
智能建筑
在线阅读
下载PDF
职称材料
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
被引量：
6
2
作者
黄传林
黄志球
+2 位作者
胡军
徐丙凤
曲长亮
《小型微型计算机系统》
CSCD
北大核心
2015年第3期408-417,共10页
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型...
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.
展开更多
关键词
嵌入式系统安全性分析
sysml
活动图
marte
模型转换
形式化方法
在线阅读
下载PDF
职称材料
模型驱动的嵌入式系统设计安全性验证方法研究
被引量：
2
3
作者
刘雪
胡军
+3 位作者
黄志球
马金晶
程桢
石娇洁
《计算机工程与科学》
CSCD
北大核心
2015年第8期1498-1509,共12页
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型...
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。
展开更多
关键词
系统安全性分析
模型驱动工程
sysml/
marte
状态机模型
嵌入式系统
在线阅读
下载PDF
职称材料
题名
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法
被引量：
3
1
作者
黄平
杜德慧
机构
华东师范大学计算机科学与软件工程学院
出处
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2019年第1期48-57,共10页
基金
国家自然科学基金(61472140)
上海市自然科学基金(14ZR1412500)
文摘
信息物理融合系统(Cyber-Physical Systems, CPS)是一个综合计算、网络和物理环境的多维复杂系统.针对这种异构系统的建模问题一直是人们研究的重点,但是,缺乏系统性的方法来建模CPS的特性,如异构性、不确定性、软硬协同和非功能属性(Non-Functional Properties, NFP)等.提出了一种基于SysML (System Modeling Language)/MARTE (Modeling and Analysis of Real-Time and Embedded Systems)/pCCSL (p Clock Constraint Specification Language)的协同建模方法,实现了从不同视角建模CPS的不同特征,包括系统的结构、行为、时钟约束和NFP.该方法的新颖性在于使用pCCSL规约各模型之间的交互和同步,显式地建模模型之间的逻辑一致性.同时,为了捕捉CPS的特性如随机行为和连续行为,扩展了一些SysML/MARTE的元模型.最后,给出了一个智能建筑的案例以展示所提出的协同建模方法的可用性.
关键词
信息物理融合系统
sysml/marte/pccsl
协同建模
元模型
智能建筑
Keywords
Cyber-Physical Systems(CPS)
sysml/marte/pccsl
co-modelling
meta-models
energy-aware building
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
被引量：
6
2
作者
黄传林
黄志球
胡军
徐丙凤
曲长亮
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《小型微型计算机系统》
CSCD
北大核心
2015年第3期408-417,共10页
基金
国家自然科学基金项目(61100034
61170043)资助
+2 种基金
中国博士后科学基金项目(20110491411)资助
江苏省普通高校研究生科研创新计划资助项目
中央高校基本科研业务费专项资金(CXZZ11_0218)资助
文摘
能源、交通等领域中复杂嵌入式系统设计的安全性分析与验证工作已经成为当前的重要研究热点之一;本文提出一种结合MARTE语义信息的扩展Sys ML活动图模型,用于描述安全关键应用中的嵌入式系统动态行为的设计,并对此扩展模型展开基于模型转换的系统设计安全性特征的形式化分析与验证方法的研究;包括:构建了Sys ML活动图与MARTE中非功能性质建模语义相结合的元模型,以及验证工具UPPAAL的时间自动机元模型,并且给出了二者之间的语义映射规则;建立了从时间自动机模型描述到UPPAAL工具输入格式之间的语法转换方法;设计了一个基于AMMA平台的面向扩展Sys ML活动图的模型转换与验证框架;最后,给出了一个高铁控制系统设计模型的安全性验证的实例分析.
关键词
嵌入式系统安全性分析
sysml
活动图
marte
模型转换
形式化方法
Keywords
analysis of embedded system
sysml
activity diagram
marte
model transformation
formal method
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
模型驱动的嵌入式系统设计安全性验证方法研究
被引量：
2
3
作者
刘雪
胡军
黄志球
马金晶
程桢
石娇洁
机构
南京航空航天大学计算机科学与技术学院
南京大学计算机软件新技术国家重点实验室
出处
《计算机工程与科学》
CSCD
北大核心
2015年第8期1498-1509,共12页
基金
国家重点基础研究发展计划973计划资助项目(2014CB744904)
国家自然科学基金资助项目(61100034
+2 种基金
61170043)
南京航空航天大学青年科技创新基金资助项目(NS2014098)
回国留学人员科研启动基金资助项目(2012)
文摘
基于模型的嵌入式系统安全性分析与验证方法是近年来在安全攸关系统工程领域中出现的一个重要研究热点。提出一种基于模型驱动架构的面向SysML/MARTE状态机的系统安全性验证方法,具体包括:构建了具备SysML/MARTE扩展语义的状态机元模型,以及安全性建模与分析语言AltaRica的语义模型GTS的元模型;然后建立了从SysML/MARTE状态机模型分别到时间自动机模型以及AltaRica模型的语义映射模型转换规则,并基于AMMA平台和时间自动机验证工具UPPAAL设计实现了对SysML/MARTE状态机的模型转换与系统安全性形式化验证的框架。最后给出了一个飞机着陆控制系统设计模型的安全性验证实例分析。
关键词
系统安全性分析
模型驱动工程
sysml/
marte
状态机模型
嵌入式系统
Keywords
system safety analysis
model-driven engineering
sysml/
marte
state machine model
embedded system
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于SysML/MARTE/pCCSL的信息物理融合系统协同建模方法
黄平
杜德慧
《华东师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2019
3
在线阅读
下载PDF
职称材料
2
基于扩展SysML活动图的嵌入式系统设计安全性验证方法研究
黄传林
黄志球
胡军
徐丙凤
曲长亮
《小型微型计算机系统》
CSCD
北大核心
2015
6
在线阅读
下载PDF
职称材料
3
模型驱动的嵌入式系统设计安全性验证方法研究
刘雪
胡军
黄志球
马金晶
程桢
石娇洁
《计算机工程与科学》
CSCD
北大核心
2015
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
