Abstract: A program processing device (100) includes: an entry address masking unit (110) to generate a fake entry address, which is obtained by masking an entry address with the use of a save value copied from a setting value stored in a storage, and to replace an entry address used by an application program with the fake entry address; a memory monitoring unit (111) to determine whether the fake entry address is loaded during execution of the application program; and an entry address unmasking unit (112) to generate a new entry address, which is obtained by loading the setting value from the storage and unmasking the fake entry address with the use of the setting value, and to replace the fake entry address with the new entry address, when the fake entry address is loaded.

Abstract: A waveform shaping unit (220) accumulates beat signals S9, which are beat signals S8 in frame units. A distance calculation unit (252) generates a histogram of range bins using the beat signals S9, and calculates a distance based on a range bin number corresponding to a peak in the histogram as a relative distance of a target object. A velocity calculation unit (253) generates a power spectrum of Doppler bins for each time period or for each range bin using the beat signals S9, generates a difference statistic graph that indicates a statistic of differences between power spectra, and calculates a velocity based on a Doppler bin number corresponding to a peak in the difference statistic graph as a relative velocity of the target object.

Abstract: A radar (30) is an FMCW radar. A determination unit (901) of the radar (30) executes at least one program of an attenuation determination program (324a), which determines whether an abnormal attenuation is present in a beat signal (S305), and a frequency characteristic determination program (325a), which determines whether an anomaly is present in a frequency characteristic of the beat signal (S305). The radar (30) can determine whether the beat signal (S305) is abnormal by software by executing the attenuation determination program (324a) and the frequency characteristic determination program (325a).

Abstract: A radar device (10) includes a signal generation unit (100) to generate a signal as an original signal, a pseudo-random number generation unit (102) to generate a pseudo-random number sequence formed of a pseudo-random number, a true random number generation unit (101) to generate a true random number sequence formed of a true random number, a modulation code synthesizing unit (103) to generate a modulation code sequence for use in modulating a signal phase by synthesizing the pseudo-random number sequence and the true random number sequence, and a phase modulation unit (104) to generate a transmission signal by modulating a phase of the original signal by using the modulation code sequence.

Abstract: A branch element identification unit identifies a branch element being a program element for branching, from a model diagram representing a plurality of program elements and a relationship among the program elements. A group identification unit identifies a branch destination group, the branch destination group being a series of program elements constituting branch destination of the branch element, for each branch destination from the model diagram. A sequence determination unit determines a sequence of the branch destination groups in a program code. A code generation unit generates the program code based on the model diagram. The program code includes codes corresponding to the branch destination groups in accordance with the sequence of the branch destination groups.

Abstract: A signal modulation unit modulates an actuator control signal for controlling an actuator by using a modulation signal. A correlation calculation unit calculates, when a measurement signal indicating a physical state measured by a passive sensor is received from the passive sensor after a modulated actuator control signal being the actuator control signal having been modulated by the signal modulation unit is transmitted to the actuator, a correlation between the measurement signal received and a modulation signal used for modulation of the actuator control signal by the signal modulation unit. The signal determination unit determines whether or not the measurement signal is a legitimate signal by using a correlation value obtained by the correlation calculation unit.

Abstract: An attack start time point identification unit (223) identifies an attack start time point at which an attack is started on a sensor (112) that outputs sensor data of each time point, based on the sensor data of each time point, the sensor data of each time point expressing a status at each time point of a control target (101) on which an actuator (111) operates. An attack canceling signal generation unit (224) generates an attack canceling signal series, being an actuator control signal series for restoring the status of the control target to a status of a time point that is before the attack start time point, based on at least one or the other of a sensor data series of since the attack start time point and an actuator control signal series of since the attack start time point.

Abstract: A branch element identification unit identifies a branch element being a program element for branching, from a model diagram representing a plurality of program elements and a relationship among the program elements. A group identification unit identifies a branch destination group, the branch destination group being a series of program elements constituting branch destination of the branch element, for each branch destination from the model diagram. A sequence determination unit determines a sequence of the branch destination groups in a program code. A code generation unit generates the program code based on the model diagram. The program code includes codes corresponding to the branch destination groups in accordance with the sequence of the branch destination groups.

Abstract: A correlation calculation unit (21) receives magnetic data and acceleration data, which are sensor data, from a sensor fusion unit (12a), and calculates a correlation value. An attack determination unit (22) acquires the correlation value from the correlation calculation unit (21), and acquires, as error data, a gravity vector error and a geomagnetic vector error that are calculated in the process of sensor fusion from the sensor fusion unit (12a). The attack determination unit (22) determines the presence or absence of an attack on an inclination sensor module (1a) by comparing the correlation value with a threshold value corresponding to the correlation value and comparing the error data with a threshold value corresponding to the error data.

Abstract: A characteristic detection unit (110) treats sensor data detected by a MEMS sensor (200) as a waveform of time-series data, and from the waveform of the sensor data, generates detection results (11) to (16) of respectively different six types as characteristics of the waveform. An attack determination unit (120) determines the presence or absence of an attack on the MEMS sensor (200) based on the detection results (11) to (16).

Abstract: A radar (30) is an FMCW radar. A determination unit (901) of the radar (30) executes at least one program of an attenuation determination program (324a), which determines whether an abnormal attenuation is present in a beat signal (S305), and a frequency characteristic determination program (325a), which determines whether an anomaly is present in a frequency characteristic of the beat signal (S305). The radar (30) can determine whether the beat signal (S305) is abnormal by software by executing the attenuation determination program (324a) and the frequency characteristic determination program (325a).

Abstract: A signal modulation unit modulates an actuator control signal for controlling an actuator by using a modulation signal. A correlation calculation unit calculates, when a measurement signal indicating a physical state measured by a passive sensor is received from the passive sensor after a modulated actuator control signal being the actuator control signal having been modulated by the signal modulation unit is transmitted to the actuator, a correlation between the measurement signal received and a modulation signal used for modulation of the actuator control signal by the signal modulation unit. The signal determination unit determines whether or not the measurement signal is a legitimate signal by using a correlation value obtained by the correlation calculation unit.