Robert Boschgmbh

Robert Bosch Gmbh

Peter Munk

Andreas-Juergen Rohatschek

Markus Schweizer

Arne Nordmann

Eike Martin Thaden

Andreas Heyl

Rainer Baumgaertner

Gunnar Piel

Lydia Gauerhof

A computer-implemented method for testing an, in particular, safety-relevant, technical system, in particular including software and/or hardware components. The method includes the following steps: providing a model of the technical system; providing a set of requirements to the technical system; converting a particular requirement into at least one formal expression of at least one formal logic, the formal logic being selected from a logic set, which includes at least two formal logics, based on properties of the requirements; checking whether a particular requirement has been met by the model, the checking taking place by carrying out at least one program solver for a particular formal expression.

Method, device and computer program for testing a technical system based on a model

A method for controlling a robotic device. In the method, for a version of a control software which is not the initial version of the control software for which the test values delivered by the tests at least partially do not fall within predefined ranges, it is checked whether that version of the control software fulfills safety criteria that have been created for a previous version (and are fulfilled by that version) for which the test values delivered by the tests at least partially do not fall within the predefined ranges, but was safe. If this is the case, the robotic device is controlled with that version of the control software.

Method for controlling a robotic device

A method for testing a, in particular safety-relevant, technical system, in particular encompassing software. The system is represented by a model encompassing at least two or more components. An assumption of a respective component regarding the safety-relevant system, and a guarantee of a respective component to the safety-relevant technical system, are specified by a safety contract. Executable program code is generated based on at least one assumption and based on at least one guarantee. The safety-relevant technical system is tested by executing the program code.

Method and computer program for testing a technical system

A processing system encompasses several processing devices and a comparison device. A method for controlling the processing system encompasses: processing of identical information items by the processing devices using associated processing processes; furnishing a characteristic value of each processing process, respectively as a function of the processing that has occurred; and comparing the characteristic values by way of the comparison device and determining a defectively operating processing process on the basis of the comparison. The defectively operating processing process is replaced by a processing process restarted on the same processing device.

Error correction in a redundant processing system

A method/device for recognizing a microprocessor hardware error, including comparing a first application's first result, running on a first microprocessor, with a second application's second result, running on the first/second microprocessor, with a microcontroller, providing comparison strategies, the hardware error being recognized as a function of the comparison, the microcontroller receiving a first message from the first microprocessor, and receiving a second message from the first microprocessor if the second application runs on the first microprocessor, or receives a first message from the second microprocessor if the second application runs thereon, the first message containing first comparison strategy information and first result information of a first function calculation, the second message containing second comparison strategy information and second result information of a second function calculation, the first and second strategy information being compared, the first and second result information being compared if the information about the comparative strategy coincides.

Growing community of inventors

Renningen, Germany

Peter Munk