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.
添加voicebox
2.
Java 8u40通過Ask廣告軟件困擾Mac用戶
3.
數字圖像處理入門[1/2](從幾何變換到圖像形態學分析)
4.
如何調整MathType公式的字體大小
5.
mAP_Roi
6.
GCC編譯器安裝(windows環境)
7.
LightGBM參數及分佈式
8.
安裝lightgbm以及安裝xgboost
9.
開源matpower安裝過程
10.
從60%的BI和數據倉庫項目失敗,看出從業者那些不堪的亂象
本站公眾號
歡迎關注本站公眾號,獲取更多信息
相關文章
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
>>更多相關文章<<