ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem

ACM SIGAda Ada Letters(2023)

引用 0|浏览8
暂无评分
摘要
The Architecture Analysis and Design Language (AADL) is a SAE Standard for the modeling of both the hardware and the software of embedded systems. The AADL standard is now mature and is today employed by numerous stakeholders in the domain of critical embedded real-time systems to address a large set of concerns: performances (latency, schedulability), safety, or security, ... The ADEPT workshop aims to present and report on current projects in the field of design, implementation, and verification of critical systems where AADL is a first-citizen technology. This article is a summary of the ADEPT 2022 workshop.
更多
查看译文
关键词
aadl,critical embedded real-time systems,design,implementation and verification
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要