EP3311273A1 - Procédé et dispositif de sécurisation d'une structure de compteur de programme d'un système de processeur et de surveillance du traitement d'une demande d'interruption - Google Patents
Procédé et dispositif de sécurisation d'une structure de compteur de programme d'un système de processeur et de surveillance du traitement d'une demande d'interruptionInfo
- Publication number
- EP3311273A1 EP3311273A1 EP16721152.3A EP16721152A EP3311273A1 EP 3311273 A1 EP3311273 A1 EP 3311273A1 EP 16721152 A EP16721152 A EP 16721152A EP 3311273 A1 EP3311273 A1 EP 3311273A1
- Authority
- EP
- European Patent Office
- Prior art keywords
- address
- program counter
- interrupt
- interrupt request
- counter structure
- 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.)
- Pending
Links
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/16—Error detection or correction of the data by redundancy in hardware
- G06F11/1608—Error detection by comparing the output signals of redundant hardware
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/48—Program initiating; Program switching, e.g. by interrupt
- G06F9/4806—Task transfer initiation or dispatching
- G06F9/4812—Task transfer initiation or dispatching by interrupt, e.g. masked
- G06F9/4831—Task transfer initiation or dispatching by interrupt, e.g. masked with variable priority
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/004—Error avoidance
-
- 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/0715—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 system implementing multitasking
-
- 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
-
- 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/16—Error detection or correction of the data by redundancy in hardware
- G06F11/1629—Error detection by comparing the output of redundant processing systems
- G06F11/1637—Error detection by comparing the output of redundant processing systems using additional compare functionality in one or some but not all of the redundant processing components
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3024—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system component is a central processing unit [CPU]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F13/00—Interconnection of, or transfer of information or other signals between, memories, input/output devices or central processing units
- G06F13/14—Handling requests for interconnection or transfer
- G06F13/20—Handling requests for interconnection or transfer for access to input/output bus
- G06F13/24—Handling requests for interconnection or transfer for access to input/output bus using interrupt
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/32—Address formation of the next instruction, e.g. by incrementing the instruction counter
- G06F9/321—Program or instruction counter, e.g. incrementing
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
- G06F9/32—Address formation of the next instruction, e.g. by incrementing the instruction counter
- G06F9/322—Address formation of the next instruction, e.g. by incrementing the instruction counter for non-sequential address
- G06F9/327—Address formation of the next instruction, e.g. by incrementing the instruction counter for non-sequential address for interrupts
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/48—Program initiating; Program switching, e.g. by interrupt
- G06F9/4806—Task transfer initiation or dispatching
- G06F9/4812—Task transfer initiation or dispatching by interrupt, e.g. masked
Definitions
- the invention is based on a device or a method according to the preamble of the independent claims.
- the subject of the present invention is also a computer program.
- ISR interrupt service interrupt routine
- WO 2013 136 114 AI describes a system which allows the monitoring of occurring interrupts or their correct processing by an interrupt controller (ICO).
- ICO interrupt controller
- Processor processed address to be detected, whether or not there is an error. Correctness can be compared with a comparison
- Reference address are shown because the memory location is known at which the address of the interrupt routine, the so-called interrupt vector, or the interrupt routine itself is deposited.
- a method for securing a program counter structure of a processor system in the event of an interrupt request is presented, wherein the processor system comprises at least the program counter structure, a
- An interrupt controller and a memory wherein the interrupt controller is configured to provide an address associated with the interrupt request to the program counter structure in response to the interrupt request, and wherein the
- Program counter structure is adapted to an address via a
- Memory interface to the memory comprising the following steps:
- the address described above may be the address at which the interrupt vector, the start address of an interrupt routine, or else also the interrupt routine itself is stored. The former will
- interrupt vector tables typically required when using interrupt vector tables, such that this address is within the range of the interrupt vector table.
- address is spoken, although both the address of the interrupt routine and the address of the interrupt vector itself can be used. Of importance is in each case the address applied to the memory, which is used for checking.
- an address can already be read from the memory interface and compared in the step of the comparison before or during the execution of the first instruction of an interrupt routine.
- a successful start of processing the interrupt request may be signaled using the match signal. This serves to secure the program counter structure, since the correct initiation of the interrupt request belonging
- Interrupt routine can be checked. This can also be used to monitor the handling of interrupt requests. For example, to monitor compliance with the priority of these interrupt requests, or also as part of monitoring the correct execution of the interrupt request interrupt routine (interrupt service routine).
- the program counter structure can be designed to have a logical successor address following the address at the memory interface
- the successor address can be read. Then, in the step of comparing, the successor address may be compared with a successor target address logically following the target address, to perform the
- a successor address can be on a
- a follow-up target address can be simply by applying a logical operation of
- Program counter structure can be obtained to the target address.
- the Nachffy- target address is therefore, as well as the target address, always known and can in the Device are deposited.
- the program counter structure can be monitored with a high degree of security. In this case, the program counter can even be monitored with even greater certainty, since the structures / modules required to generate the successor address are also protected.
- the target address or the follow-up target address can be read in by a monitoring and verified. Both the target address and the
- the target address may be an address from the interrupt vector table at which the address of the interrupt routine is stored.
- the follow-up target address can be, for example, the reference address +1, which is generated by incrementing and possibly generated in normal operation anyway.
- a method for monitoring a handling of an interrupt request includes the following steps:
- a device for securing a program counter structure of a processor system is presented in an interrupt request, wherein the processor system at least the program counter structure, a
- Interrupt controller is adapted to be responsive to the
- Interrupt request to provide an address associated with the interrupt request to the program counter structure, and wherein the
- Program counter structure is adapted to an address via a
- Memory interface to the memory comprising the following features: an interface for reading an address from the memory interface; a comparator for comparing the address with one of
- Interrupt request associated with target address to obtain a comparison result; and output means for providing a coincidence signal using the comparison result.
- a device can be understood as meaning an electrical device which processes sensor signals and outputs control and / or data signals in dependence thereon.
- the device may have an interface, which may be formed in hardware and / or software.
- the interfaces can be part of a so-called system ASIC, for example, which contains a wide variety of functions of the device.
- the interfaces are their own integrated circuits or at least partially consist of discrete components.
- the interfaces may be software modules that are present, for example, on a microcontroller in addition to other software modules.
- a processor system with at least one
- Interrupt controller a program counter structure, a
- An interrupt controller is configured to provide an address associated with the interrupt request to the program counter structure in response to the interrupt request, and wherein the
- Program counter structure is adapted to an address to a
- Memory interface to the memory output, and wherein the device is adapted to read an address from the memory interface to compare an address with a target address associated with the interrupt request and a match signal using a
- the program counter structure may be part of a processor core which, in addition to the program counter structure, comprises an electronic arithmetic unit and / or further other modules.
- the monitoring modules are independent of the processor itself and, in principle, can also be used in conjunction with a known processor architecture. The latter could be done, for example, by simply reading the memory address, without having to change the processor.
- the processor system may be implemented as an integrated circuit. This can be a programmable integrated circuit, a so-called programmable IC.
- a computer program product or computer program with program code which can be stored on a machine-readable carrier or storage medium such as a semiconductor memory, a hard disk memory or an optical memory and for carrying out, implementing and / or controlling the steps of the method according to one of the above
- FIG. 1 is a block diagram of an apparatus for securing in accordance with an embodiment of the present invention
- FIG. 2 is an illustration of a security device according to an embodiment of the present invention
- 3a is an illustration of a processor system according to a
- Embodiment of the present invention is an illustration of a processor system according to a
- Fig. 5 is an illustration of a process in securing a
- FIG. 1 shows a block diagram of a device 100 for securing a program counter structure 102 of a processor system 104 at a
- Interrupt request 106 according to an embodiment of the present invention.
- the processor system 104 includes at least the
- Program counter structure 102 Program counter structure 102, an interrupt controller 108, and a memory 110.
- the interrupt controller 108 also called an interrupt controller, is configured to be responsive to
- Interrupt request 106 one of the interrupt request 106, in
- the program counter structure 102 is configured to output the address 112 or a successor address to the memory 110 via a memory interface 114.
- the device 100 has an interface 116 for reading the address 112 or the successor address from the memory interface 114, a
- Output device 122 is adapted to provide a match signal 124 using one provided by comparator 118
- the program counter structure 102 can be checked, as it can be assumed that the program counter structure 102
- Program counter structure 102 is transmitted correctly.
- FIG. 2 shows a representation of a device 100 for securing according to FIG.
- Embodiment of the present invention According to one
- Embodiment may be a continuous, parallel comparison of
- a comparison of the setpoint address 120 and the actually applied address 112 is triggered only if an interrupt request has previously occurred.
- the same and / or further signals may additionally be used to provide the corresponding
- Compare Constant 204 to select the number of simultaneous to reduce executed comparisons. This may be in relation to the
- FIG. 2 shows the latter embodiment in which the apparatus 100 comprises means 200 for generating the target address 120.
- the target address 120 is selected. This is done using identification information 202 of the interrupt request, which in turn controls a multiplexer 206.
- memory 204 is hardwired.
- the target address 120 is provided to the comparator 118.
- the device 100 has a further multiplexer 208, which has the address 112, an error value 210 as input signals, and a trigger signal 212 for controlling.
- the trigger signal 212 may be provided by the program counter structure 102, for example, if the address 112 is to be actually checked.
- the address 112 to be checked is available for the comparison device 118 when the trigger signal 212 clears the input of the further multiplexer 208. Otherwise, the error value 210 is provided, which certainly causes a false comparison result in the comparison device 118. It can be in this
- Embodiment thus only give a positive comparison result if the address to be checked 112 is relevant and to the
- the comparison constant 204 represents a theoretical value of the target address or of the successor target address for the respective interrupt request.
- State machine 212 generated in the program counter module trigger signal 212 can be used to trigger a check.
- the error value 210 represents This is an address that is not part of the set of theoretical possible target addresses or successor target addresses, such as zero.
- FIG. 3a shows an illustration of a processor system 104 according to an embodiment of the present invention.
- the processor system 104 essentially corresponds to the processor system in Fig. 1.
- the processor system in Fig. 1 is the
- Program counter 102 part of a processor 300 and in particular part of a control unit 350, which has at least one state machine 302 in addition to the program counter 102.
- the interrupt controller 108 also called interrupt controller, the memory 110 and the device 100 for protection are arranged outside the processor core 300.
- the device is designed to perform an address comparison.
- An external module 308 is configured to provide an interrupt request 106 to the interrupt controller 108, and optionally also an acknowledgment 307 and a completion signal 319 from the
- Interrupt controller 108 to receive.
- Interrupt controller 108 is configured to provide a start signal 310 and an address 112 to state machine 302 and to receive an interrupt code 312 from processor 300.
- Program counter 102 is configured to receive a signal from state machine 302 and send an address 352 to memory 110 and
- This address 352 can be
- the apparatus 100 is configured to compare the address 352 with a target address and, depending on the comparison, to provide a match signal 124 to an interrupt request monitor unit 324.
- Interrupt request monitoring unit 324 is configured to provide an interrupt request monitoring signal 354 and an interrupt request monitoring signal 354 in addition to the match signal 124 from the interrupt controller 108
- Completion monitoring signal 356 In Fig. 3a is shown a representation of the processor 300 with controller 350 and program counter 102 as part of it.
- the interruption code 312 may be used by the interruption control unit 108 for a completion monitoring signal 356 as well
- the interrupt code 312 may be used to confirm the successful execution of an interrupt routine, for example, to monitor the handling of
- the interruption code 312 can here be generated by HW, for example by the program counter 102, or alternatively also on the basis of software, for example via the output of corresponding data via a port at the end of an interrupt routine.
- the acknowledged to the external module acknowledgment 307, as well as the completion signal 319 are in principle optional and need not be the same as the corresponding signals, the monitoring unit for
- the completion signal 319 may be generated based on the interrupt code signal 312, or the
- Interrupt code 312 can be used directly.
- the possible addresses, the target address or successor target address, which can be used for the comparison or the check are not explicitly shown.
- FIG. 3b shows a merely exemplary representation of a processor system 104 according to an exemplary embodiment of the present invention.
- Processor system 104 substantially corresponds to the processor system in FIG. 3a.
- the program counter structure 102 is part of a processor core 300.
- the program counter structure 102 is comprised of at least one adder structure 304, a multiplexer 305, and a program counter register 306.
- the interrupt controller 108, the memory 110, and the device 100 for protection are arranged outside the processor core 300.
- the interrupt request 106 When an interrupt request 106 is sent from a request generating module 308 to the interrupt controller 108, the interrupt request 106 is categorized by the interrupt controller 108 and processed according to its priority. Upon initiation of an interrupt, the interrupt controller 108 sends a start signal 310 to the state machine 302 and optionally also one
- Program counter register 306 provides. At the beginning of the processing of the interruption is now, by the multiplexer 305, controlled by the
- Program counter register 306 is thus an address 352 of the memory 110 is driven. At the address 352 in the memory 110, for example, an interrupt vector, the address of the first instruction of the interrupt routine, or even the routine itself may be stored.
- the address 352 is tapped by the device 100 for protection.
- the processing of the interrupt request begins at the address 352, for example with a jump to the first instruction of the routine itself or already directly with the execution of the routine.
- the termination of Interrupt routine is finally signaled by the interrupt code 312, the successful execution to the interrupt controller.
- the successful execution of the interrupt request begins at the address 352, for example with a jump to the first instruction of the routine itself or already directly with the execution of the routine.
- the computing units 318 may include arithmetic logic units and similar modules typically used in processors.
- Program counter register 306 is again supplied to adder structure 304.
- the successor address is generated based on the address 112. For example, the address 112 is incremented by one plus to generate the successor address. The mentioned increase of 1 is chosen only as an example. This successor address will be back in the
- Program counter register 306 written and then applied to the memory 110.
- the successor address is thus tapped by the device 100 for protection.
- the match signal 124 is then further used using a comparison of the successor address with the
- critical parts of the processor 300 are included in the monitored structures to increase the degree of coverage of interrupt request monitoring.
- parts of the handling of the interrupt request 106 are checked by the processor 300.
- the state machine 302 as well as the adder structure 304, the multiplexer 305 and the program counter register 306 are monitored.
- the interrupt request monitoring signal 354 the
- Completion monitoring signal 356 and the coincidence signal 124 in an interrupt request monitor 324 to monitor the handling of interrupt requests. In this case, both the priority, the order of execution of various requests, as well as the correct sequence in the processing of a request itself can be monitored.
- FIG. 3b shows a simplified illustration of the interrupt monitoring concept with additional monitoring of parts of the program counter module 102.
- a state machine 302 is typically present which controls program execution and execution of different types of instructions.
- the state machine 302 is responsible, among other things, for the correct execution in the case of an existing interrupt request 106. If the interrupt request 106 is present, an address 112 pertaining to the interrupt request 106, for example in the address area of one, is available at the next possible time at which an interrupt may occur
- Interrupvektortabelle generated and read the data stored here.
- This data may be, for example, an interrupt vector, the address at which the interrupt routine itself is stored.
- the interrupt vector table can hereby be stored in various types of memories, such as ROM or RAM.
- Interruption belonging to the target address is used to interrupt the regular program, and thus parts of the interruption
- Program counter 102 addressed memory 110 which is driven clocked example, as is typically the case with processors 300 pipelined
- program counter register 306 per se is checked by successfully twice overwriting with correct data different from each other, and also by incrementing the program counter register
- Program counter register 306 other parts of the state machine 302 are checked, which controls the program flow, and the multiplexer 305 are checked, which selects the input of the program counter register 306.
- the multiplexer is first by a correct switching to address 112 and then to the adder output or the
- the successor address designates in the context of the statements, the logically following address, regardless of the count, such as Linear or Gray of the program counter. The latter has no influence on the
- FIG. 4 shows a flow chart of a method 400 for securing a program counter structure of a processor system at a
- Interrupt request according to an embodiment of the present invention.
- the method can be carried out on a device, as shown for example in Figures 1 to 3. This shows that
- Processor system at least the program counter structure, a
- An interrupt controller is configured to provide an address associated with the interrupt request to the program counter structure in response to the interrupt request.
- the program counter structure is configured to output an address to the memory via a memory interface.
- the method 400 includes a step 402 of reading, a step 406 of comparing, and a step 408 of providing.
- step 402 of the read in an address is read from the memory interface.
- step 406 of the comparison the address is compared with a target address associated with the interrupt request to be a
- step 408 of providing a match signal is provided using the comparison result.
- a monitoring of the program counter structure is presented when interrupt requests occur. It can also be used to monitor the handling of interrupt requests with backup of the program counter structure.
- Fig. 5 shows only as an exemplary implementation possibility a
- the first signal 500 is a clock signal. By way of example, a clocking with the rising signal edge is shown for six consecutive clocks.
- Signal 504 represents the contents of program counter register 306. Assuming in clock two is an interrupt request 502 which can be processed after the instructions have been read in at addresses n and n-1, the program counter register may already be in clock three, for example with the Address 122 of the interrupt vector 316 will be described. This address of the interrupt vector in this embodiment is also that which is applied to the memory and checked by the address comparison 100.
- Successor address 322 is applied to the memory, it can additionally, or even exclusively checks this, and thus a larger part of
- Program counter structure are monitored.
- the interrupt vector 316 and thus the address of the first instruction of the monitoring routine is written in the program counter register, applied to the memory and started with the processing of the routine itself.
- FIG. 5 shows an exemplary timing diagram for illustrating the process of initiating the interrupt routine.
- an interrupt request 106 its processing is initiated by the processor.
- the addresses 122 and 322 are created, which can be used for an interrupt check.
- an exemplary embodiment comprises a "and / or" link between a first feature and a second feature, then this is to be read so that the embodiment according to one embodiment, both the first feature and the second feature and according to another embodiment either only first feature or only the second feature.
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Quality & Reliability (AREA)
- Computing Systems (AREA)
- Mathematical Physics (AREA)
- Microcomputers (AREA)
- Debugging And Monitoring (AREA)
- Executing Machine-Instructions (AREA)
Abstract
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE102015211458.9A DE102015211458A1 (de) | 2015-06-22 | 2015-06-22 | Verfahren und Vorrichtung zum Absichern einer Programmzählerstruktur eines Prozessorsystems und zum Überwachen der Behandlung einer Unterbrechungsanfrage |
PCT/EP2016/060010 WO2016206847A1 (fr) | 2015-06-22 | 2016-05-04 | Procédé et dispositif de sécurisation d'une structure de compteur de programme d'un système de processeur et de surveillance du traitement d'une demande d'interruption |
Publications (1)
Publication Number | Publication Date |
---|---|
EP3311273A1 true EP3311273A1 (fr) | 2018-04-25 |
Family
ID=55948825
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
EP16721152.3A Pending EP3311273A1 (fr) | 2015-06-22 | 2016-05-04 | Procédé et dispositif de sécurisation d'une structure de compteur de programme d'un système de processeur et de surveillance du traitement d'une demande d'interruption |
Country Status (6)
Country | Link |
---|---|
US (1) | US11113099B2 (fr) |
EP (1) | EP3311273A1 (fr) |
JP (1) | JP6813513B2 (fr) |
KR (1) | KR102603835B1 (fr) |
DE (1) | DE102015211458A1 (fr) |
WO (1) | WO2016206847A1 (fr) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP6862747B2 (ja) * | 2016-10-11 | 2021-04-21 | ブラザー工業株式会社 | 液体吐出装置 |
KR102260820B1 (ko) * | 2019-07-08 | 2021-06-07 | 숭실대학교산학협력단 | 대칭적 인터페이스 기반 인터럽트 신호 처리 장치 및 방법 |
Family Cites Families (15)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US3905023A (en) * | 1973-08-15 | 1975-09-09 | Burroughs Corp | Large scale multi-level information processing system employing improved failsaft techniques |
JPS63208130A (ja) | 1987-02-24 | 1988-08-29 | Mitsubishi Electric Corp | Cpu誤動作検出装置 |
JPH0792764B2 (ja) | 1988-05-25 | 1995-10-09 | 日本電気株式会社 | マイクロプロセッサ |
EP0510244A1 (fr) * | 1991-04-22 | 1992-10-28 | Acer Incorporated | Méthode et dispositif de protection d'un ordinateur contre les virus informatiques |
JPH0764822A (ja) | 1993-08-26 | 1995-03-10 | Mitsubishi Electric Corp | マイクロコンピュータ |
FR2764716B1 (fr) * | 1997-06-13 | 2001-08-17 | Bull Cp8 | Procede de modification de sequences de code et dispositif associe |
US6996677B2 (en) * | 2002-11-25 | 2006-02-07 | Nortel Networks Limited | Method and apparatus for protecting memory stacks |
US7509644B2 (en) * | 2003-03-04 | 2009-03-24 | Secure 64 Software Corp. | Operating system capable of supporting a customized execution environment |
US8291202B2 (en) * | 2008-08-08 | 2012-10-16 | Qualcomm Incorporated | Apparatus and methods for speculative interrupt vector prefetching |
IT1391785B1 (it) | 2008-11-21 | 2012-01-27 | St Microelectronics Srl | Sistema elettronico per il rilevamento di un guasto |
JP5335634B2 (ja) * | 2009-09-29 | 2013-11-06 | レノボ・シンガポール・プライベート・リミテッド | システム管理モードの特権レベルを保護するコンピュータ |
JP2011154459A (ja) | 2010-01-26 | 2011-08-11 | Renesas Electronics Corp | コンピュータシステムのプログラム異常動作検出装置 |
US9547546B2 (en) | 2012-03-12 | 2017-01-17 | Nxp Usa, Inc. | Interrupt supervision system, processing system and method for interrupt supervision |
KR101666398B1 (ko) * | 2012-10-30 | 2016-10-17 | 한국전자통신연구원 | Arinc 653 기반 운영체제에서의 모니터링 방법 및 장치 |
JP6433191B2 (ja) * | 2014-08-18 | 2018-12-05 | ルネサスエレクトロニクス株式会社 | マイクロコンピュータ |
-
2015
- 2015-06-22 DE DE102015211458.9A patent/DE102015211458A1/de active Pending
-
2016
- 2016-05-04 EP EP16721152.3A patent/EP3311273A1/fr active Pending
- 2016-05-04 US US15/738,423 patent/US11113099B2/en active Active
- 2016-05-04 JP JP2017566340A patent/JP6813513B2/ja active Active
- 2016-05-04 WO PCT/EP2016/060010 patent/WO2016206847A1/fr active Application Filing
- 2016-05-04 KR KR1020177036707A patent/KR102603835B1/ko active IP Right Grant
Also Published As
Publication number | Publication date |
---|---|
KR102603835B1 (ko) | 2023-11-21 |
WO2016206847A1 (fr) | 2016-12-29 |
US11113099B2 (en) | 2021-09-07 |
KR20180019594A (ko) | 2018-02-26 |
JP2018525712A (ja) | 2018-09-06 |
US20180181433A1 (en) | 2018-06-28 |
DE102015211458A1 (de) | 2016-12-22 |
JP6813513B2 (ja) | 2021-01-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP0011685B1 (fr) | Dispositif programmable de protection de mémoire pour des systèmes de microprocesseurs et circuit avec un tel dispositif | |
DE102013203358A1 (de) | System und verfahren zum verifizieren der integrität eines sicherheitskritischen fahrzeugsteuerungssystems | |
EP1794680A1 (fr) | Procede pour executer un programme informatique sur un systeme informatique | |
DE2747633A1 (de) | Dv-system mit einer unterbrechungseinrichtung | |
EP1810139B1 (fr) | Procédé, système d'exploitation et ordinateur pour l'exécution d'un programme informatique | |
DE3336977A1 (de) | Ausfallsicheres verfahren fuer einen fahrzeugcomputer | |
DE102008004205A1 (de) | Schaltungsanordnung und Verfahren zur Fehlerbehandlung in Echtzeitsystemen | |
EP1805617A1 (fr) | Procede d'execution d'un programme informatique sur un systeme informatique | |
DE102007056218A1 (de) | Verfahren zur Behandlung von transienten Fehlern in Echtzeitsystemen, insbesondere in Steuergeräten von Kraftfahrzeugen | |
DE102008024193A1 (de) | System mit konfigurierbaren Funktionseinheiten und Verfahren | |
EP3080668A1 (fr) | Procédé pour influer sur un programme de commande d'un appareil de commande | |
EP3311273A1 (fr) | Procédé et dispositif de sécurisation d'une structure de compteur de programme d'un système de processeur et de surveillance du traitement d'une demande d'interruption | |
EP1359485B1 (fr) | Système de commande et surveillance | |
EP1812853B1 (fr) | Procede, système d'exploitation et ordinateur pour l'execution d'un programme informatique | |
DE102013202961A1 (de) | Verfahren zum Überwachen eines Stackspeichers in einem Betriebssystem eines Steuergeräts eines Kraftfahrzeuges | |
DE102016113968A1 (de) | Prozessor zur korrelationsbasierter Endlosschleifenerkennung | |
WO2007017372A1 (fr) | Procede et dispositif pour piloter un systeme de calcul comprenant au moins deux unites d'execution | |
DE10148157B4 (de) | Programmgesteuerte Einheit | |
EP3388944A1 (fr) | Procédé de détection d'erreurs dans un système de fonctionnement | |
EP1774417B1 (fr) | Procede et dispositif pour surveiller le deroulement d'un programme de commande dans un ordinateur | |
WO2017153411A1 (fr) | Procédé pour faire fonctionner un appareil de commande de véhicule automobile | |
DE102017115057B4 (de) | Verfahren zur Überprüfung sicherheitsrelevanter Register- oder Speicherzellen auf Stuck-At-Fehler im Betrieb durch Vergleich zweier Schreibvorgänge mit unterschiedlichem Inversionsstatus | |
DE102010031017A1 (de) | Verfahren zur Überwachung des Programmablaufs eines Prozessors | |
DE102023004853A1 (de) | Verfahren zur Fehlerbehebung von sicherheitsrelevanten mikrocontrollergesteuerten Anwendungen in einem Kraftfahrzeug, sicherheitsrelevanten Computerprogrammprodukt, sicherheitsrelevanten Mikrocontroller, sowie Kraftfahrzeug | |
EP1418706A1 (fr) | Procede de configuration a distance |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: THE INTERNATIONAL PUBLICATION HAS BEEN MADE |
|
PUAI | Public reference made under article 153(3) epc to a published international application that has entered the european phase |
Free format text: ORIGINAL CODE: 0009012 |
|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: REQUEST FOR EXAMINATION WAS MADE |
|
17P | Request for examination filed |
Effective date: 20180122 |
|
AK | Designated contracting states |
Kind code of ref document: A1 Designated state(s): AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR |
|
AX | Request for extension of the european patent |
Extension state: BA ME |
|
DAV | Request for validation of the european patent (deleted) | ||
DAX | Request for extension of the european patent (deleted) | ||
RAP1 | Party data changed (applicant data changed or rights of an application transferred) |
Owner name: ROBERT BOSCH GMBH |
|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: EXAMINATION IS IN PROGRESS |
|
STAA | Information on the status of an ep patent application or granted ep patent |
Free format text: STATUS: EXAMINATION IS IN PROGRESS |
|
17Q | First examination report despatched |
Effective date: 20210514 |