Abstract: 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.

Abstract: 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.

Abstract: 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.

Abstract: A method for operating a data processing unit of a driver assistance system, the unit including main and slave computers. The main computer ascertains surroundings data from a surroundings detection system by using a processing specification. The slave computer operates a communication interface of the data processing unit, using a communication instruction. The method includes initializing, a first testing, a carrying out, a second testing and a forwarding. In initializing, the main computer, in response to a signal, is initialized by performing an initialization instruction on the main computer. In the first testing, the slave computer, in response to the signal, is initialized by performing a self-test instruction on the slave computer. In the carrying out, the communication instruction is performed on the slave computer to send and/or receive data via the communication interface, when the slave computer is tested and while the main computer is initialized.

Abstract: In a communications assembly having multiple users, one user is designated as a master and additional users are designated as peripheral modules, at least two of the peripheral modules as well as at least two interface modules are integrated into a shared physical implementation unit, and at least one interface module, which is designated as a slave, is unambiguously assigned to each of the at least two peripheral modules.

Abstract: A method for transmitting frames containing data between users of a ring-shaped communication system which has a master and at least one slave as users. Each user has at least one interrupt register, and one field of the at least one interrupt register is associated with an interrupt request and includes a value for an interrupt bit. An interrupt request which includes the interrupt bit is transmitted to the master by a slave in a frame designed as an empty frame. In addition, the empty frame has a toggle bit for all slaves which indicates the state of an interrupt request.

Abstract: A method for operating a data processing unit of a driver assistance system, the unit including main and slave computers. The main computer ascertains surroundings data from a surroundings detection system by using a processing specification. The slave computer operates a communication interface of the data processing unit, using a communication instruction. The method includes initializing, a first testing, a carrying out, a second testing and a forwarding. In initializing, the main computer, in response to a signal, is initialized by performing an initialization instruction on the main computer. In the first testing, the slave computer, in response to the signal, is initialized by performing a self-test instruction on the slave computer. In the carrying out, the communication instruction is performed on the slave computer to send and/or receive data via the communication interface, when the slave computer is tested and while the main computer is initialized.

Abstract: A method is described for transmitting data between participants of a serial, ring-shaped communications arrangement in which the participants are serially connected to one another, wherein a data packet is passed from a participant provided as a master to further participants provided as slaves, wherein the data packet is passed from slave to slave, and wherein address information of the data packet is altered by each slave.

Abstract: A communication system configuration has an annular design and includes multiple participants which are serially interconnected, one participant being configured as a master and the remaining participants being configured as slaves. The master is configured for transmitting a data packet to one or a plurality of slaves, and each slave has a shift register. The communication system includes a participant which has an external interface and is adapted for receiving data via the external interface from outside of the communication system to implement a debugging or a programming of one or a plurality of participants of the communication system or for transmitting data to outside of the communication system.

Abstract: A method is described for transmitting data between participants of a serial, ring-shaped communications arrangement in which the participants are serially connected to one another, wherein a data packet is passed from a participant provided as a master to further participants provided as slaves, wherein the data packet is passed from slave to slave, and wherein address information of the data packet is altered by each slave.

Abstract: A method is described for transmitting data between participants of a serial, ring-shaped communications arrangement in which the participants are serially connected to one another, wherein a data packet is passed from a participant provided as a master to further participants provided as slaves, wherein the data packet is passed from slave to slave, and wherein address information of the data packet is altered by each slave.

Abstract: In a communications assembly having multiple users, one user is designated as a master and additional users are designated as peripheral modules, at least two of the peripheral modules as well as at least two interface modules are integrated into a shared physical implementation unit, and at least one interface module, which is designated as a slave, is unambiguously assigned to each of the at least two peripheral modules.

Abstract: A method for transmitting frames containing data between users of a ring-shaped communication system which has a master and at least one slave as users. Each user has at least one interrupt register, and one field of the at least one interrupt register is associated with an interrupt request and includes a value for an interrupt bit. An interrupt request which includes the interrupt bit is transmitted to the master by a slave in a frame designed as an empty frame. In addition, the empty frame has a toggle bit for all slaves which indicates the state of an interrupt request.

Abstract: A method for synchronizing two communication networks of an electronic data-processing system, each of the networks including one or more respective nodes, may include establishing for each of the networks a respective time schedule that establishes at least one respective time slot for a respective synchronization message. The synchronization message time slots are established to coincide. The synchronization message of the first communication network is generated by one of the nodes of the first communication network. The synchronization message of the second communication network is generated as a function of the synchronization message of the first communication network.

Abstract: A communication system which has a ring-shaped configuration and has at least two users. The users are connected to one another in series, one user being configured as the master and the remaining users being configured as slaves. The master is configured to transmit a data packet to one or multiple slaves. Each slave has a shift register. At least one user in the communication system includes a programmable hardware module, and at least one user in the communication system includes a memory arrangement. The programmable hardware module is configured so that it may be configured by reading out data of the memory arrangement.

Abstract: A communication system configuration has an annular design and includes multiple participants which are serially interconnected, one participant being configured as a master and the remaining participants being configured as slaves. The master is configured for transmitting a data packet to one or a plurality of slaves, and each slave has a shift register. The communication system includes a participant which has an external interface and is adapted for receiving data via the external interface from outside of the communication system to implement a debugging or a programming of one or a plurality of participants of the communication system or for transmitting data to outside of the communication system.

Abstract: In a method for carrying out a communication in a control unit, a message having an identification number is transmitted between a microcontroller and at least one system component, this identification number being used in the at least one system component as basis for a decision with the aid of a message filter as to whether this message is forwarded to a first module for linking a physical layer or to a second module for functions of the system component.

Abstract: A method for outputting rescue-relevant information, the method includes reading out an information carrier on a vehicle, the information carrier including information that characterizes rescue-relevant information; and displaying the rescue-relevant information on a mobile device as a function of the read-out information.

Abstract: A method and a data-transmission system for transmitting data encoded in a signal between a transmitting user and a receiving user of the data-transmission system via a network structure of the data-transmission system. The data encoded in the signal are serially transmitted bit-by-bit in data frames having a defined structure. Each bit of the data encoded in the signal is sampled in the receiving user. Due to the transmission via the network structure, the signal is delayed asymmetrically. To compensate for the asymmetrical delay on the physical layer in the transmission channel, it is provided that the asymmetrical delay of the signal is determined at at least one point in the network structure, and is at least partially compensated prior to the receiving user sampling the bits of the data encoded in the signal. A measuring and compensating device is provided to measure and compensate for the asymmetrical delay.

Abstract: In a method and a device for decoding a signal, the signal is transmitted via at least one connecting line of a data transmission system, in a user of the data transmission system receiving the signal. It is provided to measure the interval of a change—provided compulsorily in a transmission protocol used in the data transmission system—of the signal from rising to falling or from falling to rising edge. A tendency for an asymmetrical delay of the signal can be ascertained from the measured interval. The sampling of the bits of the received signal can be improved as a function of the interval or of the asymmetrical delay, for example, by setting the sampling instant in variable fashion. Alternatively, the interval or the asymmetrical delay can be utilized for diagnostic purposes.