WO2014167197A9 - Procédé d'exécution de taches dans un system temps-réel critique - Google Patents

Procédé d'exécution de taches dans un system temps-réel critique Download PDF

Info

Publication number
WO2014167197A9
WO2014167197A9 PCT/FR2014/050612 FR2014050612W WO2014167197A9 WO 2014167197 A9 WO2014167197 A9 WO 2014167197A9 FR 2014050612 W FR2014050612 W FR 2014050612W WO 2014167197 A9 WO2014167197 A9 WO 2014167197A9
Authority
WO
WIPO (PCT)
Prior art keywords
task
time
execution
processing operations
alternating
Prior art date
Application number
PCT/FR2014/050612
Other languages
English (en)
Other versions
WO2014167197A1 (fr
Inventor
Vincent David
Original Assignee
Krono-Safe
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 Krono-Safe filed Critical Krono-Safe
Priority to BR112015025326-1A priority Critical patent/BR112015025326B1/pt
Priority to JP2016507024A priority patent/JP6524064B2/ja
Priority to CN201480019979.5A priority patent/CN105144104B/zh
Priority to US14/783,246 priority patent/US9946575B2/en
Priority to RU2015147897A priority patent/RU2660614C2/ru
Priority to AU2014252942A priority patent/AU2014252942A1/en
Priority to KR1020157030996A priority patent/KR102178574B1/ko
Priority to EP14715372.0A priority patent/EP2984565B1/fr
Priority to CA2907808A priority patent/CA2907808C/fr
Publication of WO2014167197A1 publication Critical patent/WO2014167197A1/fr
Publication of WO2014167197A9 publication Critical patent/WO2014167197A9/fr

Links

Classifications

    • 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/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G06F9/4887—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues involving deadlines, e.g. rate based, periodic
    • 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/50—Allocation of resources, e.g. of the central processing unit [CPU]
    • G06F9/5005—Allocation of resources, e.g. of the central processing unit [CPU] to service a request
    • G06F9/5027—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resource being a machine, e.g. CPUs, Servers, Terminals
    • G06F9/5038—Allocation of resources, e.g. of the central processing unit [CPU] to service a request the resource being a machine, e.g. CPUs, Servers, Terminals considering the execution order of a plurality of tasks, e.g. taking priority or time dependency constraints into consideration
    • 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/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Devices For Executing Special Programs (AREA)
  • Hardware Redundancy (AREA)
  • General Factory Administration (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)

Abstract

L'invention est relative à procédé d'exécution d'une tâche formée d'un ensemble de traitements séquentiels et alternatifs. Le procédé comprend les étapes suivantes: a) affecter à chaque traitement un besoin en ressources matérielles et une contrainte temporelle; b) associer à chaque traitement un créneau temporel ayant une durée correspondant à la contrainte temporelle du traitement; c) identifier un point de branchement auquel est décidée l'exécution de l'un ou l'autre de deux traitements alternatifs (a, b); d) associer aux deux traitements alternatifs un créneau temporel commun (+2); e) affecter au créneau temporel commun un besoin (max(a, b)) égal au plus grand des besoins des deux traitements alternatifs; f) réitérer à partir de l'étape c) pour chaque point de branchement; g) organiser les créneaux temporels résultants dans un gabarit d'exécution associé à la tâche; et h) configurer un système multitâche temps-réel pour contraindre l'exécution de la tâche en fonction des besoins affectés aux créneaux temporels du gabarit d'exécution.
PCT/FR2014/050612 2013-04-09 2014-03-17 Procédé d'exécution de taches dans un system temps-réel critique WO2014167197A1 (fr)

Priority Applications (9)

Application Number Priority Date Filing Date Title
BR112015025326-1A BR112015025326B1 (pt) 2013-04-09 2014-03-17 Processo de ordenação off-line dos tratamentos que formam uma tarefa de acordo com um modelo flexível para um sistema multitarefa em tempo real
JP2016507024A JP6524064B2 (ja) 2013-04-09 2014-03-17 クリティカル・リアルタイム・システムにおいてタスクを実行する方法
CN201480019979.5A CN105144104B (zh) 2013-04-09 2014-03-17 关键实时系统中执行任务的方法
US14/783,246 US9946575B2 (en) 2013-04-09 2014-03-17 Method of execution of tasks in a critical real-time system
RU2015147897A RU2660614C2 (ru) 2013-04-09 2014-03-17 Способ выполнения задач в критической системе реального времени
AU2014252942A AU2014252942A1 (en) 2013-04-09 2014-03-17 Method for executing tasks in a critical real-time system
KR1020157030996A KR102178574B1 (ko) 2013-04-09 2014-03-17 임계 실시간 시스템에서 태스크의 실행 방법
EP14715372.0A EP2984565B1 (fr) 2013-04-09 2014-03-17 Procédé d'exécution de taches dans un system temps-réel critique
CA2907808A CA2907808C (fr) 2013-04-09 2014-03-17 Procede d'execution de taches dans un systeme temps-reel critique

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1353203A FR3004274A1 (fr) 2013-04-09 2013-04-09 Procede d'execution de taches dans un systeme temps-reel critique
FR1353203 2013-04-09

