公开(公告)号：US08751094B2

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

申请号：US13714255

申请日：2012-12-13

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F7/00

CPC分类号： G06F8/20 ,  G05B19/0426 ,  G05B2219/24034

摘要： A system and method to hierarchically validate graphically based executable logic control specifications. The method may include performing an open loop validation of a feature of a plurality of features in the control specification, performing an open loop validation of the functional hierarchy of an application of a plurality of applications in the graphically based logic control specification in response to completing successful validation of the plurality of features, performing a closed loop validation an ECU model of a plurality of ECUs modeled in the graphically based logic control specification in response to completing successful validation of the plurality of applications, and performing a closed loop validation of the plurality of ECUs modeled in response to completing successful validation of the ECU modeled.

摘要翻译： 一种用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括执行控制规范中的多个特征的特征的开环验证，响应于完成，在基于图形的逻辑控制规范中对多个应用的​​应用的功能层次进行开环验证 成功地验证多个特征，响应于完成多个应用程序的成功验证，执行在图形逻辑控制规范中建模的多个ECU的ECU模型的闭环验证，以及执行多个特征的闭环验证 的ECU模拟响应完成成功验证的ECU模型。

公开(公告)号：US20140005856A1

公开(公告)日：2014-01-02

申请号：US13714255

申请日：2012-12-13

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F9/44

CPC分类号： G06F8/20 ,  G05B19/0426 ,  G05B2219/24034

摘要： A system and method to hierarchically validate graphically based executable logic control specifications. The method may include performing an open loop validation of a feature of a plurality of features in the control specification, performing an open loop validation of the functional hierarchy of an application of a plurality of applications in the graphically based logic control specification in response to completing successful validation of the plurality of features, performing a closed loop validation an ECU model of a plurality of ECUs modeled in the graphically based logic control specification in response to completing successful validation of the plurality of applications, and performing a closed loop validation of the plurality of ECUs modeled in response to completing successful validation of the ECU modeled.

摘要翻译： 一种用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括执行控制规范中的多个特征的特征的开环验证，响应于完成，在基于图形的逻辑控制规范中对多个应用的​​应用的功能层次进行开环验证 成功地验证多个特征，响应于完成多个应用程序的成功验证，执行在图形逻辑控制规范中建模的多个ECU的ECU模型的闭环验证，以及执行多个特征的闭环验证 的ECU模拟响应完成成功验证的ECU模型。

公开(公告)号：US08751093B2

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

申请号：US13448304

申请日：2012-04-16

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G06F7/00

CPC分类号： B60W50/04 ,  B60W2050/0006

摘要： The present disclosure generally relates to improvements in validating control specifications and more particularly pertains to a system and method to hierarchically validate graphically based executable logic control specifications. This method may include identifying, by a processor for hierarchically validating a graphically based logic control specification, a functional hierarchy of a first application of the control specification comprising a first feature. The method may include executing, by the processor, a specific first feature test case on the first feature to at least one of validate a structure of the first feature and validate that a specific functional requirement of the first feature is met.

摘要翻译： 本公开通常涉及对验证控制规范的改进，更具体地涉及用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括由处理器识别用于分层验证基于图形的逻辑控制规范，包括第一特征的控制规范的第一应用的功能层级。 该方法可以包括由处理器执行第一特征上的特定第一特征测试用例以验证第一特征的结构并验证第一特征的特定功能需求是否被满足中的至少一个。

公开(公告)号：US20130274949A1

公开(公告)日：2013-10-17

申请号：US13448304

申请日：2012-04-16

申请人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

发明人： Jared M. Farnsworth ,  Koichi Ueda ,  Hakan Yazarel

IPC分类号： G05D1/00 ,  G05B11/01

CPC分类号： B60W50/04 ,  B60W2050/0006

