Refine Your Search

Search Results

Viewing 1 to 2 of 2
Technical Paper

Analysis of Underhood Temperature Fields using Linear Superposition

2017-03-28
2017-01-0138
The analysis of thermal fields in the underhood region is complicated by the complex geometry and the influence of a multitude of different heat sources. This complexity means that running full CFD analyses to predict the thermal field in this region is both computationally expensive and time consuming. A method of predicting the thermal field using linear superposition has been developed in order to analyse the underhood region of a simplified Formula One race car, though the technique is applicable to all vehicles. The use of linear superposition allows accurate predictions of the thermal field within a complex geometry for varying boundary conditions with negligible computational costs once the initial characterisation CFD has been run. A quarter scale, rear end model of a Formula One race car with a simplified internal assembly is considered for analysis, though the technique can also be applied to commercial and industrial vehicles.
Technical Paper

PICASSOS – Practical Applications of Automated Formal Methods to Safety Related Automotive Systems

2017-03-28
2017-01-0063
PICASSOS was a UK government funded programme to improve the ability of automotive supply chains to develop complex software-intensive systems with high safety assurance and at an acceptable cost. This was executed by a consortium of three universities and five companies including an automotive OEM and suppliers. Three major elements of the PICASSOS project were: use of automated model based verification technology utilising formal methods; application of this technology in the context of ISO 26262; and evaluation to measure the impact of this approach to inform key management decisions on the costs, benefits and risks of applying this technology on live projects. The project spanned system level design and software development. This was achieved by using a unified model based process incorporating SysML at the system level and using Simulink and Stateflow auto-coded into C at the software level.
X