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.
微軟準備淘汰 SHA-1
2.
Windows Server 2019 Update 2010,20H2
3.
Jmeter+Selenium結合使用(完整篇)
4.
windows服務基礎
5.
mysql 查看線程及kill線程
6.
DevExpresss LookUpEdit詳解
7.
GitLab簡單配置SSHKey與計算機建立連接
8.
桶排序(BucketSort)
9.
桶排序(BucketSort)
10.
C++ 桶排序(BucketSort)
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
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
>>更多相關文章<<