Abstract νZ is a part of the SMT solver Z3. It allows users to pose and solve optimization
problems modulo theories. Many SMT applications use models to provide satisfying …

The automotive domain is challenged by the increasing importance of Information
Technology (IT) based functions. To show the possibilities of modern IT systems, a …

Automotive software architectures describe distributed functionality through an interplay of
software components. One drawback of today's architectures is their strong integration into …

Fault-tolerant distributed embedded systems have to react properly on the occurrence of
faults in order to avoid harm to the system or its environment. Faulty system resources have …

Safety critical fault-tolerant embedded systems have to react properly on failures of internal
system elements to avoid failure propagation and finally a harmful external failure at the …

Safety critical systems require rising dependability due to increasing autonomy. Fault-
tolerance is necessary, but failures may cause system resources to become insufficient to …

Full vehicle autonomy excludes a takeover by passengers in case a safety-critical
application fails. Therefore, the system responsible for operating the autonomous vehicle …

Fault-tolerant systems have to react on errors resulting from faults properly to avoid error
propagation and finally a harmful failure of the entire system. Beside the detection of failing …

Fortuna is the connected automated vehicle prototype built by the fortiss research institute in
the course of the project PROVIDENTIA. In the project, an intelligent infrastructure prototype …

Today, almost all foreseeable areas of innovation in the automotive domain are
softwaredriven. This development has led to the coining of the term Software-Defined …