公开(公告)号：US08010573B2

公开(公告)日：2011-08-30

申请号：US12195692

申请日：2008-08-21

申请人： Nobuyuki Ikeda ,  Satoko Takada ,  Yukari Murata ,  Yuuji Umeda

发明人： Nobuyuki Ikeda ,  Satoko Takada ,  Yukari Murata ,  Yuuji Umeda

IPC分类号： G06F17/30

CPC分类号： G06F11/0775 ,  G06F11/0781

摘要： It is possible to leave records with which analysis of a cause can be efficiently performed when a trouble occurs in an observation target system and realize reduction in the size of the records at the time of recording. The present invention is proposed as a log recording apparatus. This log recording apparatus is provided with: a cell number storage unit to store a cell number table with cell numbers, each being data for identifying a cell number from a state/event combination; a cell number generation unit acquiring data indicating an event and a state from an observation target system, to determine a cell number corresponding to the event and the state with the use of the cell number table stored in the cell number table storage unit and the data indicating the event and the state; a log data generation unit to generate log data which includes the cell number determined by the cell number generation unit; and a log data recording unit to record the log data generated by the log data generation unit.

摘要翻译： 可以在观察目标系统发生故障时留下可以有效地执行原因分析的记录，并且可以实现记录时的记录尺寸的减小。 提出本发明作为对数记录装置。 该日志记录装置设置有：单元号码存储单元，用于存储具有单元号的单元号表，每个单元号表是用于从状态/事件组合中识别单元号的数据; 单元号码生成单元，从观察对象系统获取表示事件和状态的数据，使用存储在单元号表存储单元中的单元号码表来确定与事件对应的单元号和状态，数据 表明事件和状态; 日志数据生成单元，生成包含由所述单元号码生成单元确定的单元号的日志数据; 以及日志数据记录单元，用于记录由日志数据生成单元生成的日志数据。

公开(公告)号：US20090125557A1

公开(公告)日：2009-05-14

申请号：US12195692

申请日：2008-08-21

申请人： Nobuyuki IKEDA ,  Satoko Takada ,  Yukari Murata ,  Yuuji Umeda

发明人： Nobuyuki IKEDA ,  Satoko Takada ,  Yukari Murata ,  Yuuji Umeda

IPC分类号： G06F17/30

CPC分类号： G06F11/0775 ,  G06F11/0781

摘要： It is possible to leave records with which analysis of a cause can be efficiently performed when a trouble occurs in an observation target system and realize reduction in the size of the records at the time of recording. The present invention is proposed as a log recording apparatus. This log recording apparatus is provided with: a cell number storage unit to store a cell number table with cell numbers, each being data for identifying a cell number from a state/event combination; a cell number generation unit acquiring data indicating an event and a state from an observation target system, to determine a cell number corresponding to the event and the state with the use of the cell number table stored in the cell number table storage unit and the data indicating the event and the state; a log data generation unit to generate log data which includes the cell number determined by the cell number generation unit; and a log data recording unit to record the log data generated by the log data generation unit.

摘要翻译： 可以在观察目标系统发生故障时留下可以有效地执行原因分析的记录，并且可以实现记录时的记录尺寸的减小。 提出本发明作为对数记录装置。 该日志记录装置设置有：单元号码存储单元，用于存储具有单元号的单元号表，每个单元号表是用于从状态/事件组合中识别单元号的数据; 单元号码生成单元，从观察对象系统获取表示事件和状态的数据，使用存储在单元号表存储单元中的单元号码表来确定与事件对应的单元号和状态，数据 表明事件和状态; 日志数据生成单元，生成包含由所述单元号码生成单元确定的单元号的日志数据; 以及日志数据记录单元，用于记录由日志数据生成单元生成的日志数据。

公开(公告)号：US20090132227A1

公开(公告)日：2009-05-21

申请号：US12196533

申请日：2008-08-22

申请人： Satoko TAKADA ,  Yukari Murata ,  Nobuyuki Ikeda

发明人： Satoko TAKADA ,  Yukari Murata ,  Nobuyuki Ikeda

IPC分类号： G06F9/45

CPC分类号： G06F17/504

摘要： A counter example analysis support apparatus includes a counter example storage storing the counter example being a transition sequence of state and event that has not satisfied a verification condition as a result of the model checking; comprising: a related item list storage storing a related item list being a list associating a detection event, which is an event for detecting and generating the other-state, and a detected state, which is a state for determining the existence of the generation of the detection event; and a searching unit outputting a possible problem part from the counter example, wherein the searching unit determines whether a state included in the counter example is the detected state, and if the state included in the counter example is the detected state, determines whether a detection event corresponding to the related item list is generated before the detected state transits to a next state.

摘要翻译： 计数器示例分析支持装置包括存储作为模型检查结果不满足验证条件的状态和事件的转换序列的计数器示例的计数器示例存储器; 包括：相关项目列表存储，存储作为用于检测和生成其他状态的事件的检测事件相关联的列表的相关项目表以及用于确定是否存在生成的状态的检测状态 检测事件; 以及搜索单元，从所述计数器示例输出可能的问题部分，其中所述搜索单元确定所述计数器示例中包括的状态是否是检测状态，并且如果所述计数器示例中包括的状态是检测状态，则确定检测 在检测到的状态转换到下一状态之前生成与相关项列表相对应的事件。