Automotive System Design With Specification And Verification Of Uncertainties

2008 FORUM ON SPECIFICATION, VERIFICATION AND DESIGN LANGUAGES（2008）

引用 0|浏览3

暂无评分

摘要

This paper gives an overview of the "AutoSUN" approach AutoSUN is a common initiative of German automobile manufacturers, suppliers, and microelectronic companies. The aim of the initiative is to create and standardize new methods for the specification and verification of non-functional parameters between the different tiers through the whole supply chain.

查看译文

关键词

cad,mathematical model,automobile industry,system design,automotive engineering,formal verification,supply chain,uncertainty,formal specification,computational modeling

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要