JavaShuo
栏目
标签
Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
时间 2021-01-17
标签
形式化方法
SysML
繁體版
原文
原文链接
迈向Secure而又Safe的嵌入式系统的模型驱动工程。 摘要 我们介绍SysML-Sec,这是一个基于SysML的模型驱动工程环境,旨在促进嵌入式系统开发的所有方法阶段的系统设计人员和安全专家之间的协作。嵌入式系统设计中的中心问题是对系统体系结构的硬件/软件分区的定义,这应该尽早进行。 SysML-Sec旨在通过集成安全要求和威胁来扩展此分析的相关性。特别是,我们提出了一种敏捷方法论,其目的是尽
>>阅读原文<<
相关文章
1.
Towards the Model-Driven Engineering of Security Requirements for Embedded System
2.
11 zedboard Embedded Operating Systems
3.
NAND Flash memory in embedded systems
4.
AI systems that'll help study the behavior of animal species
5.
Using QEMU for Embedded Systems Development
6.
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems
7.
The Uniqueness of Software Engineering: The Dual Formalizations
8.
Towards Blockchain-based Intelligent Transportation Systems
9.
APS For Internet of Things Engineering(CS speciality) - Junior year
10.
SysML-Sec A model Driven Approach for Designing Safe and Secure Systems
更多相关文章...
•
PHP Secure E-mails
-
PHP教程
•
XSLT
元素
-
XSLT 教程
•
JDK13 GA发布:5大特性解读
•
为了进字节跳动,我精选了29道Java经典算法题,带详细讲解
相关标签/搜索
secure
engineering
systems
modeldriven
embedded
safe
safe+
for...of
for..of
mysql..the
Spring教程
0
分享到微博
分享到微信
分享到QQ
每日一句
每一个你不满意的现在,都有一个你没有努力的曾经。
最新文章
1.
resiprocate 之repro使用
2.
Ubuntu配置Github并且新建仓库push代码,从已有仓库clone代码,并且push
3.
设计模式9——模板方法模式
4.
avue crud form组件的快速配置使用方法详细讲解
5.
python基础B
6.
从零开始···将工程上传到github
7.
Eclipse插件篇
8.
Oracle网络服务 独立监听的配置
9.
php7 fmp模式
10.
第5章 Linux文件及目录管理命令基础
本站公众号
欢迎关注本站公众号,获取更多信息
相关文章
1.
Towards the Model-Driven Engineering of Security Requirements for Embedded System
2.
11 zedboard Embedded Operating Systems
3.
NAND Flash memory in embedded systems
4.
AI systems that'll help study the behavior of animal species
5.
Using QEMU for Embedded Systems Development
6.
Intelligence Beyond the Edge: Inference on Intermittent Embedded Systems
7.
The Uniqueness of Software Engineering: The Dual Formalizations
8.
Towards Blockchain-based Intelligent Transportation Systems
9.
APS For Internet of Things Engineering(CS speciality) - Junior year
10.
SysML-Sec A model Driven Approach for Designing Safe and Secure Systems
>>更多相关文章<<