摘要： The present disclosure generally relates to improvements in validating control specifications and more particularly pertains to a system and method to hierarchically validate graphically based executable logic control specifications. This method may include identifying, by a processor for hierarchically validating a graphically based logic control specification, a functional hierarchy of a first application of the control specification comprising a first feature. The method may include executing, by the processor, a specific first feature test case on the first feature to at least one of validate a structure of the first feature and validate that a specific functional requirement of the first feature is met.

摘要翻译： 本公开通常涉及对验证控制规范的改进，更具体地涉及用于分层验证基于图形的可执行逻辑控制规范的系统和方法。 该方法可以包括由处理器识别用于分层验证基于图形的逻辑控制规范，包括第一特征的控制规范的第一应用的功能层级。 该方法可以包括由处理器执行第一特征上的特定第一特征测试用例以验证第一特征的结构并验证第一特征的特定功能需求是否被满足中的至少一个。

公开(公告)号：US07841228B2

公开(公告)日：2010-11-30

申请号：US11671164

申请日：2007-02-05

申请人： Jared M. Farnsworth

发明人： Jared M. Farnsworth

IPC分类号： G01M3/04

CPC分类号： G01M3/186

摘要： In one aspect there is disclosed a method of detecting a hydrogen leak in a fuel cell system that includes the steps of a) providing a hydrogen sensor, b) determining sensor characteristics, c) measuring a hydrogen concentration, d) determining if a hydrogen leak is occurring, and e) performing an action based on the determination of step d). The step of determining the sensor characteristics may include determining an upper detection limit of the hydrogen sensor, as well as determining a minimum time period at the upper detection limit before saturation of the sensor.

摘要翻译： 一方面，公开了一种检测燃料电池系统中的氢气泄漏的方法，包括以下步骤：a）提供氢传感器，b）确定传感器特性，c）测量氢浓度，d）确定氢气泄漏 正在发生，以及e）基于步骤d）的确定执行动作。 确定传感器特性的步骤可以包括确定氢传感器的上检测极限，以及确定在传感器饱和之前的检测极限处的最小时间段。

公开(公告)号：US07343251B1

公开(公告)日：2008-03-11

申请号：US11669492

申请日：2007-01-31

申请人： Jared M. Farnsworth ,  Justin David Ward ,  Bradley Landon Spare

发明人： Jared M. Farnsworth ,  Justin David Ward ,  Bradley Landon Spare

IPC分类号： G01F17/00 ,  G01F23/00

CPC分类号： G01F22/02 ,  F17C2221/012 ,  F17C2250/0421 ,  F17C2260/036 ,  F17C2270/0184 ,  Y02E60/321

摘要： In one aspect, there is disclosed a method of detecting a hydrogen leak in a fuel cell system, including the steps of (a) calculating a mass of hydrogen in a fuel tank, HT new, at a time step, (b) calculating a mass of the hydrogen consumed by the fuel cell at the time step, HFcp new, (c) calculating a total amount of hydrogen that has left the tank from a start to the time step, HTcons, (d) calculating a total amount of hydrogen consumption, HFcpcons, (e) calculating a difference between HTcons and HFcpcons at the time-step, (f) determining if the difference is above a predetermined threshold, and (g) performing an action based on the determination of step (f).

摘要翻译： 一方面，公开了一种检测燃料电池系统中的氢气泄漏的方法，包括以下步骤：（a）在时间步长计算燃料箱中的氢质量HT new，（b）计算 在时间步骤中燃料电池消耗的氢的质量为HFcp new，（c）计算从开始到时间步长离开罐的氢的总量，HTcons，（d）计算氢的总量 消费，HFCPcons，（e）在时间步长计算HTcons和HFcpcons之间的差异，（f）确定差异是否高于预定阈值，以及（g）基于步骤（f）的确定来执行动作。

公开(公告)号：US20140068339A1

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

申请号：US13599351

申请日：2012-08-30

申请人： Jared M. Farnsworth

发明人： Jared M. Farnsworth

IPC分类号： G06F11/22

CPC分类号： G06F11/3684

