Towards Automating a Software-Centered Development Process that considers Timing Properties

2022 IEEE 35th International System-on-Chip Conference (SOCC)(2022)

引用 1|浏览3
暂无评分
摘要
Software-centered development processes take a more and more prominent place in automotive system design. Accommodating the growing complexities resulting from the increasing heterogeneity in automotive hardware, software, and their collaborative integration requires new workflows. To address this challenge, we propose an approach for system decomposition based on a behavior description integrated with an architecture description language. Additionally, we consider timing validations as a crosscutting concern during different stages of the development and describe an automation concept to support a correct-by-construction development process. Initial user feedback indicates that our concepts together with a proper tool support will help engineers during system design and speed up the process.
更多
查看译文
关键词
model-based development,X-by-Construction,behavior modeling,timing validation,automation
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要