FR3089657B1 - Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif - Google Patents

Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif Download PDF

Info

Publication number
FR3089657B1
FR3089657B1 FR1872456A FR1872456A FR3089657B1 FR 3089657 B1 FR3089657 B1 FR 3089657B1 FR 1872456 A FR1872456 A FR 1872456A FR 1872456 A FR1872456 A FR 1872456A FR 3089657 B1 FR3089657 B1 FR 3089657B1
Authority
FR
France
Prior art keywords
execution
program
controlling
connected object
memory
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.)
Expired - Fee Related
Application number
FR1872456A
Other languages
English (en)
Other versions
FR3089657A1 (fr
Inventor
Fabien Blanco
Jean-Yves Pierre Bernard
Maël Berthier
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.)
Idemia Identity and Security France SAS
Original Assignee
Idemia Identity and Security France SAS
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 Idemia Identity and Security France SAS filed Critical Idemia Identity and Security France SAS
Priority to FR1872456A priority Critical patent/FR3089657B1/fr
Priority to FR1907796A priority patent/FR3089655B1/fr
Priority to US16/702,002 priority patent/US20200184068A1/en
Publication of FR3089657A1 publication Critical patent/FR3089657A1/fr
Priority to US16/911,867 priority patent/US11537709B2/en
Application granted granted Critical
Publication of FR3089657B1 publication Critical patent/FR3089657B1/fr
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/52—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems during program execution, e.g. stack integrity ; Preventing unwanted data erasure; Buffer overflow
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/31705—Debugging aspects, e.g. using test circuits for debugging, using dedicated debugging test circuits
    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/31712—Input or output aspects
    • G01R31/31713—Input or output interfaces for test, e.g. test pins, buffers
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/50—Monitoring users, programs or devices to maintain the integrity of platforms, e.g. of processors, firmware or operating systems
    • G06F21/55—Detecting local intrusion or implementing counter-measures
    • G06F21/56—Computer malware detection or handling, e.g. anti-virus arrangements
    • G06F21/566—Dynamic detection, i.e. detection performed at run-time, e.g. emulation, suspicious activities
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F21/60—Protecting data
    • G06F21/64—Protecting data integrity, e.g. using checksums, certificates or signatures
    • 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/38—Concurrent instruction execution, e.g. pipeline or look ahead
    • G06F9/3836—Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution
    • 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/38—Concurrent instruction execution, e.g. pipeline or look ahead
    • G06F9/3877—Concurrent instruction execution, e.g. pipeline or look ahead using a slave processor, e.g. coprocessor
    • 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/44—Arrangements for executing specific programs
    • G06F9/4401—Bootstrapping
    • G06F9/4418—Suspend and resume; Hibernate and awake
    • 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/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/485—Task life-cycle, e.g. stopping, restarting, resuming execution
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
    • G06F2221/03—Indexing scheme relating to G06F21/50, monitoring users, programs or devices to maintain the integrity of platforms
    • G06F2221/033—Test or assess software

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Computer Security & Cryptography (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Health & Medical Sciences (AREA)
  • General Health & Medical Sciences (AREA)
  • Virology (AREA)
  • Bioethics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif La présente invention concerne un dispositif (1) tel qu’un objet connecté comprenant un premier circuit électronique (2) comprenant :- une première unité de traitement (6) pour exécuter un programme,- une première mémoire (8) pour mémoriser des données au cours de l’exécution du programme,- un port de debug (10) dédié au contrôle de l’exécution du programme depuis l’extérieur du premier circuit,un deuxième circuit électronique (4) connecté au port de debug (10), comprenant :- une deuxième mémoire (14) mémorisant des données de référence relatives au programme,- une deuxième unité de traitement (12) pour mettre en œuvre les étapes suivantes de manière automatique et autonome via le port de debug (10) : contrôler l’intégrité des données mémorisées par la première mémoire (8) et/ou la conformité de l’exécution du programme par la première unité de traitement (6) à une exécution de référence, à l’aide des données de référence. Figure pour l’abrégé : figure 1
FR1872456A 2018-12-06 2018-12-06 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif Expired - Fee Related FR3089657B1 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
FR1872456A FR3089657B1 (fr) 2018-12-06 2018-12-06 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif
FR1907796A FR3089655B1 (fr) 2018-12-06 2019-07-11 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif
US16/702,002 US20200184068A1 (en) 2018-12-06 2019-12-03 Device such as a connected object provided with means for checking the execution of a program executed by the device
US16/911,867 US11537709B2 (en) 2018-12-06 2020-06-25 Device such as a connected object provided with means for checking the execution of a program executed by the device

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR1872456A FR3089657B1 (fr) 2018-12-06 2018-12-06 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif

Publications (2)

Publication Number Publication Date
FR3089657A1 FR3089657A1 (fr) 2020-06-12
FR3089657B1 true FR3089657B1 (fr) 2021-05-28

Family

ID=66690482

Family Applications (2)

Application Number Title Priority Date Filing Date
FR1872456A Expired - Fee Related FR3089657B1 (fr) 2018-12-06 2018-12-06 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif
FR1907796A Active FR3089655B1 (fr) 2018-12-06 2019-07-11 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif

Family Applications After (1)

Application Number Title Priority Date Filing Date
FR1907796A Active FR3089655B1 (fr) 2018-12-06 2019-07-11 Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif

Country Status (2)

Country Link
US (2) US20200184068A1 (fr)
FR (2) FR3089657B1 (fr)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR3098614B1 (fr) * 2019-07-11 2022-11-04 Idemia Identity & Security France Procédé de contrôle de commandes propres à être traitées par un périphérique tel qu’un actionneur
US11928511B2 (en) * 2021-10-28 2024-03-12 Dell Products L.P. Systems and methods for prioritizing memory allocation for isolated computing workspaces executing on information handling systems

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2864655B1 (fr) 2003-12-31 2006-03-24 Trusted Logic Procede de controle d'integrite de programmes par verification d'empreintes de traces d'execution
US8375219B2 (en) * 2007-10-24 2013-02-12 Microsoft Corporation Program and operation verification
US8276199B2 (en) * 2009-04-09 2012-09-25 Freescale Semiconductor, Inc. Method and device for secure test port authentication
US8330484B2 (en) * 2010-01-15 2012-12-11 International Business Machines Corporation Integrated circuit and method of testing the integrity of electrical connection of the circuit to external equipment
US9684578B2 (en) * 2014-10-30 2017-06-20 Qualcomm Incorporated Embedded universal serial bus (USB) debug (EUD) for multi-interfaced debugging in electronic systems
FR3064781B1 (fr) 2017-03-30 2019-04-05 Idemia Identity And Security Procede de protection d'un dispositif electronique contre des attaques par injection de faute pendant l'execution d'un programme

Also Published As

Publication number Publication date
FR3089655B1 (fr) 2021-12-10
US11537709B2 (en) 2022-12-27
FR3089655A1 (fr) 2020-06-12
US20210011756A1 (en) 2021-01-14
US20200184068A1 (en) 2020-06-11
FR3089657A1 (fr) 2020-06-12

Similar Documents

Publication Publication Date Title
FR3089655B1 (fr) Dispositif tel qu’un objet connecté pourvu de moyens pour contrôler l’exécution d’un programme exécuté par le dispositif
US20200264968A1 (en) Script debugging method, device, and computer storage medium
US9836380B2 (en) Systems and methods for testing terminal applications
US9514026B2 (en) Debugging analysis in running multi-user systems
JP6280126B2 (ja) ドメイン固有言語をデバッグするためのシステムおよび方法
CN100442244C (zh) 具有跟踪协处理器的数据处理设备、系统和方法
EP2498178A1 (fr) Procédé et dispositif pour la conversion vers un environnement de développement
TW200620114A (en) Debug module, method for stepping over function calls and method for stepping out of function calls in a program executing on a target processor
US9946628B2 (en) Embedding and executing trace functions in code to gather trace data
RU2015131115A (ru) Вспомогательная система программирования программируемого контроллера и соответствующий способ
US7543186B2 (en) System and method for implementing software breakpoints
FR2406853A1 (fr) Systeme de traitement de donnees a commande repartie
CN102831022A (zh) 修改系统配置的方法和装置
CN109918338B (zh) 安全芯片操作系统测试装置
WO2018187771A3 (fr) Technologie « execute in place » (xip) sécurisée à partir d'une mémoire flash
JP2016511484A5 (fr)
CN103092759A (zh) 一种嵌入式环境下的代码动态性能剖析器
US20150355616A1 (en) Programmable controller, programmable controller system, and method of creating execution error information
CN112559493A (zh) 数据血缘关系解析方法、计算机装置和存储介质
CN102760086B (zh) 基于柔性测试技术的数据检测控制方法和装置
FR3064781B1 (fr) Procede de protection d'un dispositif electronique contre des attaques par injection de faute pendant l'execution d'un programme
CN110673988A (zh) 一种不依赖其自带固件的eMMC调试方法
FR3091019B1 (fr) Mémoire de puce électronique
CN109947476B (zh) 一种运行时栈空间的统计方法及系统
FR3099607B1 (fr) Composant électronique à micrologiciel

Legal Events

Date Code Title Description
PLFP Fee payment

Year of fee payment: 2

PLSC Publication of the preliminary search report

Effective date: 20200612

PLFP Fee payment

Year of fee payment: 3

ST Notification of lapse

Effective date: 20220808