FR2946442B1 - Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible - Google Patents

Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible

Info

Publication number
FR2946442B1
FR2946442B1 FR0902750A FR0902750A FR2946442B1 FR 2946442 B1 FR2946442 B1 FR 2946442B1 FR 0902750 A FR0902750 A FR 0902750A FR 0902750 A FR0902750 A FR 0902750A FR 2946442 B1 FR2946442 B1 FR 2946442B1
Authority
FR
France
Prior art keywords
predictible
heart
loading
access time
avionics system
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
FR0902750A
Other languages
English (en)
Other versions
FR2946442A1 (fr
Inventor
Victor Jegu
Benois Triquet
Frederic Aspro
Frederic Boniol
Claire Pagetti
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.)
Airbus Operations SAS
Original Assignee
Airbus Operations 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 Airbus Operations SAS filed Critical Airbus Operations SAS
Priority to FR0902750A priority Critical patent/FR2946442B1/fr
Priority to EP10734208A priority patent/EP2438528A1/fr
Priority to US13/376,022 priority patent/US8694747B2/en
Priority to PCT/FR2010/051071 priority patent/WO2010139896A1/fr
Publication of FR2946442A1 publication Critical patent/FR2946442A1/fr
Application granted granted Critical
Publication of FR2946442B1 publication Critical patent/FR2946442B1/fr
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/16—Combinations of two or more digital computers each having at least an arithmetic unit, a program unit and a register, e.g. for a simultaneous processing of several programs
    • G06F15/163—Interprocessor communication
    • G06F15/167—Interprocessor communication using a common memory, e.g. mailbox
    • 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/16—Handling requests for interconnection or transfer for access to memory bus
    • G06F13/1605—Handling requests for interconnection or transfer for access to memory bus based on arbitration
    • G06F13/1652—Handling requests for interconnection or transfer for access to memory bus based on arbitration in a multiprocessor architecture
    • G06F13/1663—Access to shared memory
    • 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/3802—Instruction prefetching

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Memory System Of A Hierarchy Structure (AREA)
FR0902750A 2009-06-05 2009-06-05 Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible Active FR2946442B1 (fr)

Priority Applications (4)

Application Number Priority Date Filing Date Title
FR0902750A FR2946442B1 (fr) 2009-06-05 2009-06-05 Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible
EP10734208A EP2438528A1 (fr) 2009-06-05 2010-06-02 Procédé et dispositif de chargement et d'exécution d'instructions à cycles déterministes dans un système avionique multi-coeurs ayant un bus dont le temps d'accès est non prédictible
US13/376,022 US8694747B2 (en) 2009-06-05 2010-06-02 Method and device for loading and executing instructions with deterministic cycles in a multicore avionic system having a bus of which the access time is not predictable
PCT/FR2010/051071 WO2010139896A1 (fr) 2009-06-05 2010-06-02 Procédé et dispositif de chargement et d'exécution d'instructions à cycles déterministes dans un système avionique multi-coeurs ayant un bus dont le temps d'accès est non prédictible

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR0902750A FR2946442B1 (fr) 2009-06-05 2009-06-05 Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible

Publications (2)

Publication Number Publication Date
FR2946442A1 FR2946442A1 (fr) 2010-12-10
FR2946442B1 true FR2946442B1 (fr) 2011-08-05

Family

ID=41667520

Family Applications (1)

Application Number Title Priority Date Filing Date
FR0902750A Active FR2946442B1 (fr) 2009-06-05 2009-06-05 Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible

Country Status (4)

Country Link
US (1) US8694747B2 (fr)
EP (1) EP2438528A1 (fr)
FR (1) FR2946442B1 (fr)
WO (1) WO2010139896A1 (fr)

