Abstract: This verification processing device is provided with: an inspection unit that performs model inspection on an inspection target model including a plurality of elements; a selection unit that selects at least one of the plurality of elements included in a counterexample outputted as a result of the model inspection; and an exclusion history generation unit that generates exclusion history information indicating an exclusion frequency for each of the plurality of elements. The inspection unit further performs another model inspection on the inspection target model obtained by excluding the selected element. When another counterexample has been outputted as a result of another model inspection, the exclusion history generation unit increases the exclusion frequency of the selected element and updates the exclusion history information. The selection unit selects an element that is high in the exclusion frequency, on the basis of the exclusion history information.

Abstract: A verification processing device includes: an inspection processing unit which extracts elements of which states change in a process leading to an insecure event by means of a model inspection for a model to be inspected; a refinement processing unit which determines, for each of the extracted elements, whether the element contributes to the occurrence of the insecure event and refines a cause element which is an element of a cause of the insecure event; and a receiving unit which receives, from an operator, a selection of at least one cause element from among a plurality of the cause elements, wherein the inspection processing unit performs the model inspection once again on an improved model to be inspected which is a new model to be inspected in which a prescribed measure is executed for the selected cause element.

Abstract: A vehicle operating device includes a portable display unit configured to display a state of a vehicle, a portable input unit configured to receive operation information of the vehicle input thereto on the basis of a displayed content by the display unit, a first information processing unit configured to process first information among input operation information, a second information processing unit configured to process second information, which is different from the first information, among the input operation information, an interlock system configured to enable only the first information to be processed in an operating state and enable the first information and the second information to be processed in a released state, and a portable wireless output unit configured to output an operation signal of the vehicle based only on the first information processed in the operating state.

Abstract: A vehicle operating device includes a portable display unit configured to display a state of a vehicle, a portable input unit configured to receive operation information of the vehicle input thereto on the basis of a displayed content by the display unit, a first information processing unit configured to process first information among input operation information, a second information processing unit configured to process second information, which is different from the first information, among the input operation information, an interlock system configured to enable only the first information to be processed in an operating state and enable the first information and the second information to be processed in a released state, and a portable wireless output unit configured to output an operation signal of the vehicle based only on the first information processed in the operating state.

Abstract: A signal processing system is provided with a transmitting-side apparatus transmitting a digital signal, and a receiving-side apparatus receiving the digital signal. The transmitting-side apparatus includes a digital signal transmitter transmitting the digital signal and a signal controller controlling the digital signal. The receiving-side apparatus includes a digital signal receiver receiving the digital signal, an error rate detector detecting the error rate of the digital signal received, and a receiving-side controller transmitting error rate data based on the detected error rate to the transmitting-side apparatus. The transmitting-side apparatus further includes a transmitting-side controller receiving the error rate data and controlling the signal controller in response to the error rate data.

Abstract: A signal processing system is provided with a transmitting-side apparatus transmitting a digital signal, and a receiving-side apparatus receiving the digital signal. The transmitting-side apparatus includes a digital signal transmitter transmitting the digital signal and a signal controller controlling the digital signal. The receiving-side apparatus includes a digital signal receiver receiving the digital signal, an error rate detector detecting the error rate of the digital signal received, and a receiving-side controller transmitting error rate data based on the detected error rate to the transmitting-side apparatus. The transmitting-side apparatus further includes a transmitting-side controller receiving the error rate data and controlling the signal controller in response to the error rate data.

Abstract: An adapter card for extending functions of a computer includes a first male connector mounted to a female connector of an expansion slot provided to the computer in a way the first male connector can be inserted/removed into/from the female connector and a second male connector that corresponds to a bus architecture same as the first male connector in a way the second male connector can be inserted/removed into/from the female connector.