专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

2. 发明申请

WO2017064623A1 METHOD FOR EXECUTING PROGRAMS IN AN ELECTRONIC SYSTEM FOR APPLICATIONS WITH FUNCTIONAL SAFETY COMPRISING A PLURALITY OF PROCESSORS, CORRESPONDING SYSTEM AND COMPUTER PROGRAM PRODUCT 审中-公开
标题翻译：用于执行具有功能安全性的应用的电子系统中的程序的方法，其包括多个处理器，相应系统和计算机程序产品
公开(公告)号：WO2017064623A1
公开(公告)日：2017-04-20
申请号：PCT/IB2016/056089
申请日：2016-10-12
申请人： YOGITECH S.P.A.
发明人： MARIANI, Riccardo
IPC分类号： G06F11/00
CPC分类号： G06F11/008
摘要： A method for executing programs (P) in an electronic system for applications with functional safety that comprises a single-processor or multiprocessor processing system (10) and a further independent control module (15), including: carrying out a decomposition of a program (P) that includes a safety function (SF) to be executed via said system (10) into a plurality of parallel subprograms (P1,..., Pn); assigning execution of each parallel subprogram (P1,..., Pn) to a respective processing module (11) of the system, in particular a processor (C1,..., Cm) of said multiprocessor architecture (10) or a virtual machine (V1,..., Vn) associated to one of said processors (C1,..., Cm); carrying out in the system (10), periodically according to a cycle frequency (f cyc ) of the program (P) during normal operation of said system (10), in the context of said safety function (SF), self-test operations (A stl , A sys , A chk ) associated to each of said subprograms (P1,..., Pn) and to the corresponding processing modules (11) on which they are executed, said self-test operations (A stl , A sys , A chk ) including: diagnostic-self-test operations (A stl ), which carry out diagnostic self-tests; operations (A sys ) of self-testing of system values measured on the architecture (10); applicational self-test operations (A chk ), which include operations of checking execution of conditions of use (A cou ) and/or execution of LBISTs (Logic Built-in Self-Tests) (A bst ), and including: generating respective self-test data (D stl , D sys , D chk ) corresponding to the self-test operations (A stl , A sys , A chk ) and carrying out checking operations (51, 61) on said self-test data (D stl , D sys D chk ); exchanging said self-test data (D stl , D sys , D chk ) continuously via a protocol (PL) of messages (MC) with the further independent control module (15); carrying out at least part of said checking operations (51, 61) in said further control module (15); and executing said operation of decomposition of the program (P) into a plurality of parallel subprograms (P1,..., Pn) to achieve a coverage target (A stl , A sys , A chk ) for each of said self-test operations (A stl , A sys , A chk ) associated to a respective subprogram ( P1,..., Pn) or processing module (11) in such a way that it respects a given failure-probability target (g12).
摘要翻译：一种用于在具有功能安全的应用的电子系统中执行程序（P）的方法，所述应用包括单处理器或多处理器处理系统（10）和另外的独立控制模块（15），所述方法包括：将包括要通过所述系统（10）执行的安全功能（SF）的程序（P）分解成多个并行子程序（P1，...，Pn）; 将每个并行子程序（P1，...，Pn）的执行分配给系统的相应处理模块（11），特别是所述多处理器体系结构（10）的处理器（C1，...，Cm）与所述处理器（C1，...，Cm）中的一个相关联的机器（V1，...，Vn）; 在所述系统（10）的正常操作期间，在所述安全功能的上下文中，根据程序（P）的周期频率（f cycle）周期性地在系统（10） SF），与每个所述子程序（P1，...，）相关联的自测操作（A _{st _{sys _{，_{chk ，Pn）以及执行它们的相应处理模块（11），所述自测操作（A _{stl _{sys _{_{chk < 包括：进行诊断自检的诊断自检操作（A _{stl ）; 在体系结构（10）上测量的系统值自我测试的操作（A _{sys ）; 应用程序自检操作（A _{chk ），其包括检查执行使用条件（A _{cou ）和/或执行LBISTs（逻辑内置自我 - 测试）（A _{bst ），并且包括：产生相应的自测数据（D _{stl _{，D sys>，D _{chk 对应于自检操作（A _{stl ，A _{sys ，A _{chk ）并执行检查操作（51 在所述自测数据（D _{stl ，D D _{chk ）上; 通过消息（MC）的协议（PL）连续地交换所述自测数据（D _{，D sys，D chk ）所述另外的独立控制模块（15）; 在所述另外的控制模块（15）中执行所述检查操作（51,61）中的至少一部分; 并执行所述程序（P）分解为多个并行子程序（P1，...，Pn）的操作以实现覆盖目标（A _{stl _{sys 对于每个所述自检操作（A _{stl _{，sys ，A _{chk ），（P1，...，Pn）或处理模块（11）相关联，以便它遵守给定的故障概率目标（g12）。}}}}}}}}}}}}}}}}}}}}}}}}}}}

IPRDB

热门服务

关于我们

友情链接

联系方式