Robert Boschgmbh

Arne Nordmann

Christopher Huth

Martin Ring

Paulius Duplys

Christian Zimmermann

Andreas-Juergen Rohatschek

Markus Schweizer

Lydia Gauerhof

Peter Munk

Fredrik Kamphuis

Tobias Gehrmann

Max Camillo Eisele

Eike Martin Thaden

A computer-implemented method for maintaining a function of a local entity upon connection disruption to a backend in a communication system including a backend and a plurality of local entities. The backend provides backend information for the function. The method includes reception of local behavior models from a plurality of local entities by the backend, wherein the local behavior models provide the function in the local entities if particular backend information is not available; creation of a behavior model based on the received local behavior models; and transmission of the behavior model to a local entity of the plurality of the local entities by the backend.

Computer-implemented method for maintaining a function in local entities upon connection disruption to a backend in a communication system

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 method for communicating data requests to one or more data sources. The method includes receiving a data request, with which data of one or more data types are requested, from an application, and checking the availability of one or more data sources that are able to provide the one or more requested data types. The method further comprises: if at least one of the one or more data sources is available, sending a request to the available data source for the requested associated data type that the data source can provide; and, if no data source is available for at least one of the requested data types, sending a request for this data type to a placeholder module.

Method for communicating data requests to one or more data sources and for processing requested data from one or more data sources in an application

Growing community of inventors

Stuttgart, Germany

Arne Nordmann