Automotive system design with specification and verification of uncertainties

Abstract

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