CN108733502B - 用于操作系统中的错误识别的方法 - Google Patents

用于操作系统中的错误识别的方法 Download PDF

Info

Publication number
CN108733502B
CN108733502B CN201810329786.XA CN201810329786A CN108733502B CN 108733502 B CN108733502 B CN 108733502B CN 201810329786 A CN201810329786 A CN 201810329786A CN 108733502 B CN108733502 B CN 108733502B
Authority
CN
China
Prior art keywords
task
computer
operating system
application
time
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CN201810329786.XA
Other languages
English (en)
Other versions
CN108733502A (zh
Inventor
斯蒂芬·波莱德纳
A·沃尔夫
赫而曼·高柏兹
M·赫夫勒
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Tttech Auto AG
Original Assignee
Tttech Auto AG
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Tttech Auto AG filed Critical Tttech Auto AG
Publication of CN108733502A publication Critical patent/CN108733502A/zh
Application granted granted Critical
Publication of CN108733502B publication Critical patent/CN108733502B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/079—Root cause analysis, i.e. error or fault diagnosis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0709—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in a distributed system consisting of a plurality of standalone computer nodes, e.g. clusters, client-server systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/08—Error detection or correction by redundancy in data representation, e.g. by using checking codes
    • G06F11/10—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's
    • G06F11/1004—Adding special bits or symbols to the coded information, e.g. parity check, casting out 9's or 11's to protect a block of data words, e.g. CRC or checksum
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/073—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in a memory management context, e.g. virtual memory or cache management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
    • G06F11/0739—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function in a data processing system embedded in automotive or aircraft systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G06F11/0754—Error or fault detection not based on redundancy by exceeding limits
    • G06F11/0757—Error or fault detection not based on redundancy by exceeding limits by exceeding a time limit, i.e. time-out, e.g. watchdogs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0793—Remedial or corrective actions

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Health & Medical Sciences (AREA)
  • Biomedical Technology (AREA)
  • Computer Security & Cryptography (AREA)
  • Computer Hardware Design (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本发明涉及用于识别操作系统中计算机存在或出现错误的方法，其中在所请求的应用任务(107)的开始时刻(102，112)之前的运行时间期间，执行特别是独立的验证任务(106)，该验证任务读取并验证计算机中由操作系统的计算任务(105)设置的控制寄存器的内容，该内容指定所请求的应用任务(107)的运行时环境的特性。此外，本发明涉及在其上执行此类方法的计算机。

Description

用于操作系统中的错误识别的方法
技术领域
本发明涉及一种用于识别在操作系统中的计算机存在或发生错误的方法。
此外，本发明涉及一种具有操作系统的计算机。
最后，本发明涉及一种包括节点计算机的计算机系统，特别是时间控制的分布式实时计算机系统，其中一个或多个节点计算机被构造为根据本发明的计算机。
本发明属于计算机技术领域。本发明涉及一种方法，该方法使得能够在运行时间期间验证操作系统的行为并且识别错误结果。操作系统的这些错误结果可能是由操作系统的软件中存在的设计错误或操作系统的运行时间期间的瞬时硬件错误引起的。
背景技术
传感器技术和计算机技术的发展实现了技术对象(例如，自主地工作的机器)或自主地控制目标的车辆在很大程度上自主的控制。在这些实时计算机的应用中，特别要求快速识别计算机系统中的错误，以便能够在发生错误之后快速地将技术对象置于安全状态。在许多技术对象中，在识别出错误之后立即停止控制过程(紧急停止)是使系统进入安全状态的措施。
在许多实时计算机的应用中，是使用复杂的操作系统(例如LINUX)。许多这些复杂的操作系统都包含无法识别的软件错误。因此，在[2]中指出，在广泛使用的LINUX操作系统LINUX 3.0版本中标识出855个错误。利用本发明提出的方法，可以减轻这些错误中的一些错误的后果。
在下文中，我们将包括操作系统在内的所有程序集合称之为“操作系统软件”。
我们将包括应用系统在内的所有程序集合称之为“应用软件”。
概念“软件”应理解为操作系统软件和应用软件的合集。
我们将在机器上执行程序(即，软件过程)称为任务。
操作系统软件的任务或操作系统的任务也被称为操作系统任务，应用软件的任务或应用系统的任务也被称为应用任务。
我们通过有限状态机来对任务的行为进行建模(不管它是操作系统任务还是应用任务)并且将根据给定的输入数据和旧状态来计算新结果和新状态的任务称为计算任务。我们将验证计算任务结果的正确性的任务称为验证任务。
控制系统(其是用于受控对象的实时控制和/或调节的系统)周期性地运行[1，第7页]是属于现有技术。在周期性的观测时刻(采样点)观测受控对象。所获取的数据形成尽可能快地计算执行器的新的设定值(Sollwerten)的基础，这些设定值影响受控对象的行为。
我们将在每次观测之后必须执行的、可能为分布式的、计算序列的周期性重复执行称为帧。
在一帧中可以运行一个或多个实时事务(RT事务，参见[1，第24页])。
在一个RT事务内执行的操作系统任务和应用任务(即，软件过程)的顺序是在一个或多个数据流路径(DFP)中确定。
两个时间参数与每一帧是相关的：
执行历时(也称为响应时间)表示采样点与帧结果输出至受控对象的执行器之间的时间间隔。帧的执行历时越短，则控制系统的质量越好。
帧区间表示两个相继帧之间的时间间隔。
每秒处理的帧的数目常常以赫兹(Hz)来表达。
在帧中发生错误的原因可能是计算机硬件的老化故障(物理故障)或计算机硬件或软件中存在的设计错误(设计故障)。
当在其寿命开始时能够完全运作的组件由于硬件的老化过程或者物理环境影响(例如，宇宙辐射)而失灵时，会发生老化故障。在现有技术的芯片中，永久老化误差的故障率<100FIT。
瞬时硬件故障的故障率显著高于永久硬件故障的故障率[1，第155页]。在许多情况下，瞬时硬件故障的操作影响与软件中的海森堡漏洞(Heisenbug)[1，第138页]并没有区别。
在软件中发生设计错误的重要原因在于软件的复杂度。
降低有可能在软件中未被发现的设计错误的措施包括一有系统的设计过程、检验和验证、以及最重要的是大量的软件测试(包括离线和在线)。
在在线测试中，在计算机系统或计算机的操作期间，验证任务中被选定的中间结果、特别是(操作系统软件或应用软件的)计算任务中被选定的中间结果，即，验证其正确性。可以使用在线测试来识别软件中的设计错误(例如，未识别出的海森堡漏洞)和瞬时硬件故障的影响。
发明内容
本发明的目的在于，在运行时间期间识别操作系统任务、即操作系统的计算任务的错误结果。这些错误结果可能是由操作系统的软件中存在的设计错误或在操作系统的运行时间期间的老化故障(永久和瞬时硬件故障)引起的。
根据本发明，该任务通过以下方式来解决：在所请求的应用任务的开始时刻之前的运行时间期间，执行特别是独立的验证任务，该验证任务读取并验证计算机中由操作系统的计算任务设置的控制寄存器的内容，该内容指定所请求的应用任务的运行时环境的特性。
根据本发明，在开始执行应用任务之前执行特别是独立的验证任务，该验证任务验证由操作系统提供的结果。
例如，如果两个任务是彼此分开来开发和/或测试的，则这两个任务是相互独立的。
本发明是基于：计算结果在大多数情况下是比验证结果更复杂。因此，在计算结果期间发生错误的概率高于在验证结果期间发生错误的概率。
例如，验证一系列数字是否正确排序要比将无序列的数字排序容易得多。
以下描述根据本发明的方法、计算机和计算机系统的有利设计：
Figure BDA0001627600750000031
特别是独立的验证任务可以是操作系统软件的一部分；或者
Figure BDA0001627600750000032
特别是独立的验证任务可以是应用软件的一部分；
Figure BDA0001627600750000033
可以规定，在验证中已发现控制寄存器中有错误的情况下开始紧急操作。
Figure BDA0001627600750000034
可以规定，在验证中已在帧中发现错误的情况下，在紧急操作开始之前等待下一帧。
Figure BDA0001627600750000035
操作系统优选是时间控制的操作系统和/或应用系统是例如时间控制的应用系统；在时间控制的操作系统中，优选地规定，操作系统的计算任务和特别是独立的验证任务在应用任务的先验已知的开始时刻之前执行。
在帧中识别出错误之后是等待下一帧还是立即设置紧急操作，取决于具体的任务。在自主车辆形式的受控对象的情况下，刹停车辆可以是紧急操作。
因此，根据本发明，大规模的操作系统(例如LINUX)的计算任务的结果通过优选独立的验证任务来验证。这些优选独立的验证任务可以是操作系统软件的一部分或应用软件的一部分，因此可以是操作系统软件的任务或应用软件的任务。
如果在发生某件因应用而异的事件(例如，消息到达或发生中断)之后请求操作系统将上下文切换至由该事件请求的应用任务，则操作系统的计算任务必须在应用任务的开始时刻之前计算计算机的控制寄存器的内容，该内容指定所请求的应用任务的运行时环境的特性。
所请求的应用任务的运行时环境的特性至少可包括以下特性：
●应用任务的哪些数据区域可以被读取，
●应用任务的哪些数据区域可以被写入，
●应用任务的哪些数据区域可以被操作系统中活跃的其它任务读取或写入，以及
●应用任务可能需要多长时间进行计算。
根据本发明，在完成操作系统的计算任务之后，验证任务验证计算机的控制寄存器的内容。
为了防止验证任务中的错误改变计算机的控制寄存器的内容，验证任务只能读取计算机的控制寄存器的内容。
在验证中已发现错误的情况下，可立即启动应用相关的紧急操作，例如，设备的停机。
在验证中已在周期性帧中发现错误的情况下，可以在设置紧急操作之前等待下一帧。
如果至少满足以下条件，则计算机的控制寄存器将被验证：
●应用任务的数据受到保护，以防止其他任务未经授权的存取。
●计算机中的数据的所设置的读/写权限符合应用任务的规范。
●输入/输出数据的地址符合应用任务的规范。
●要由操作系统监控的应用软件的运行时间规定符合应用任务的规范。
我们将在应用任务的开始时刻之前在任务切换的框架下执行的操作系统的活动的历时称为管理开销[1，第245页]。任务切换的管理开销是根据计算任务的执行历时和验证任务的执行历时之和得到的。
附图说明
以下根据附图中示出的实施例来描述本发明。在附图中示出：
图1a示出了计算机在事件控制的操作系统中操作系统任务和应用任务的过程；以及
图1b示出了计算机在时间控制的操作系统中操作系统任务和应用任务的过程。
具体实施方式
在图1a中，示出了事件控制的操作系统中计算机的任务切换的时间过程。横线100示出时间的进展。例如，在事件控制的操作系统中，在先验未知的时刻101，发生涉及任务切换的事件。在时间区间105中，计算机的操作系统计算计算机的控制寄存器的新内容。在时间区间106中，操作系统验证寄存器的内容。应用任务在作为所请求的应用任务的开始时刻的时刻102开始计算。在应用任务的历时107之后，应用任务产生其结果。该结果可以被传递给执行器或者帧中的后续任务。这在时刻103发生。
在图1b中，示出了时间控制的操作系统中的任务切换的时间过程。横线100示出时间的进展。在时间控制的系统中，先验地知道，在开始时刻112，特定的应用任务必须开始其计算。由于这种先验知识，操作系统可以已经在时刻111开始计算控制寄存器的新内容。
在操作系统的计算任务以历时105计算完成之后，操作系统在后续区间106中用验证任务来验证控制寄存器的内容。该验证在作为新应用任务的先验已知的开始时刻的时刻112结束。在应用任务的执行时间107之后，应用任务产生其结果。该结果可以被传递给执行器或者帧中的后续任务。这在时刻113发生。
时刻111根据以下的算式而得到：
时刻111＝时刻112–(操作系统的计算任务的历时105+验证任务的历时106)
与事件控制ET的操作系统相比，其中对于应用的功能而言重要的执行历时ET为
执行历时ET＝(操作系统的计算任务的历时105+验证任务的历时106+应用任务的历时107)
可以在时间控制(TT)的操作系统中通过应用任务的开始时刻的先验知识将对于应用的功能而言重要的执行历时TT减小到
执行历时TT＝(应用任务的历时107)
通过缩短帧内任务的执行历时，在时间控制的系统中减少了帧的总执行历时，这导致控制系统质量的改善。
所引用的文献：
[1]Kopetz,H.的“实时系统，用于分布式嵌入式应用的设计原理”施普林格出版社，2011年。
[2]Palix,N等人，LINUX 2.6中的错误，ACM计算机系统期刊，第32卷，第2册，第4.1-4.41页，2014年6月。

Claims (18)

1.一种用于识别操作系统中的计算机存在或出现错误的方法，
其特征在于，
在所请求的应用任务(107)的开始时刻(102，112)之前的运行时间期间，执行验证任务，所述验证任务读取并验证所述计算机中由所述操作系统的计算任务(105)设置的控制寄存器的内容，所述内容指定所请求的应用任务(107)的运行时环境的特性；
如果至少满足以下条件，则计算机的控制寄存器将被验证：
应用任务的数据受到保护，以防止其他任务未经授权的存取；
计算机中的数据的所设置的读/写权限符合应用任务的规范；
输入/输出数据的地址符合应用任务的规范；
要由操作系统监控的应用软件的运行时间规定符合应用任务的规范。
2.如权利要求1所述的方法，其特征在于，所述验证任务是独立的验证任务(106)。
3.如权利要求2所述的方法，其特征在于，所述独立的验证任务(106)是操作系统软件的一部分。
4.如权利要求2所述的方法，其特征在于，所述独立的验证任务(106)是应用软件的一部分。
5.如权利要求1到4中任一项所述的方法，其特征在于，在所述验证中已发现控制寄存器中有错误的情况下开始紧急操作。
6.如权利要求1所述的方法，其特征在于，在所述验证中已在帧中发现错误的情况下，在开始紧急操作之前等待下一帧。
7.如权利要求1所述的方法，其特征在于，所述操作系统是时间控制的操作系统和/或应用系统是时间控制的应用系统。
8.如权利要求7所述的方法，其特征在于，在时间控制的操作系统中，在所述应用任务(107)的先验已知的开始时刻(112)之前执行所述操作系统的计算任务(105)和独立的验证任务(106)。
9.一种具有操作系统的计算机，
其特征在于，
为了识别在所述计算机的所述操作系统中的所述计算机存在或出现的错误，所述计算机被设置成：在所请求的应用任务(107)的开始时刻(102，112)之前的运行时间期间，执行验证任务，所述验证任务读取并验证所述计算机中由所述操作系统的计算任务(105)设置的控制寄存器的内容，所述内容指定所请求的应用任务(107)的运行时环境的特性；
如果至少满足以下条件，则计算机的控制寄存器将被验证：
应用任务的数据受到保护，以防止其他任务未经授权的存取；
计算机中的数据的所设置的读/写权限符合应用任务的规范；
输入/输出数据的地址符合应用任务的规范；
要由操作系统监控的应用软件的运行时间规定符合应用任务的规范。
10.如权利要求9所述的计算机，其特征在于，所述验证任务是独立的验证任务(106)。
11.如权利要求10所述的计算机，其特征在于，所述独立的验证任务(106)是操作系统软件的一部分。
12.如权利要求10所述的计算机，其特征在于，所述独立的验证任务(106)是应用软件的一部分。
13.如权利要求9到12中任一项所述的计算机，其特征在于，在所述验证中已发现控制寄存器中有错误的情况下开始紧急操作。
14.如权利要求9所述的计算机，其特征在于，在所述验证中已在帧中发现错误的情况下，在开始紧急操作之前等待下一帧。
15.如权利要求9所述的计算机，其特征在于，所述操作系统是时间控制的操作系统和/或应用系统是时间控制的应用系统。
16.如权利要求15所述的计算机，其特征在于，在时间控制的操作系统中，在所述应用任务(107)的先验已知的开始时刻(112)之前执行所述操作系统的计算任务(105)和独立的验证任务(106)。
17.一种包括节点计算机的计算机系统，其特征在于，一个或多个节点计算机被构造为根据权利要求9到16中任一项所述的计算机。
18.如权利要求17的计算机系统，其特征在于，所述的计算机系统是时间控制的分布式实时计算机系统。
CN201810329786.XA 2017-04-13 2018-04-13 用于操作系统中的错误识别的方法 Active CN108733502B (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
EP17166581.3 2017-04-13
EP17166581.3A EP3388944A1 (de) 2017-04-13 2017-04-13 Verfahren zur fehlererkennung in einem betriebssystem

Publications (2)

Publication Number Publication Date
CN108733502A CN108733502A (zh) 2018-11-02
CN108733502B true CN108733502B (zh) 2022-03-18

Family

ID=58606043

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201810329786.XA Active CN108733502B (zh) 2017-04-13 2018-04-13 用于操作系统中的错误识别的方法

Country Status (3)

Country Link
US (1) US10684908B2 (zh)
EP (1) EP3388944A1 (zh)
CN (1) CN108733502B (zh)

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US11334421B2 (en) * 2019-11-15 2022-05-17 Dell Products L.P. Method and apparatus to identify a problem area in an information handling system based on latencies

Family Cites Families (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH06242957A (ja) * 1993-02-16 1994-09-02 Fujitsu Ltd プログラム実行制御装置
AT410490B (de) * 2000-10-10 2003-05-26 Fts Computertechnik Gmbh Verfahren zur tolerierung von ''slightly-off- specification'' fehlern in einem verteilten fehlertoleranten echtzeitcomputersystem
US6880149B2 (en) * 2002-04-01 2005-04-12 Pace Anti-Piracy Method for runtime code integrity validation using code block checksums
US7793347B2 (en) * 2005-02-07 2010-09-07 Rozas Guillermo J Method and system for validating a computer system
CN100557576C (zh) * 2007-11-14 2009-11-04 华为技术有限公司 操作系统故障检测的方法和装置
US10255463B2 (en) * 2008-11-17 2019-04-09 International Business Machines Corporation Secure computer architecture
KR101880912B1 (ko) * 2011-11-15 2018-07-25 삼성전자 주식회사 단말기의 어플리케이션 실행 시스템 및 방법

Also Published As

Publication number Publication date
US10684908B2 (en) 2020-06-16
US20180300194A1 (en) 2018-10-18
EP3388944A1 (de) 2018-10-17
CN108733502A (zh) 2018-11-02

Similar Documents

Publication Publication Date Title
EP3178000B1 (en) Method of executing programs in an electronic system for applications with functional safety comprising a plurality of processors, corresponding system and computer program product
US9632860B2 (en) Multicore processor fault detection for safety critical software applications
Axer et al. Reliability analysis for MPSoCs with mixed-critical, hard real-time constraints
CN101713970B (zh) 重启飞行控制系统的方法和系统
US8650547B2 (en) Method for debugging operational software of a system onboard an aircraft and device for implementing the same
US20080133975A1 (en) Method for Running a Computer Program on a Computer System
JP2010539577A (ja) 航空機搭載のオペレーション・ソフトウェアのデバッグ・フェーズ中に扱われる情報の量を処理するための方法およびその方法を実施するためのデバイス
da Silva et al. Special session: AutoSoC-a suite of open-source automotive SoC benchmarks
CN108733502B (zh) 用于操作系统中的错误识别的方法
CN115935631A (zh) 用于车机设备的测试系统和方法、存储介质
Weiss et al. Understanding and fixing complex faults in embedded cyberphysical systems
Pop et al. Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the RECOMP approach
Schumann et al. Bayesian software health management for aircraft guidance, navigation, and control
EP3651022B1 (en) Tool verification system and method of verifying an unqualified component
Hernandez et al. Low-cost checkpointing in automotive safety-relevant systems
Shen et al. A roving monitoring processor for detection of control flow errors in multiple processor systems
JP4102814B2 (ja) 入出力制御装置，情報制御装置及び情報制御方法
KR102603835B1 (ko) 프로세서 시스템의 프로그램 카운터 구조를 보호하고 인터럽트 요청의 처리를 모니터링하기 위한 방법 및 장치
Golnari et al. Error-tolerant processors: Formal specification and verification
US8522081B2 (en) Microcomputer outputting failure detection result
Beckschulze et al. Fault handling approaches on dual-core microcontrollers in safety-critical automotive applications
Hiller Error recovery using forced validity assisted by executable assertions for error detection: An experimental evaluation
JP5425445B2 (ja) 処理制御システム、方法及びプログラム
Rentschler et al. System self diagnosis for industrial devices
KR102471314B1 (ko) 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
TA01 Transfer of patent application right

Effective date of registration: 20190725

Address after: Austria Vienna

Applicant after: TTTECH Automobile Co., Ltd.

Address before: Vienna, Austria

Applicant before: TTTECH Computer Technology Co., Ltd.

TA01 Transfer of patent application right
GR01 Patent grant
GR01 Patent grant