Abstract: A computer-implemented method for static testing a software system that is decomposed into software units connected by interfaces. The method comprises receiving context information for an interface, which includes at least one postcondition for the at least one output variable of a respective first software unit and/or a precondition for the input variable of a respective second software unit; receiving a selection of a third software unit in so that a substitute decomposition appertaining thereto of the software system into the third software unit and a complement of the third software unit is produced, the third software unit and the complement forming the software system and being connected via a substitute interface; selecting, based on the item of context information a postcondition per output variable of the complement; and testing whether the selected postcondition can be forward-propagated by the third software unit with regard to a formal verification.

Abstract: Methods and systems for hierarchy detection for block diagrams. One system includes an electronic processor configured to access a block diagram. The electronic processor is also configured to identify a set of connected components in the block diagram. The electronic processor is also configured to convert a first connected component included in the set of connected components into a directed acyclic graph (DAG). The electronic processor is also configured to determine a set of candidate hierarchies included in the DAG. The electronic processor is also configured to verify the set of candidate hierarchies. The electronic processor is also configured to generate a displayable hierarchical block diagram based on the verified set of candidate hierarchies.

Abstract: A method for acquiring signals of a control unit, including the steps of ascertaining a program dependency graph from a program of the control unit, the nodes of the program dependency graph being the computational steps of the program, from which signals are obtained, and whose segments are the data and/or control dependencies between the computational steps; defining a set of signals, which includes a first subset of signals to be measured and a second subset of dependent signals; assigning nodes to the first subset on condition that a node represents a signal to be measured, if a node is situated at an incoming segment of the node, outside of the set of signals; measuring the signals of the first subset; and calculating the signals of the second subset on the basis of the measured signals of the first subset.

Abstract: A method for determining an initial position of a cyclic motion, includes: recording successive encoder signals to obtain a signal sequence; continuously comparing the recorded signal sequence with a group of possible signal sub-sequences of a reference signal sequence encompassing a sequence of signal positions for at least one complete motion cycle, each of the signal sub-sequences being associated with one or more possible initial positions of the cyclic motion; eliminating one or more signal sub-sequences which do not coincide with the signal sequence or whose initial portions do not coincide with the signal sequence; and determining as the initial position one of the initial positions that are associated with the possible remaining signal sub-sequence.