Families Citing this family (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2945647A1 (fr) * 2009-05-18 2010-11-19 Airbus France Methode d'optimisation d'une plateforme avionique
US8516205B2 (en) * 2010-10-29 2013-08-20 Nokia Corporation Method and apparatus for providing efficient context classification
US8516194B2 (en) * 2010-11-22 2013-08-20 Micron Technology, Inc. Systems and methods for caching data with a nonvolatile memory cache
US9137038B1 (en) * 2012-08-30 2015-09-15 Rockwell Collins, Inc. Integrated modular avionics system with distributed processing
DE102013224702A1 (de) * 2013-12-03 2015-06-03 Robert Bosch Gmbh Steuergerät für ein Kraftfahrzeug
US10375087B2 (en) * 2014-07-21 2019-08-06 Honeywell International Inc. Security architecture for the connected aircraft
CN104202188B (zh) * 2014-09-01 2017-04-26 北京航空航天大学 一种采用遗传算法进行afdx网络路径优化的方法
US9812221B1 (en) 2015-09-09 2017-11-07 Rockwell Collins, Inc. Multi-core cache coherency built-in test
US10089233B2 (en) 2016-05-11 2018-10-02 Ge Aviation Systems, Llc Method of partitioning a set-associative cache in a computing platform
CA3041597C (fr) * 2016-10-31 2020-07-07 Leonardo S.P.A. Cadre logiciel de systeme deterministe certifiant pour applications critiques de securite en temps reel strict dans des systemes avioniques comprenant des processeurs multi-coeur
US10402327B2 (en) * 2016-11-22 2019-09-03 Advanced Micro Devices, Inc. Network-aware cache coherence protocol enhancement
US10162757B2 (en) 2016-12-06 2018-12-25 Advanced Micro Devices, Inc. Proactive cache coherence
FR3086780B1 (fr) 2018-09-27 2020-11-06 Thales Sa Systeme et procede d'acces a une ressource partagee
DE102019128206B4 (de) 2019-10-18 2022-09-01 Iav Gmbh Ingenieurgesellschaft Auto Und Verkehr Verfahren und Vorrichtung zur statischen Speicherverwaltungsoptimierung bei integrierten Mehrkernprozessoren
US11409643B2 (en) 2019-11-06 2022-08-09 Honeywell International Inc Systems and methods for simulating worst-case contention to determine worst-case execution time of applications executed on a processor
CN113422714B (zh) * 2021-06-23 2022-07-05 中国航空无线电电子研究所 一种支持在afdx终端上支持高完整性冗余管理的模块

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5590368A (en) * 1993-03-31 1996-12-31 Intel Corporation Method and apparatus for dynamically expanding the pipeline of a microprocessor
JP2003150395A (ja) * 2001-11-15 2003-05-23 Nec Corp プロセッサとそのプログラム転送方法
EP2015174B1 (fr) * 2007-06-21 2018-03-14 Imsys AB Processeur microprogrammé ayant plusieurs noyaux de processeur utilisant un accès partagé à un stockage de contrôle de microprogramme

Also Published As

Publication number Publication date
WO2010139896A1 (fr) 2010-12-09
EP2438528A1 (fr) 2012-04-11
US8694747B2 (en) 2014-04-08
US20120084525A1 (en) 2012-04-05
FR2946442A1 (fr) 2010-12-10

Similar Documents

Publication Publication Date Title
FR2946442B1 (fr) Procede et dispositif de chargement et d'execution d'instructions a cycles deterministes dans un systeme avionique multi-coeurs ayant un bus dont le temps d'acces est non predictible
FR2964468B1 (fr) Procede et dispositif de detection et d'exclusion de pannes satellite multiples dans un systeme gnss
PL1970700T3 (pl) System i sposób omijania w celu obrazowania i wykrywania poruszającego się obiektu
FR2966616B1 (fr) Procede, dispositif et programme d'ordinateur d'aide au diagnostic d'un systeme d'un aeronef, utilisant des graphes d'evenements redoutes
DE112008004269A5 (de) Verfahren und Systeme zum Bereitstellen von Sensorinformation an Vorrichtungen und Peripheriegeräte
DE602008003874D1 (de) Verfahren und System zur Zuordnung mehrerer Macs zu mehreren Prozessoren
FR2993362B1 (fr) Procede de traitement de signaux issus d'une acquisition par sondage ultrasonore, programme d'ordinateur et dispositif de sondage a ultrasons correspondants
FR2973883B1 (fr) Procede et systeme de detection d'un court-circuit affectant un capteur
FR2931250B1 (fr) Dispositif et procede de detection et d'identification en temps reel d'une source radioactive en mouvement
FR2976476B1 (fr) Systeme et procede de detection de bruit lors d'un examen electrocardiologique
FR2921172B1 (fr) Procede de debogage d'un logiciel de fonctionnement d'un systeme embarque a bord d'un aeronef et dispositif de mise en oeuvre
FR2958057B1 (fr) Generateur de sequences chaotiques, systeme de generation, procede de mesure d'orbite et programme d'ordinateur correspondants
FR2942054B1 (fr) Dispositif de traitement de donnees et procede traitement de donnees
FR2965440B1 (fr) Dispositif d'imagerie a chute ohmique nulle dans un bus de donnee
FR2965931B1 (fr) Procede et dispositif de test electronique d'un objet
FR2955436B1 (fr) Procede et dispositif de contremesure pour proteger des donnees circulant dans un composant electronique
FR2928219B1 (fr) Procede et dispositif de diagnostic d'un systeme de commande utilisant un modele dynamique
FR2964223B1 (fr) Procede de configuration d'un dispositif de detection a capteur, programme d'ordinateur et dispositif adaptatif correspondants
FR2995424B1 (fr) Procede et dispositif de decompte du temps deporte pour unite de traitement dans un systeme de traitement de l'information
FR2941535B1 (fr) Dispositif et procede de poursuite d'un signal de radionavigation
FR2974207B1 (fr) Procede et systeme de securisation d'un logiciel
DE502007002786D1 (de) Verfahren zum erkennen von objekten und objekterkennungssystem
FR2937198B1 (fr) Procede et dispositif d'estimation de parametres d'un systeme d'etalement du spectre d'un signal d'horloge.
FR2955995B1 (fr) Procede et dispositif de traitement d'une sequence video
FR2937758B1 (fr) Procede et dispositif de traitement de signaux

Legal Events

Date Code Title Description
CA Change of address

Effective date: 20110916

CD Change of name or company name

Owner name: AIRBUS HOLDING, FR

Effective date: 20110916

CJ Change in legal form

Effective date: 20110916

TP Transmission of property

Owner name: AIRBUS HOLDING, FR

Effective date: 20110913

PLFP Fee payment

Year of fee payment: 8

PLFP Fee payment

Year of fee payment: 9

PLFP Fee payment

Year of fee payment: 10

PLFP Fee payment

Year of fee payment: 12

PLFP Fee payment

Year of fee payment: 13

PLFP Fee payment

Year of fee payment: 14

PLFP Fee payment

Year of fee payment: 15