[en] Recent work on exotic smooth R^4,s, i.e. topological R⁴ with exotic differential structure, shows the connection of 4-exotics with the codimension-1 foliations of S³, SU(2) WZW models and twisted K-theory K_H(S³), H element of H³(S³,Z). These results made it possible to explicate some physical effects of exotic 4-smoothness. Here we present a relation between exotic smooth R⁴ and operator algebras. The correspondence uses the leaf space of the codimension-1 foliation of S³ inducing a von Neumann algebra W(S³) as description. This algebra is a type III₁ factor lying at the heart of any observable algebra of QFT. By using the relation to factor II, we showed that the algebra W(S³) can be interpreted as Drinfeld-Turaev deformation quantization of the space of flat SL(2, C) connections (or holonomies). Thus, we obtain a natural relation to quantum field theory. Finally we discuss the appearance of concrete action functionals for fermions or gauge fields and its connection to quantum-field-theoretical models like the Tree QFT of Rivasseau.

[en] In this paper, we describe a novel software tool named OASIS (AutOmotive Analysis and Safety EngIneering InStrument). OASIS supports automotive safety engineering with features allowing the creation of consistent and complete work products and to simplify and automate workflow steps from early analysis through system development to software development. More precisely, it provides support for (a) model creation and reuse, (b) analysis and documentation and (c) configuration and code generation. We present OASIS as a part of a tool chain supporting the application of a safety engineering workflow aligned with the automotive safety standard ISO 26262. In particular, we focus on OASIS' (1) support for property checking and model correction as well as its (2) support for fault tree generation and FMEA (Failure Modes and Effects Analysis) table generation. Finally, based on the case study of hybrid electric vehicle development, we demonstrate that (1) and (2) are able to strongly support FTA (Fault Tree Analysis) and FMEA