Patent application number | Description | Published |
20080287067 | SYSTEM FOR CONTROLLING WIRELESS COMMUNICATION BETWEEN PORTABLE DEVICE AND COMMUNICATION CONTROLLER - A portable device for preventing communication errors caused by disturbance such as noise. The portable device receives a first request signal from a communication controller and transmits a first response signal corresponding to the first request signal. A transmitter transmits the first response signal with a selected one of a plurality of frequencies. A transmission control unit transmits the first response signal from the transmitter with the one of the plurality of frequencies. The portable device further receives a second request signal from the communication control unit, which receives the first response signal. When the second request signal cannot be received, the portable device retransmits the first response signal from the transmitter with a frequency that differs from the one of the plurality of frequencies. | 11-20-2008 |
20090278492 | CHARGING SYSTEM - A charging system that significantly increases the anti-theft capability of a charging subject. The charging subject includes a rechargeable battery. The rechargeable battery of the charging subject is connected to a power supply of a house by power lines. An authentication management device performs authentication of the charging subject by communicating with the charging subject through the power lines and permits charging of the rechargeable battery with the power supply of the house only when the authentication is established. | 11-12-2009 |
20100010698 | Charging System - A charging system that facilitates tracking of a stolen charging subject. The charging subject includes a battery and has a unique identification code. A charging device is connected to the battery of the charging subject by an electric cable, and the battery is chargeable. A server is connected to either one of the charging device and the charging subject and manages charging of the charging subject with the charging device. The server is cable of registering an identification code of the charging subject. The server obtains the identification code from the charging subject, determined whether or not the obtained identification code is registered in the server, and transmits to the charging device a charging prohibition command for prohibiting charging of the charging subject with the charging device when the obtained identification code is not registered in the server. | 01-14-2010 |
20100220857 | SYSTEM AND METHOD FOR REGISTERING SECRET KEY - A secret key registration system which registers a secret key in a portable key device and vehicle. A first transformation equation is stored in a writer and the vehicle. A second transformation equation is stored in the portable key device and the vehicle. The writer transmits a registration code to the portable key device and generates intermediate data with the first transformation equation of the writer. The intermediate data is transmitted to the portable key device, which generates the secret key from the intermediate data with the second transformation equation. The portable key device transmits the registration code to the vehicle. The vehicle generates intermediate data from the registration code with the first transformation equation of the vehicle, and then generates the secret key from the intermediate data with the second transformation equation. | 09-02-2010 |
20100235026 | HYBRID CAR TRAVEL MODE SETTING DEVICE - A travel mode setting device for a hybrid car capable of ensuring the security against car theft and convenience when the car is lent to the third party. The hybrid car has travel drive sources and selectively uses one of them and can travel in one of travel modes. Authenticating means separately authenticate the car user and creates authentication results. Limiting means limits the travel modes to the usable travel modes according to the results of the authentication by the authenticating means. | 09-16-2010 |
20130285792 | ELECTRONIC KEY REGISTRATION SYSTEM - An electronic key registration system includes a controller arranged in a communication subject communicable with an electronic key. A registration tool is in wired or wireless connection with the communication subject. The registration tool registers the electronic key to the controller when receiving a registration permission signal. An information center is connected to a network. The registration tool includes an operator ID acquisition unit that acquires an operator ID from a key registration operator. A communication unit sends the operator ID to the information center through the network. The information center includes an operator ID verification unit that verifies the operator ID received from the registration tool. A permission information notification unit sends, when the operator ID is verified, a registration permission signal to the registration tool through the network to permit the registration tool to perform the registration process. | 10-31-2013 |
20130301829 | ELECTRONIC KEY REGISTRATION SYSTEM - An electronic key registration system includes a controller of a communication subject, an initial electronic key that communicates with the communication subject and has an initial encryption key generation code, an additional electronic key that communicates with the communication subject, and an information center including an additional encryption key. The initial electronic key holds an initial encryption key generated from the initial encryption key generation code and a logic. The controller holds the logic and identification information of the communication subject. The controller acquires the initial encryption key generation code from the initial electronic key, generates an initial encryption key from the initial encryption key generation code and the logic held by the controller, and stores the initial encryption key. The information center sends the additional encryption key to the additional electronic key or the controller through a network. | 11-14-2013 |
20130301834 | ELECTRONIC KEY REGISTRATION SYSTEM - An electronic key registration system registers a key ID and an encryption key of an electronic key to a controller installed in a communication subject that communicates with the electronic key through wireless connection. The electronic key includes a monitoring unit that monitors whether or not registration of the electronic key is attempted in a permissible period. A registration invalidation unit prohibits registration of the electronic key to the communication subject when the permissible period expires. | 11-14-2013 |
20130329890 | ELECTRONIC KEY REGISTRATION SYSTEM - An offline immobilizer ECU reads an encryption key generation code from an offline additional electronic key and generates an electronic key encryption key for the offline additional electronic key using the encryption key generation code and a communication subject key encryption key held by the immobilizer ECU. The immobilizer ECU stores, in a memory, the generated electronic key encryption key and a key ID code that is read from the offline additional electronic key. | 12-12-2013 |
20130332736 | ELECTRONIC KEY REGISTRATION SYSTEM - An immobilizer ECU transmits a vehicle ID code and a SEED code, which is read from an electronic key, to a data center online. The data center generates an encryption key from the received SEED code and a first logic, and generates a further SEED code from the encryption key, the vehicle ID code, and a second logic. The immobilizer ECU obtains the further SEED code online from the data center, generates the encryption key from the obtained further SEED code, the vehicle ID code, and the second logic, and stores the encryption key. | 12-12-2013 |
20140232520 | ELECTRONIC KEY REGISTRATION METHOD AND ELECTRONIC KEY REGISTRATION SYSTEM - A method for registering an electronic key to a controller of a communication subject includes locating an electronic key ID of a registered electronic key, which is registered to a first controller that was previously installed in the communication subject, based on a communication subject ID unique to the communication subject, and reregistering the registered electronic key to a second controller installed in the communication subject in lieu of the first controller by storing the electronic key ID of the registered electronic key and an encryption code corresponding to the electronic key ID in the second controller. | 08-21-2014 |
20140232521 | ELECTRONIC KEY REGISTRATION METHOD AND ELECTRONIC KEY REGISTRATION SYSTEM - A method for registering an electronic key includes storing an electronic key ID and an encryption code in a controller to register the electronic key to the controller, and associating a communication subject ID, which is unique to a communication subject, with a controller ID, which is unique to the controller storing the electronic key ID and the encryption code, and the electronic key ID. | 08-21-2014 |
20140355761 | WIRELESS COMMUNICATIONS SYSTEM - A wireless communications system that regularly executes verification between an electronic key and an immobilizer ECU, and sends and receives deletion request signals unrelated to verification, between the electronic key and the immobilizer ECU. The sending and receiving of deletion request signals is executed at intervals between the regularly executed verifications. | 12-04-2014 |
20140359292 | ELECTRONIC KEY REGISTRATION METHOD AND ELECTRONIC KEY REGISTRATION SYSTEM - A method for registering a first electronic key, which is capable of controlling a communication subject, to a controller of the communication subject, the method including: performing an initial production process including storing identification information unique to the communication subject in the controller, and storing an encryption key generation code unique to the first electronic key and an encryption key that is used to verify the first electronic key in the first electronic key; and performing an initial registration process including writing the identification information stored in the controller to the first electronic key, obtaining the encryption key generation code from the first electronic key, generating the encryption key with an encryption key generation logic that uses the encryption key generation code, storing the encryption key in the controller, and storing encryption key information related to the encryption key in a database in association with the identification information. | 12-04-2014 |
Patent application number | Description | Published |
20080243470 | LOGICAL CHECK ASSIST PROGRAM, RECORDING MEDIUM ON WHICH THE PROGRAM IS RECORDED, LOGICAL CHECK ASSIST APPARATUS, AND LOGICAL CHECK ASSIST METHOD - A computer-readable medium stores a program which, when executed by a computer, causes the computer to execute functions including an extraction operation of extracting a sequence of character strings that are arranged in order of transitions and indicate meanings of transition conditions of transition branches that are taken to reach each transition state starting from an initial state from a finite state machine model of a hardware module which is a check subject; a generation operation of generating message information which means transitions that are taken to reach each transition state starting from the initial state by burying the sequence of character strings extracted by the extraction operation at a burying position for a partial character string which is part of a character string indicating each state of the finite state machine model; and an output operation of outputting the message information generated by the generation operation. | 10-02-2008 |
20080312890 | SPECIFICATION VERIFICATION PROGRAM, COMPUTER-READABLE STORAGE MEDIUM STORING SPECIFICATION VERIFICATION PROGRAM, SPECIFICATION VERIFICATION APPARATUS, AND SPECIFICATION VERIFICATION METHOD - Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output. | 12-18-2008 |
20100106477 | MEDIUM STORING LOGIC SIMULATION PROGRAM, LOGIC SIMULATION APPARATUS, AND LOGIC SIMULATION METHOD - A logic simulation apparatus includes: a jitter detector generation section | 04-29-2010 |
20100194436 | VERIFICATION SUPPORT SYSTEM AND METHOD - A verification support system for supporting logic verification of a circuit including a transmitter clock domain and a receiver clock domain, the transmitter clock domain, the system includes a detector for receiving data to be transmitted from the transmitter clock domain, and for detecting a fluctuation of the received data due to any timing fluctuation responsive to the transmitter clock. The system includes an identification unit to identify whether or not any fluctuation of the data determined by the detector is propagated to the output of the combinational logic on the basis of propagation of the received data through at least one of logic gates of the receiver clock domain to combinational logic so as to determine any fluctuation of data that is to be inputted to the combinational logic. | 08-05-2010 |
20110161903 | VERIFICATION SUPPORT COMPUTER PRODUCT AND APPARATUS - A computer-readable, non-transitory medium stores therein a verification support program that causes a computer to execute first detecting a state change in a circuit and occurring when input data is given to the circuit; second detecting a state change in the circuit and occurring when the input data partially altered is given to the circuit; determining whether a difference exists between a series of state changes detected at the first detecting and a series of state changes detected at the second detecting; and outputting a determination result obtained at the determining. | 06-30-2011 |
20110205903 | MONITORING APPARATUS, METHOD, AND COMPUTER PRODUCT - A non-transitory computer-readable recording medium stores therein a monitoring program that causes a computer monitoring data transmission from a transmission source device to a transmission destination device to execute a process that includes detecting data transmitted in a sequence that differs from a specified sequence; determining whether the sequence that differs is permissible by a specified constraint, if data transmitted at the sequence that differs is detected at the detecting; and outputting a determination result obtained at the determining. | 08-25-2011 |
20120005335 | Computer product , verification support apparatus, and verification support method - A computer-readable, non-transitory medium storing therein a verification support program that causes a computer to execute a process that includes detecting a point in time when data of any one transaction among a series of transactions that are to be transmitted in a prescribed sequence from a device under verification, is skipped; detecting a point in time when the data is first transmitted after the detected point in time when the data is skipped; computing time elapsing from the detected point in time when the data is skipped until the detected point in time when the data is transmitted; and outputting a computation result obtained at the computing. | 01-05-2012 |
20120005545 | Computer product, verification support apparatus, and verification support method - A computer-readable, non-transitory medium stores a program that causes a computer to execute detecting in a circuit-under-test, a change in a signal output from each circuit element on a transmission-side, during one clock cycle on a reception-side at an asynchronous location; inputting to each circuit element on the reception-side, a signal for which a change is not detected at a detection time among detection times when a signal change is detected at the detecting and replacing with a random logic value, a signal for which a change has been detected at a detection time among the detection times and inputting the random logic value to each circuit element on the reception-side, in an action triggered by a rising edge of an operation clock on the reception-side after the one clock cycle; and outputting for each circuit element on the reception-side, an operation result obtained based on input at the inputting. | 01-05-2012 |
20120209583 | COMPUTER PRODUCT, VERIFICATION SUPPORT APPARATUS, AND VERIFICATION SUPPORT METHOD - A computer-readable medium stores therein a verification support program that causes a computer to execute a process including first detecting an assertion that evaluates to true during simulation of a circuit, the assertion being detected from an assertion group prescribing values of registers to be met by the circuit; updating, at a clock tick subsequent to a clock tick at which the assertion is detected at the first detecting, an expected value of a register, to a value of the register as prescribed by the assertion; second detecting inconsistency between the expected value that has been updated at the updating and the value of the register; determining, based on a detection result obtained at the second detecting, validity of a change in the value of the register; and outputting a determination result obtained at the determining. | 08-16-2012 |
20120210282 | VERIFICATION SUPPORT APPARATUS, VERIFYING APPARATUS, COMPUTER PRODUCT, VERIFICATION SUPPORT METHOD, AND VERIFYING METHOD - A verification support apparatus includes a detecting unit that detects an inconsistency between a simulation result at an observation point in a circuit-under-test and an expected value; a setting unit that sets a portion of output values to logic values different from those of the simulation result when the detecting unit detects the inconsistency, wherein the output values are random values output from elements that receive a signal in a second clock domain that receives the signal from a first clock domain asynchronously; a comparing unit that compares the expected value and a simulation result at the observation point after the setting by the setting unit; and an identifying unit that identifies whether the portion of the output values are a cause of the inconsistency, based on a result of comparison by the comparing unit. | 08-16-2012 |
20120239328 | WAVEFORM ANALYZER AND WAVEFORM ANALYSIS METHOD - A waveform analyzer includes a converter which converts a logical function, where a pair of data including a time and a value at the time is variable, created according to data sets of a time and a value of a signal waveform at the time into a second function expressed by a binary decision diagram, an acquisition unit which obtains for each of characteristic points of a reference waveform a condition representative of constraints on a relationship between time information specified by the points and a value corresponding to the time information in the signal waveform according to a value of the reference waveform at the points and a specified tolerance given to a value of the reference waveform, and a searching unit which applies the condition for each of the points to the second function to obtain a time range which meets the entirety of the conditions. | 09-20-2012 |