Publications (2)

Publication Number Publication Date
WO2014167197A1 WO2014167197A1 (fr) 2014-10-16
WO2014167197A9 true WO2014167197A9 (fr) 2015-01-08

Family

ID=48906285

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/FR2014/050612 WO2014167197A1 (fr) 2013-04-09 2014-03-17 Procédé d'exécution de taches dans un system temps-réel critique

Country Status (11)

Country Link
US (1) US9946575B2 (fr)
EP (1) EP2984565B1 (fr)
JP (1) JP6524064B2 (fr)
KR (1) KR102178574B1 (fr)
CN (1) CN105144104B (fr)
AU (1) AU2014252942A1 (fr)
BR (1) BR112015025326B1 (fr)
CA (1) CA2907808C (fr)
FR (1) FR3004274A1 (fr)
RU (1) RU2660614C2 (fr)
WO (1) WO2014167197A1 (fr)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109460277A (zh) * 2018-10-30 2019-03-12 北京小米移动软件有限公司 商品抢购流程的展示方法及装置

Families Citing this family (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9740529B1 (en) * 2013-12-05 2017-08-22 The Mathworks, Inc. High throughput synchronous resource-constrained scheduling for model-based design
CN105912390A (zh) * 2016-04-07 2016-08-31 四川大学 云计算环境下基于模板的任务调度策略
US11243949B2 (en) 2017-04-21 2022-02-08 Microsoft Technology Licensing, Llc Query execution across multiple graphs
FR3072197B1 (fr) 2017-10-10 2019-10-11 Krono-Safe Procede d'execution de plans de sequencement assurant une communication a faible latence entre taches temps-reel
FR3084187B1 (fr) * 2018-07-18 2021-01-01 Commissariat Energie Atomique Procede d'acceleration de l'execution d'un programme a chemin unique par execution en parallele de sequences conditionnellement concurrentes
US11244106B2 (en) * 2019-07-03 2022-02-08 Microsoft Technology Licensing, Llc Task templates and social task discovery
RU2751441C1 (ru) * 2020-09-11 2021-07-13 Федеральное государственное бюджетное образовательное учреждение высшего образования «Московский государственный университет имени М.В.Ломоносова» (МГУ) Способ формирования вычислительного комплекса
US11726817B2 (en) 2020-09-25 2023-08-15 Red Hat, Inc. Scheduling multiple processes with varying delay sensitivity
DE102020214144A1 (de) 2020-11-11 2022-05-12 Robert Bosch Gesellschaft mit beschränkter Haftung Verfahren und Vorrichtung zum Überwachen zyklischer Aufgaben in Maschinensteuerung

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
FR2816730B1 (fr) 2000-11-13 2004-10-15 Commissariat Energie Atomique Procede de securisation rendant deterministe l'execution en temps reel d'applications multitaches du type controle- commande avec confinement d'erreur
RU2239228C2 (ru) * 2001-07-05 2004-10-27 Всероссийский научно-исследовательский институт автоматики Способ распределения времени центрального процессора между задачами в автоматизированных системах управления технологическими процессами
US7614037B2 (en) * 2004-05-21 2009-11-03 Microsoft Corporation Method and system for graph analysis and synchronization
KR20070031307A (ko) * 2004-05-27 2007-03-19 코닌클리즈케 필립스 일렉트로닉스 엔.브이. 신호 스트림 처리 작업의 조합을 실행하기 위한 방법, 장치및 시스템, 실행 파라미터를 계산하는 방법 및 장치,컴퓨터 프로그램 제품
FR2873830B1 (fr) * 2004-07-30 2008-02-22 Commissariat Energie Atomique Procede d'ordonnancement de traitement de taches et dispositif pour mettre en oeuvre le procede
GB0513045D0 (en) * 2005-06-27 2005-08-03 Vidus Ltd Resource scheduling method and system
FR2893156B1 (fr) * 2005-11-04 2008-02-15 Commissariat Energie Atomique Procede et systeme de calcul intensif multitache et multiflot en temps reel.
CN100580632C (zh) * 2008-02-22 2010-01-13 浙江大学 嵌入式系统rm低功耗调度中松弛时间在线重分配方法
US8214245B2 (en) * 2009-05-04 2012-07-03 International Business Machines Corporation Method and system for synchronizing inclusive decision branches
US8606377B2 (en) * 2009-07-23 2013-12-10 Biosense Webster, Inc. Preventing disruptive computer events during medical procedures
JP5069325B2 (ja) * 2010-03-11 2012-11-07 株式会社豊田中央研究所 タスク実行制御装置及びプログラム
EP2568346B1 (fr) * 2011-09-06 2015-12-30 Airbus Operations Procédé robuste de contrôle de système avec de courts délais d'exécution

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109460277A (zh) * 2018-10-30 2019-03-12 北京小米移动软件有限公司 商品抢购流程的展示方法及装置
CN109460277B (zh) * 2018-10-30 2022-08-05 北京小米移动软件有限公司 商品抢购流程的展示方法及装置

Also Published As

Publication number Publication date
RU2660614C2 (ru) 2018-07-06
CN105144104A (zh) 2015-12-09
KR102178574B1 (ko) 2020-11-13
US9946575B2 (en) 2018-04-17
BR112015025326A2 (pt) 2017-07-18
CN105144104B (zh) 2020-03-17
KR20150140708A (ko) 2015-12-16
JP2016519821A (ja) 2016-07-07
EP2984565A1 (fr) 2016-02-17
RU2015147897A (ru) 2017-05-16
EP2984565B1 (fr) 2019-08-21
US20160070600A1 (en) 2016-03-10
JP6524064B2 (ja) 2019-06-05
AU2014252942A1 (en) 2015-11-19
CA2907808A1 (fr) 2014-10-16
WO2014167197A1 (fr) 2014-10-16
CA2907808C (fr) 2021-06-08
FR3004274A1 (fr) 2014-10-10
BR112015025326B1 (pt) 2022-05-03

Similar Documents

Publication Publication Date Title
WO2014167197A9 (fr) Procédé d'exécution de taches dans un system temps-réel critique
GB2541625A (en) Systems and techniques for predictive data analytics
EP3682413A4 (fr) Système autonome et intégré, procédé et programme informatique d'optimisation et d'attribution dynamiques de ressources pour des espaces et des périodes de temps définis
WO2015126968A3 (fr) Systèmes et procédés de gestion de données
MX2016011541A (es) Manejo de recurso dinamico para aplicaciones de multiple proceso.
SG10201906917QA (en) Processing data from multiple sources
EP2940538A3 (fr) Systèmes et procédés pour régler les opérations d'un système d'automatisation industrielle basé sur de multiples sources de données
MX2016011616A (es) Administracion de recursos con base en perfiles de utilizacion de recursos de dispositivo especifico o usuario especifico.
EP3343364A4 (fr) Procédé et appareil de virtualisation d'accélérateur, et gestionnaire de ressources centralisé
MX2017003189A (es) Metodos de gestion de salud y bienestar y sistemas utiles para la practica de los mismos.
IN2014CN03731A (fr)
WO2012087561A3 (fr) Systèmes, appareils et procédés permettant à un système matériel et logiciel de décomposer automatiquement un programme en de multiples fils d'exécution parallèles
WO2015001360A3 (fr) Système pour automatiser des processus
EP3614267A3 (fr) Traitement de flux récupérable
SG10201610585WA (en) Passsword management system and process
WO2012112302A3 (fr) Traitement parallèle dans des applications d'interface homme-machine
EP4236264A3 (fr) Système et procédé de lancement d'informations sur une tapisserie de réseau et granularité d'un tique
EP3480686A4 (fr) Procédé de traitement de données, gestionnaire de grappes, gestionnaire de ressources et système de traitement de données
IN2014DN06232A (fr)
EP3142008A3 (fr) Systèmes et procédés d'attribution de relâchement régulé de l'environnement
IL246509B (en) Coordination of multiple components
EP3550766A4 (fr) Dispositif de traitement d'informations, procédé d'attribution de ressources et programme d'attribution de ressources
GB2533712A (en) System and/or method for computing interprocedural dominators
GB2538198A (en) Efficient resource utilization in data centers
MX348232B (es) Metodos y aparatos para reducir las fallas de modo comun en los sistemas de control de software relacionados con la seguridad nuclear.

Legal Events

Date Code Title Description
WWE Wipo information: entry into national phase

Ref document number: 201480019979.5

Country of ref document: CN

121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 14715372

Country of ref document: EP

Kind code of ref document: A1

WWE Wipo information: entry into national phase

Ref document number: 2014715372

Country of ref document: EP

ENP Entry into the national phase

Ref document number: 2016507024

Country of ref document: JP

Kind code of ref document: A

ENP Entry into the national phase

Ref document number: 2907808

Country of ref document: CA

WWE Wipo information: entry into national phase

Ref document number: 14783246

Country of ref document: US

NENP Non-entry into the national phase

Ref country code: DE

ENP Entry into the national phase

Ref document number: 20157030996

Country of ref document: KR

Kind code of ref document: A

ENP Entry into the national phase

Ref document number: 2015147897

Country of ref document: RU

Kind code of ref document: A

ENP Entry into the national phase

Ref document number: 2014252942

Country of ref document: AU

Date of ref document: 20140317

Kind code of ref document: A

REG Reference to national code

Ref country code: BR

Ref legal event code: B01A

Ref document number: 112015025326

Country of ref document: BR

ENP Entry into the national phase

Ref document number: 112015025326

Country of ref document: BR

Kind code of ref document: A2

Effective date: 20151002