DocumentCode
3043106
Title
Automotive system design with specification and verification of uncertainties
Author
Grimm, Christoph ; Dietrich, Manfred
Author_Institution
Vienna Univ. of Technol., Vienna
fYear
2008
fDate
23-25 Sept. 2008
Firstpage
245
Lastpage
246
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Specification, Verification and Design Languages, 2008. FDL 2008. Forum on
Conference_Location
Stuttgart
Print_ISBN
978-1-4244-2264-7
Type
conf
DOI
10.1109/FDL.2008.4641457
Filename
4641457
Link To Document