摘要： Systems and methods for state based test case generation for software validation are disclosed. One embodiment includes determining a first input and a first input type for a program block of vehicle software for creating a test case, wherein the first input type includes a state based input, determining permutations of values for the first input, based on the first input type, and running the test case with the state based input, wherein running the test case comprises applying the permutations of values for the first input to the program block. Some embodiments include determining, by a test computing device, whether the test case meets a predetermined level of modified condition/decision coverage (MC/DC) and providing an indication of whether the test case meets the predetermined level of MC/DC.

摘要翻译： 披露了基于状态的测试用例生成软件验证的系统和方法。 一个实施例包括确定用于创建测试用例的车辆软件的程序块的第一输入和第一输入类型，其中所述第一输入类型包括基于状态的输入，基于所述第一输入来确定所述第一输入的值的排列 类型，并使用基于状态的输入运行测试用例，其中运行测试用例包括将第一输入的值的排列应用于程序块。 一些实施例包括由测试计算设备确定测试用例是否满足修改的条件/判定覆盖（MC / DC）的预定级别，并提供测试用例是否满足预定级别的MC / DC的指示。

公开(公告)号：US20100333070A1

公开(公告)日：2010-12-30

申请号：US12492710

申请日：2009-06-26

申请人： Jared M. Farnsworth

发明人： Jared M. Farnsworth

IPC分类号： G06F9/44 ,  G06F12/00 ,  G06F12/02

CPC分类号： G06F11/3457

摘要： The invention relates to methods for evaluating the performance of a system having a plurality of electronic control unit (ECU) software programs. A plurality of first memory spaces are allocated for use by the software programs. At least one second memory space is allocated to be in communication with these first memory spaces. The output of at least one first software program is stored in at least one of said first memory spaces associated with that program, wherein said output is subsequently transmitted to at least one said second memory space, and wherein said output is further subsequently transmitted to at least one of said first memory spaces associated with at least one second software program. From this location, said output is accessed as an input for said second software program. The performance of the system is evaluated by executing said software programs and determining if the outputs of said programs satisfy the criteria of the system.

摘要翻译： 本发明涉及用于评估具有多个电子控制单元（ECU）软件程序的系统的性能的方法。 多个第一存储器空间被分配供软件程序使用。 至少一个第二存储器空间被分配为与这些第一存储器空间通信。 至少一个第一软件程序的输出被存储在与该程序相关联的所述第一存储器空间中的至少一个中，其中所述输出随后被发送到至少一个所述第二存储器空间，并且其中所述输出进一步随后被发送到 与至少一个第二软件程序相关联的所述第一存储空间中的至少一个。 从该位置，所述输出作为所述第二软件程序的输入被访问。 通过执行所述软件程序并确定所述程序的输出是否满足系统的标准来评估系统的性能。

公开(公告)号：US20080184780A1

公开(公告)日：2008-08-07

申请号：US11671164

申请日：2007-02-05

申请人： Jared M. Farnsworth

发明人： Jared M. Farnsworth

IPC分类号： G01M3/00

CPC分类号： G01M3/186

摘要： In one aspect there is disclosed a method of detecting a hydrogen leak in a fuel cell system that includes the steps of a) providing a hydrogen sensor, b) determining sensor characteristics, c) measuring a hydrogen concentration, d) determining if a hydrogen leak is occurring, and e) performing an action based on the determination of step d). The step of determining the sensor characteristics may include determining an upper detection limit of the hydrogen sensor, as well as determining a minimum time period at the upper detection limit before saturation of the sensor.

摘要翻译： 一方面，公开了一种检测燃料电池系统中的氢气泄漏的方法，包括以下步骤：a）提供氢传感器，b）确定传感器特性，c）测量氢浓度，d）确定氢气泄漏 正在发生，以及e）基于步骤d）的确定执行动作。 确定传感器特性的步骤可以包括确定氢传感器的上检测极限，以及确定在传感器饱和之前的检测极限处的最小时间段。