Abstract: A method executable via operation of configured processing circuitry to identify vulnerabilities in program code may include receiving a program and employing a disassembler to disassemble the program, generating a function call tree for the program based on disassembly of the program, receiving an indication of a post condition for which analysis of the program is desired, transforming program statements into logical equations, simplifying the logical equations, propagating post conditions backwards via Dijkstra's weakest precondition variant, analyzing aliases and processing loops to generate a precondition, and using an automated solver to determine whether the precondition is realizable and, if so, providing program inputs required to realize the precondition.

Abstract: A method and apparatus are provided for generating a parameter value to be used as a parameter for a random number generator. A random value is generated and the random value is mapped to a prime number. The parameter value is generated by multiplying the prime number by previously selected prime numbers. Each parameter value is then used as one of a plurality of parameters for the random number generator.

Abstract: A main module of an object oriented computer program is independent of the software domain and can be dynamically configured or reconfigured at runtime by domain specific dynamic link libraries. This main module is a generic main which is configured by a service configurator. A framework connector is provided as are a communications component and a asynchronous/asychronous management component.

Abstract: The rate at which messages are transmitted through a network (10) is monitored to first determine whether a statistically significant number of messages occurred within a prescribed interval. If so, then the number of messages within the interval is compared to a threshold representing an intolerable threshold established on a probabilistic basis. Should the number of messages exceed the threshold, an alarm is generated.

Abstract: An error rate monitor determines, on a safe and effective basis, when a transmission link is experiencing excessive errors and should be taken out of service. Safety is assured by performing a changeover when the amount of data awaiting transmission via the link gets too high; effectiveness is assured by keeping the link in service despite short term error bursts that can be overcome by data retransmission. In one monitor arrangement, errors that occur in the transmission link during a fixed time interval are monitored. If one or more errors occur in an interval, an increment is added to a counter (originally initialized to zero). If no errors occur in the interval, a decrement is subtracted from the counter, to a minimum of zero. The increment and decrement values are determined as a joint function of (a) the round trip delay on the transmission link, (b) the maximum allowable error rate on the link, and (c) the link speed, so that, in general, the increment and decrement values are significantly different.

Abstract: An implement position control device including a central processing unit (6) coupled to an ultrasonic transducer (17) and receiver/amplifier (20) adapted to calculate the distance to a reference target (12 and a relatively more distant surface (9). Control pulses are initiated by the CPU (6) to manipulate a solenoid (25) by means of a valve driver (24) in response to the calculated distance measurements. An autotune task (26) causes a series of precise pulses to manipulate the solenoid, thereby permitting calculation of the transfer function (52) defining the relationship between pulse width and implement position.

Abstract: Proposed is an interconnection medium which is tolerant of faults in at least one of the conductors. Redundancy is established to components connected to the medium by providing additional conductors and steering the signals between components to appropriate conductors in the event of a fault. Preferably, the conductors are arranged in a way which balances the amount of additional wiring and the amount of added parasitic loading.