Robert Boschgmbh

Rakshith Amarnath

Markus Schweizer

Thomas Heinz

Jochen Ulrich Haenger

Bernd Mueller

Carsten Gebauer

Christian Lasarczyk

Christopher Huth

Robert Szerwinski

Nico Bannow

Gunnar Piel

Hans Loehr

Jens Gladigau

Simon Greiner

Simon Hufnagel

A computer-implemented method for testing a system, the tested system being a computer program, a hardware system, or an embedded system. In the method, using a static analysis, a first part of an execution structure for the system is examined to see if the system runs corresponding execution paths without errors when the first part of the execution structure is executed. If in the static analysis error-free execution is determined for the first part of the execution structure, the system is examined using a dynamic analysis which leaves out execution paths which correspond to the first part of the execution structure.

Method for testing a system

A bus system, a subscriber station, and a method for configuring a static bus system for a dynamic communication are provided. The bus system has at least two subscriber stations, a communications link for connecting the subscriber stations to each other, and at least one device for the dynamic communication between the subscriber stations of the bus system; the subscriber stations and the communications link are developed for the static communication, which is directed to messages to be transmitted on the bus system that are known when the bus system is made available and are configured according to specified transmitters and receivers, and the dynamic communication is directed to messages to be transmitted on the bus system that have become known only after the subscriber stations and the communications link have been made available and are configured according to specified transmitters and receivers.

Bus system, subscriber station therefor, and method for configuring a static bus system for a dynamic communication

A memory protection unit including hardware registers for entering address tables, a configuration memory for storing the address tables, a preconfigured hardware logic for managing the configuration memory, a data connection between the configuration memory and the hardware logic for loading the hardware registers, a first interface for controlling the loading by a computing core, and a second interface for writing to the configuration memory by the computing core.

Memory protection unit, memory management unit, and microcontroller

A coupling device for coupling a software component, which transmits a setting command for setting an actuator on a control system of a motor vehicle, to the control system, the coupling device including a monitoring unit, which is designed to carry out an assessment for each setting command as to whether its implementation will transfer the motor vehicle into a dangerous state, the coupling device being further designed to transmit, as a function of this assessment, a monitored setting command corresponding to the setting command to an implementation unit, the implementation unit being designed to control the actuator.

Device for the reliable integration of a software component into a motor vehicle

A communication module for controlling a motor vehicle, which is configured for receiving vehicle-independent commands and converting these received commands into a target trajectory of the motor vehicle, and transmitting this target trajectory to an implementation module which is configured for associating a sequence of control commands for components of the motor vehicle with this transmitted target trajectory.

Device for controlling a motor vehicle

Growing community of inventors

Asperg, Germany

Rakshith Amarnath