A system which provides real-time code coverage data on a memory monitored by the system, the code coverage data providing information regarding accesses to the monitored memory, the monitored memory being connected to address lines and data lines, the system comprising: a code coverage memory, the code coverage memory having address inputs and data inputs, wherein signals on the address lines connected to the monitored memory are received at the address inputs of said code coverage memory; and ...

In an internetwork apparatus for interconnecting a plurality of networks having a route calculating module for calculating routes and a management module for managing a whole operation of the internetwork apparatus, the management module substitutes for route calculation in place of the route calculating module, when a fault occurs in the route calculating module, and packets are repeated in accordance with route calculation results made by the management module.

Improved weakest condition analysis. In one embodiment, a computer-implemented method including first identifying a set of candidates of a computer program that are potentially defective, via a predetermined data flow analysis. In one embodiment, the predetermined data flow analysis may be a static single assignment analysis, or a partial redundancy analysis. Next, each of these candidates is examine via a weakest precondition analysis to determine whether the candidate actually is defective. Th...

An information storage system which can be used by only those users who are previously permitted to access the system is provided. The information storage system has a first information storage device for accessing a first removable recording medium and a second information storage device for accessing a second removable recording medium. An access controller controls access to the first removable recording medium by the first information storage device based on a result of access to the second ...

Failure rate cost assigning means 81 assigns a cost to each functional unit in functional unit set 1 in accordance with a failure rate thereof. Random cost assigning means 82 assigns a random cost to each functional unit. Duplication cost assigning means 83 assigns to each functional unit a cost in accordance with the number of connective relations that use the functional unit. Connective relations are stored in connective relation storage 5. As a result, the sum of the costs is stored in cost s...

A deep trace buffer management system for a protocol analyzer includes a hardware search engine that locates specified data patterns within the trace buffer as directed by a host processor. The protocol analyzer is preferably connected to a laptop computer that serves as the host processor, and the protocol analyzer preferably is housed in a portable chassis separate from the host processor and has a host port to connect to the host processor through a relatively small bandwidth port. An interfa...

A failure reporting system which includes a plurality of reporting tools for reporting detected failures in a system to be observed is provided. The reporting tools include at least two tools from the group consisting of an audio reporting tool, a visual reporting tool and a text reporting tool. The audio reporting tool includes at least one microphone, the visual reporting tool includes at least one video camera and the text reporting tool includes at least one keyboard. The system also include...

The invention relates to a method for commissioning a bus system and to a corresponding bus system. A test is carried out preferably after installation of the bus system and before it is actually put into operation to check whether the system is functioning properly. The test can comprise several stages which each test different functional aspects of the bus system. The bus system test can be carried out especially from a distributor or gateway (1) which couples several voltage supply lines (2-4...

Apparatus and a method are provided for processing data in data processing system including a redundant array of independent disk drives (RAID) operatively controlled by an array controller. A plurality of data drives and a predefined mirror drive are provided by the RAID. The predefined mirror drive has a set capacity substantially greater than a capacity of each of the plurality of data drives. Data is written to and read from the multiple data drives in the RAID. A mirror copy of the data is ...

The present invention relates to access control systems ore commonly referred to as security systems. In a preferred embodiment of the invention, the access control system uses a memory card and a network of access control subsystems. Among the specific characteristics of the invention are the loading of schedule data on the memory card and the devolution of specific functions such as schedule validation to the access control subsystem level. These characteristics of the system provide, among ot...