Title :
Automotive system design with specification and verification of uncertainties
Author :
Grimm, Christoph ; Dietrich, Manfred
Author_Institution :
Vienna Univ. of Technol., Vienna
Abstract :
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.
Keywords :
CAD; automobile industry; formal specification; formal verification; production engineering computing; AutoSUN; German automobile manufacturers; automotive system design; microelectronic companies; uncertainty specification; uncertainty verification; Aging; Analytical models; Automotive engineering; Circuit simulation; Computational modeling; Hardware; Integrated circuit modeling; Mathematical model; Uncertainty; Virtual prototyping;
Conference_Titel :
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location :
Stuttgart
Print_ISBN :
978-1-4244-2264-7
DOI :
10.1109/FDL.2008.4641457
