Search Results

Today's automobiles contain a lot of electrical and electronic (E/E) systems with safety-related functionality. In a design-process compliant to the industrial standard ISO 26262 unknown dependencies between events and elements are risks that potentially violate safety requirements or safety goals. Therefore, the identification and analysis of dependent failures is important. Physical environment influences like temperature are one class of factors which can lead to coupling effects and cause dependent failures. In this paper we show a novel contract-based approach to deal with geometric installations of elements in an automobile. It avoids violations of safety requirements by identification and prevention of dependent failures resulting from coupling effects between elements. The influences of an element on environment factors and the failure effects of such environment factors on elements are explicitly specified as physical conditions.