.png){kind=icon}
返回
GRUST: A Programming Language for Automotive Engineering
.png){kind=icon}
PRE
AI
DOI：10.1007/978-3-032-00942-5_7.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
嵌入式汽车软件日益增长的复杂性要求重点关注安全性。ISO 26262要求关键系统具备可靠性，确保安全且有限的内存使用、有限的执行时间，以及防止除零和溢出错误。汽车软件通常在Simulink和Stateflow中建模，并在周期性执行范式下生成符合ISO 26262标准的C代码。然而，对于数据驱动的应用（如自动驾驶），周期性执行会导致冗余计算和总线过载，需要手动优化。为解决这些问题，我们引入GRust，一种用于汽车系统建模的领域专用语言。GRust生成Rust实现，通过变更传播强制编译时安全属性并优化执行。此外，它还集成了Creusot的验证封装器以进行形式化属性验证。本文介绍了GRust的设计、实现和验证能力，展示了其在提高汽车软件可靠性和效率方面的潜力。
Keyword:
Reactive system
Dataflow
Domain-specific language
查看更多机构