公开(公告)号：CN107844397A

公开(公告)日：2018-03-27

申请号：CN201710847686.1

申请日：2017-09-19

申请人： 泰勒斯公司

发明人： K·法比安 ,  S·克里斯汀 ,  S·乔纳森

IPC分类号： G06F11/30 ,  G06F11/32

CPC分类号： G06F11/079 ,  G06F11/0736 ,  G06F11/0739 ,  G06N5/022 ,  G06N5/045 ,  G06F11/3013 ,  G06F11/327

摘要： 本发明涉及一种用于分析嵌入式系统的功能异常的方法、计算机程序产品和分析设备。该嵌入式系统包括用于对该系统进行建模(PM)的阶段和分析阶段(PA)。建模阶段(PM)包括以下步骤：定义(110)一组资源(110)、一组服务(120)、一组状态(130)和至少一个规则(140)用于由资源或服务获取状态。分析阶段(PA)包括以下步骤：对分析进行配置(150)，包括对标记的事件进行标记；以及分析(160)获取规则以确定一组基本事件和其出现的条件、从而导致出现标记的基本事件。