Automotive system design with specification and verification of uncertainties

This paper gives an overview of the ldquoAutoSUNrdquo 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.