Abstract: Function definition information is prepared in a system. The function definition information is information representing a correspondence relationship among a software-based function, a vehicle ID of a vehicle, a hardware configuration for implementing a function, and a software configuration for implementing a function. The system performs a preliminary determination including a determination of a relationship between one or a plurality of user-desired functions constituting a user-desired function group of a user and a hardware configuration of a target vehicle based on the function definition information. For each of the one or more functions specified in the preliminary determination, in order to implement the function in the target vehicle, the system develops a software configuration corresponding to the function in a hardware configuration corresponding to the function in the target vehicle.

Abstract: A fault reproduction assist system that assists a fault reproduction of an abnormal vehicle includes a configuration information acquisition unit that acquires, based on configuration information that is received from the abnormal vehicle and that includes hardware information of hardware in which an abnormality is detected and vehicle configuration information stored in advance in a storage unit, configuration information including the same hardware information as the hardware information of the abnormal vehicle; a configuration information determination unit that acquires from the storage unit software that includes the same software information as software information included in the configuration information acquired by the configuration information acquisition unit, and a distribution unit that distributes the software acquired by the configuration information determination unit to a fault reproduction environment for reproducing a fault.

Abstract: A software query information management system is configured to associate a required device specification with a regulation ID of a regulation defining a requirement for receiving legal approval for a vehicle and store the required device specification in association with the regulation ID, identify the regulation ID associated with the required device specification associated with traceability information of the device associated with the required device specification, generate software query information in which the identified regulation ID is associated with one or more software IDs included in the traceability information, identify, based on the software query information, a software ID of other software associated with the regulation ID associated with a software ID of software embedded in the device in which an event has occurred, and generate evidence based on communication data of the device having embedded therein the software with the identified software ID.

Abstract: 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.

Abstract: A fault reproduction assist system that assists a fault reproduction of an abnormal vehicle includes a configuration information acquisition unit that acquires, based on configuration information that is received from the abnormal vehicle and that includes hardware information of hardware in which an abnormality is detected and vehicle configuration information stored in advance in a storage unit, configuration information including the same hardware information as the hardware information of the abnormal vehicle; a configuration information determination unit that acquires from the storage unit software that includes the same software information as software information included in the configuration information acquired by the configuration information acquisition unit, and a distribution unit that distributes the software acquired by the configuration information determination unit to a fault reproduction environment for reproducing a fault.

Abstract: Disclosed is a vehicle information management system 1 for choosing a second vehicle 3B corresponding to a first vehicle 3A by selecting a vehicle having a functional configuration corresponding to that of the first vehicle as a candidate of the second vehicle, and selecting, as the second vehicle, a vehicle having a use environment corresponding to that of the first vehicle from the selected candidates of the second vehicles.

Abstract: In checking a model of software, there is an approach of transforming a source code of software into a checking code in order to reduce a cost required to describe the checking code by an input language of a model checker. Since a user may select only a single transformation method, there are problems in that an abstraction-level change is difficult, a rule modification cost for following up a design and a change of the source code is high, and a rule modification cost for checking using another checking tool is high. In the present invention, when the source code is transformed into the checking code, a unit that selects a plurality of transformation rules is provided to allow the user to easily change an abstraction level. Further, the plurality of transformation rules include a transformation rule of transforming the source code into an intermediate format, a transformation rule of abstracting the intermediate format, and a transformation rule of transforming the intermediate format into the checking code.

Abstract: The redundancy that is effected by preparing a plurality of units of hardware of an identical configuration results in high costs, complicating the application of same to inexpensive products. The present invention detects a fault in a function that is provided via hardware upon an apparatus having a variety of components, such as a CPU, capable of changing content to be processed at the application level, and an FPGA, capable of changing the content to be processed. When a fault is thus detected, the invention uses configuration information of an apparatus either within the apparatus or within apparatuses upon the network to select an apparatus capable of serving as a substitute, selects software required to implement the function, carries out procedures for facilitating the use of the software upon the substitute hardware (i.e., downloading the software, loading the software into a memory region accessible to the hardware), and carries out the processing in substitution.

Abstract: A CPU forced stop signal is used as means for stopping execution of a program executed on a ROM by a CPU of a target system. A time required for stopping the CPU from the issuance of the CPU forced stop signal between an ICE device and the CPU is considered and set, and a CPU forced stop signal issuance position which is prior to a stop target position is determined. Based on a real-time tracing function of the CPU, at an issuance position and timing of the CPU forced stop signal on the execution of the program, the CPU forced stop signal is issued, the CPU is stopped, and the event is acquired. By this means, an arbitrary number of events of the program can be acquired regardless of the number of breakpoint registers.

Abstract: A method for recording internal information of video equipment, for digital video information of the video equipment, comprises the following steps of: a step for obtaining internal information of the equipment; a step for analyzing a stream of the digital video information to be recorded, and for detecting a packet identifier not used for a packet, recording the internal information therein; a step for processing the internal information of the equipment into packet information; and a step for changing the stream of the video information, so as to include the packet information of the internal information of the equipment therein, wherein the internal information is included in a part of the stream of the digital video information, whereby to record the digital video information, whereby providing a recording method and a recording apparatus for recording the internal information of the apparatus necessary for trouble analyzing, without adding an apparatus, newly, and lowering an operability for a user.

Abstract: A CPU forced stop signal is used as means for stopping execution of a program executed on a ROM by a CPU of a target system. A time required for stopping the CPU from the issuance of the CPU forced stop signal between an ICE device and the CPU is considered and set, and a CPU forced stop signal issuance position which is prior to a stop target position is determined. Based on a real-time tracing function of the CPU, at an issuance position and timing of the CPU forced stop signal on the execution of the program, the CPU forced stop signal is issued, the CPU is stopped, and the event is acquired. By this means, an arbitrary number of events of the program can be acquired regardless of the number of breakpoint registers.

Abstract: A digital broadcast receiving device comprises a receiving part for receiving a digital broadcast signal including first identifying information and a control part, and the control part compares the first identifying information included in the digital broadcast signal received at the receiving part and second information included in the digital broadcast receiving device, and limits or stops at least one of a plurality of functions included in the digital broadcast receiving device based on the comparison. That prevents the digital broadcast receiving device with a troubled software program being used as it is.