Abstract: An electric shifting device for a vehicle includes a shift lever, a gate channel, and a detent device. The detent device has a spring-loaded pin and a detent contour cooperating therewith. The detent contour includes first and second paths and a connection path therebetween. The detent contour is movable relative to the channel between a first position in which the first path is aligned with the channel and a second position in which the second path is aligned with the channel. The lever is connected to the pin such that the lever is movable within the channel along the first path when the detent contour is in the first position and within the channel along the second path when the detent contour is in the second position and such that the lever is movable along the connection path between the paths when the detent contour moves between the positions.

Abstract: A method to verify an implemented coherency algorithm of a multi processor environment on a single processor model is described, comprising the steps of: generating a reference model reflecting a private cache hierarchy of a single processor within a multi processor environment, stimulating the private cache hierarchy with simulated requests and/or cross invalidations from a core side and/or from a nest side, augmenting all data available in the private cache hierarchy with two construction dates and two expiration dates, set based on interface events, wherein multi processor coherency is not observed if the cache hierarchy ever returns data to the processor with an expiration date that is older than the latest construction date of all data used before. Further a single processor model and a computer program product to execute said method are described.

Abstract: An electric shifting device for a vehicle includes a shift lever, a gate channel, and a detent device. The detent device has a spring-loaded pin and a detent contour cooperating therewith. The detent contour includes first and second paths and a connection path therebetween. The detent contour is movable relative to the channel between a first position in which the first path is aligned with the channel and a second position in which the second path is aligned with the channel. The lever is connected to the pin such that the lever is movable within the channel along the first path when the detent contour is in the first position and within the channel along the second path when the detent contour is in the second position and such that the lever is movable along the connection path between the paths when the detent contour moves between the positions.

Abstract: Controlling an unreliable data transfer in a data channel from a transmitting unit to a receiving unit. A bypass mode or a buffer mode is activated depending on the error rate in the data channel. If bypass mode is selected, data packets are directly transferred in probation from the transmitting unit to the receiving unit by a bypass line. The data packets are error checked after the data transfer. If buffer mode is selected, data is transfer from the transmitting unit to the receiving unit by a buffer line via an error detecting and correcting unit and a buffer unit. The errors are detected and corrected during the data transfer.