公开(公告)号：US20120185830A1

公开(公告)日：2012-07-19

申请号：US13391744

申请日：2009-09-30

Applicant: David Baca

Inventor： David Baca

IPC: G06F9/44

CPC classification number: G06F11/3636 ,  G06F11/3604

Abstract: A method of developing a tracing solution for the execution of blocks of computer code. The method comprises representing each block of code of an initial tracing solution as a vertex on an initial tracing solution graph. The vertices on the initial tracing solution graph constitute an initial set of vertices The method further comprises checking whether there are any redundant vertices in the initial set of vertices. Redundant vertices are vertices not needed for a tracing solution. If there are any redundant vertices in the initial set of vertices, one ore more of the redundant vertices is eliminated from the initial set of vertices, thereby deriving a reduced set of vertices.

Abstract translation: 开发用于执行计算机代码块的跟踪解决方案的方法。 该方法包括将初始跟踪解决方案的每个代码块表示为初始跟踪解图上的顶点。 初始跟踪解图上的顶点构成一组初始顶点。该方法还包括检查在初始顶点集中是否存在任何冗余顶点。 冗余顶点是跟踪解决方案不需要的顶点。 如果在初始的顶点集合中存在任何冗余的顶点，则从初始的顶点组中排除一个以上的冗余顶点，从而导出一组缩减的顶点。

公开(公告)号：US09477577B2

公开(公告)日：2016-10-25

申请号：US14233401

申请日：2011-07-20

Applicant: David Baca

Inventor： David Baca

IPC: G06F9/44 ,  G06F9/45 ,  G06F11/36 ,  G06F11/34

CPC classification number: G06F11/3624 ,  G06F11/3466 ,  G06F11/3612 ,  G06F11/3636 ,  G06F2201/865 ,  G06F2201/88

Abstract: A method of enabling an executed control flow path through computer program code to be determined. The method comprising modelling cumulative instruction counts for control flow paths through the computer program code, and inserting at least one probe within the computer program code to enable a cumulative instruction count value for at least one control flow path of the computer program code to be accessed.

Abstract translation: 能够确定通过计算机程序代码执行的控制流程的方法。 该方法包括对通过计算机程序代码的控制流程路径的累积指令计数进行建模，以及在计算机程序代码内插入至少一个探针，以使得能够访问计算机程序代码的至少一个控制流程路径的累积指令计数值 。

公开(公告)号：US09823983B2

公开(公告)日：2017-11-21

申请号：US14496552

申请日：2014-09-25

Applicant: David Baca

Inventor： David Baca

IPC: G06F11/00 ,  G06F11/16 ,  G06F11/14 ,  G06F11/07

CPC classification number: G06F11/1641 ,  G06F11/0721 ,  G06F11/0757 ,  G06F11/1497 ,  G06F11/1645

Abstract: An electronic fault detection unit is provided that has a first register, a second register, a comparator circuit, and a timer circuit. The first and second register can be written from a first software portion, and a second software portion, respectively. The comparator circuit is arranged to detect that both the first and second register have been written, verify a relationship between first data written to the first register and second data written to the second register, and signal a fault upon said verification failing. The timer circuit is arranged to signal a fault if said verification of the comparator circuit does not occur within a time limit.

公开(公告)号：US08762960B2

公开(公告)日：2014-06-24

申请号：US13391744

申请日：2009-09-30

Applicant: David Baca

Inventor： David Baca

IPC: G06F9/44

CPC classification number: G06F11/3636 ,  G06F11/3604

Abstract: A method of developing a tracing solution for the execution of blocks of computer code. The method comprises representing each block of code of an initial tracing solution as a vertex on an initial tracing solution graph. The vertices on the initial tracing solution graph constitute an initial set of vertices. The method further comprises checking whether there are any redundant vertices in the initial set of vertices. Redundant vertices are vertices not needed for a tracing solution. If there are any redundant vertices in the initial set of vertices, one or more of the redundant vertices is eliminated from the initial set of vertices, thereby deriving a reduced set of vertices.

Abstract translation: 开发用于执行计算机代码块的跟踪解决方案的方法。 该方法包括将初始跟踪解决方案的每个代码块表示为初始跟踪解图上的顶点。 初始跟踪解图上的顶点构成一组初始顶点。 该方法还包括检查在初始的顶点集合中是否存在任何冗余的顶点。 冗余顶点是跟踪解决方案不需要的顶点。 如果在初始的顶点集合中存在任何冗余顶点，则从初始的顶点组中消除一个或多个冗余顶点，从而导出一组缩减的顶点。

公开(公告)号：US20140157240A1

公开(公告)日：2014-06-05

申请号：US14233401

申请日：2011-07-20

Applicant: David Baca

Inventor： David Baca

IPC: G06F11/36

CPC classification number: G06F11/3624 ,  G06F11/3466 ,  G06F11/3612 ,  G06F11/3636 ,  G06F2201/865 ,  G06F2201/88

Abstract: A method of enabling an executed control flow path through computer program code to be determined. The method comprising modelling cumulative instruction counts for control flow paths through the computer program code, and inserting at least one probe within the computer program code to enable a cumulative instruction count value for at least one control flow path of the computer program code to be accessed.

Abstract translation: 能够确定通过计算机程序代码执行的控制流程的方法。 该方法包括对通过计算机程序代码的控制流程路径的累积指令计数进行建模，以及在计算机程序代码内插入至少一个探针，以使得能够访问计算机程序代码的至少一个控制流程路径的累积指令计数值 。