摘要:
Provided are a route information storage DB in which route information indicating a travel route for a vehicle is saved, a maintenance information storage DB in which maintenance information regarding maintenance of the vehicle is saved, an environment information storage DB in which environment information regarding the route is saved, a program storage DB in which a program to be used in the vehicle is saved, a computation unit that executes, based on the route information, the maintenance information, and the environment information, computing of evaluation indexes regarding optimization of travel control of the vehicle for respective cases each obtained by making a change in a program-parameter combination for the vehicle, and that determines a program-parameter combination which provides an optimal result among the computed results, and a communication unit that transmits, to the vehicle, the program-parameter combination determined by the computation unit.
摘要:
Disclosed is a risk analysis support device 100 to prevent neglect by an executor that performs a risk analysis and shorten analysis time. The risk analysis support device 100 includes: a control structure diagram input unit 111 which receives an input of a risk analysis target represented in a form of a control structure diagram that represents the risk analysis target by a block and a control showing a relationship between a block executing control and a passive block controlled by the block; a control loop search unit 121 which searches in a database 140 for a similar control structure diagram including a subset of controls that matches or is similar to a subset of controls extracted from the control structure diagram whose input is received by the input unit and acquires from the database 140 a hazard scenario including a node having a correspondence relationship with a subset of controls included in the similar control structure diagram; and a recommendation output unit 123 which outputs the acquired hazard scenario in a tree structure.
摘要:
A verification system comprising a verification center and function management systems, wherein each of the function management systems retains function management information for associating a function of each of information processing systems corresponding to each of the function management systems; a range of parameter values that can be set for the function; a range of parameter values for the functions that have been verified; and actually set parameter values, wherein, if the actually set parameter value is modified to a value outside of the verified range, then prior to the modification, each of the function management systems transmits to the verification center a verification request of the function in which a parameter value in a range including the modified value is set, and wherein the verification center executes verification on the basis of the verification request, and transmits results thereof to the function management system.
摘要:
When a proxy device is used between a transmission terminal and a reception terminal, receives final data from the transmission terminal, and fails immediately thereafter, a case is prevented in which transmission is completed in the transmission terminal, and, on the other hand, reception is not completed in the reception terminal. There is provided a means for not returning ACK when a data packet is received in a state in which there is no data which waits for ACK and transmission of which is in progress, and there is no data which waits for arrangement and reception of which is in progress in the proxy device, for returning ACK for data received one step before when a data packet is received in a state in which there is data which waits for ACK and transmission of which is in progress, or there is data which waits for arrangement and reception of which is in progress in the proxy device, and for returning normal ACK at a timing when ACK is received from the reception terminal side, thus there is no data which waits for ACK and transmission of which is in progress, and there is no data which waits for arrangement and reception of which is in progress.