PL3338196T3 - Certyfikowalna deterministyczna platforma oprogramowania systemu dla krytycznych dla bezpieczeństwa aplikacji ścisłego czasu rzeczywistego w systemach awioniki z procesorami wielordzeniowymi - Google Patents
Certyfikowalna deterministyczna platforma oprogramowania systemu dla krytycznych dla bezpieczeństwa aplikacji ścisłego czasu rzeczywistego w systemach awioniki z procesorami wielordzeniowymiInfo
- Publication number
- PL3338196T3 PL3338196T3 PL17792203T PL17792203T PL3338196T3 PL 3338196 T3 PL3338196 T3 PL 3338196T3 PL 17792203 T PL17792203 T PL 17792203T PL 17792203 T PL17792203 T PL 17792203T PL 3338196 T3 PL3338196 T3 PL 3338196T3
- Authority
- PL
- Poland
- Prior art keywords
- certifiable
- system software
- core processors
- critical applications
- software framework
- Prior art date
Links
Classifications
-
- 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/36—Handling requests for interconnection or transfer for access to common bus or bus system
- G06F13/368—Handling requests for interconnection or transfer for access to common bus or bus system with decentralised access control
- G06F13/372—Handling requests for interconnection or transfer for access to common bus or bus system with decentralised access control using a time-dependent priority, e.g. individually loaded time counters or time slot
-
- 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
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B64—AIRCRAFT; AVIATION; COSMONAUTICS
- B64C—AEROPLANES; HELICOPTERS
- B64C19/00—Aircraft control not otherwise provided for
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F12/00—Accessing, addressing or allocating within memory systems or architectures
- G06F12/02—Addressing or allocation; Relocation
- G06F12/08—Addressing or allocation; Relocation in hierarchically structured memory systems, e.g. virtual memory systems
- G06F12/10—Address translation
- G06F12/1027—Address translation using associative or pseudo-associative address translation means, e.g. translation look-aside buffer [TLB]
-
- 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/36—Handling requests for interconnection or transfer for access to common bus or bus system
-
- 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
- G06F9/3816—Instruction alignment, e.g. cache line crossing
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Aviation & Aerospace Engineering (AREA)
- Multi Processors (AREA)
- Memory System Of A Hierarchy Structure (AREA)
- Stored Programmes (AREA)
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
IT201600109768 | 2016-10-31 | ||
PCT/IB2017/056769 WO2018078610A1 (en) | 2016-10-31 | 2017-10-31 | Certifiable deterministic system software framework for hard real-time safety-critical applications in avionics systems featuring multi-core processors |
EP17792203.6A EP3338196B1 (en) | 2016-10-31 | 2017-10-31 | Certifiable deterministic system software framework for hard real-time safety-critical applications in avionics systems featuring multi-core processors |
Publications (1)
Publication Number | Publication Date |
---|---|
PL3338196T3 true PL3338196T3 (pl) | 2019-01-31 |
Family
ID=58701677
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
PL17792203T PL3338196T3 (pl) | 2016-10-31 | 2017-10-31 | Certyfikowalna deterministyczna platforma oprogramowania systemu dla krytycznych dla bezpieczeństwa aplikacji ścisłego czasu rzeczywistego w systemach awioniki z procesorami wielordzeniowymi |
Country Status (10)
Country | Link |
---|---|
US (1) | US10642761B2 (pl) |
EP (1) | EP3338196B1 (pl) |
AU (1) | AU2017349775B2 (pl) |
BR (1) | BR112019008825A2 (pl) |
CA (1) | CA3041597C (pl) |
EA (1) | EA035760B1 (pl) |
ES (1) | ES2689332T3 (pl) |
PL (1) | PL3338196T3 (pl) |
TR (1) | TR201816058T4 (pl) |
WO (1) | WO2018078610A1 (pl) |
Families Citing this family (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20190243504A1 (en) * | 2018-02-05 | 2019-08-08 | Honeywell International Inc. | Touch screen controller with data exchange and mining service |
FR3084500B1 (fr) * | 2018-07-26 | 2020-07-03 | Thales | Procede et dispositif electronique d'installation logicielles avioniques sur une plateforme comprenant un processeur multicoeurs, programme d'ordinateur et systeme electronique associes |
FR3086780B1 (fr) | 2018-09-27 | 2020-11-06 | Thales Sa | Systeme et procede d'acces a une ressource partagee |
FR3096491A1 (fr) * | 2019-05-22 | 2020-11-27 | Airbus Operations | gestion d’accès à une ressource partagée PAR une pluralité de cœurS D’UN PROCESSEUR MULTIcœur |
US10719477B1 (en) * | 2019-06-20 | 2020-07-21 | Semiconductor Components Industries, Llc | Methods and system for an integrated circuit |
US11106594B2 (en) | 2019-09-05 | 2021-08-31 | Advanced Micro Devices, Inc. | Quality of service dirty line tracking |
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 |
CN111045980A (zh) * | 2019-12-24 | 2020-04-21 | 广东嘉泰智能技术有限公司 | 一种多核处理器 |
CN114090097A (zh) * | 2020-06-30 | 2022-02-25 | 中国航发商用航空发动机有限责任公司 | 发动机控制***和控制软件启动方法 |
CN112416702B (zh) * | 2020-11-05 | 2024-05-24 | 中国航空工业集团公司西安航空计算技术研究所 | 一种混合运行多安全等级任务的安全隔离*** |
CN116414723A (zh) * | 2021-12-30 | 2023-07-11 | 中兴通讯股份有限公司 | 内存带宽的控制方法、装置、电子设备和存储介质 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US7337255B2 (en) * | 2002-06-12 | 2008-02-26 | The Boeing Company | Distributed data handling and processing resources system |
FR2946442B1 (fr) | 2009-06-05 | 2011-08-05 | Airbus France | 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 |
US8943287B1 (en) | 2012-07-17 | 2015-01-27 | Rockwell Collins, Inc. | Multi-core processor system configured to constrain access rate from memory |
US9081630B2 (en) * | 2012-12-12 | 2015-07-14 | Wind River Systems, Inc. | Hardware-implemented semaphore for resource access based on presence of a memory buffer in a memory pool |
US9298651B2 (en) * | 2013-06-24 | 2016-03-29 | International Business Machines Corporation | Continuous in-memory accumulation of hardware performance counter data |
US9542263B2 (en) * | 2014-09-24 | 2017-01-10 | Nxp Usa, Inc. | Electronic device having a runtime integrity checker |
-
2017
- 2017-10-31 BR BR112019008825A patent/BR112019008825A2/pt unknown
- 2017-10-31 AU AU2017349775A patent/AU2017349775B2/en active Active
- 2017-10-31 CA CA3041597A patent/CA3041597C/en active Active
- 2017-10-31 PL PL17792203T patent/PL3338196T3/pl unknown
- 2017-10-31 ES ES17792203.6T patent/ES2689332T3/es active Active
- 2017-10-31 TR TR2018/16058T patent/TR201816058T4/tr unknown
- 2017-10-31 WO PCT/IB2017/056769 patent/WO2018078610A1/en unknown
- 2017-10-31 EP EP17792203.6A patent/EP3338196B1/en active Active
- 2017-10-31 EA EA201990877A patent/EA035760B1/ru unknown
- 2017-10-31 US US16/346,087 patent/US10642761B2/en active Active
Also Published As
Publication number | Publication date |
---|---|
US10642761B2 (en) | 2020-05-05 |
US20190340140A1 (en) | 2019-11-07 |
EP3338196B1 (en) | 2018-09-19 |
AU2017349775A1 (en) | 2019-06-13 |
CA3041597C (en) | 2020-07-07 |
EP3338196A1 (en) | 2018-06-27 |
EA201990877A1 (ru) | 2019-08-30 |
ES2689332T3 (es) | 2018-11-13 |
EA035760B1 (ru) | 2020-08-06 |
CA3041597A1 (en) | 2018-05-03 |
TR201816058T4 (tr) | 2018-11-21 |
BR112019008825A2 (pt) | 2019-07-09 |
AU2017349775B2 (en) | 2019-06-27 |
WO2018078610A1 (en) | 2018-05-03 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
PL3338196T3 (pl) | Certyfikowalna deterministyczna platforma oprogramowania systemu dla krytycznych dla bezpieczeństwa aplikacji ścisłego czasu rzeczywistego w systemach awioniki z procesorami wielordzeniowymi | |
IL256308A (en) | System, method and computer program product for resource description framework modeling within distributed database systems | |
HK1247295A1 (zh) | 使用異步自測異常的計算機安全系統及方法 | |
HK1257454A1 (zh) | 在分佈式計算系統中處理數據庫事務 | |
GB2553353B (en) | Graphics processing systems and graphics processors | |
EP3353652A4 (en) | SYSTEM AND METHOD FOR PROCESSING TASK RESOURCES | |
GB201515156D0 (en) | Data processing systems | |
GB201608153D0 (en) | Data processing systems | |
ZA201702790B (en) | Cpu and multi-cpu system management method | |
GB201511694D0 (en) | Data processing systems | |
SG11201707668WA (en) | Bioinformatics data processing systems | |
GB201509723D0 (en) | Methods,devices and computer programs for processing images in a system comprising a plurality of cameras | |
GB201301567D0 (en) | Method and system for processing resource requests | |
GB2553784B (en) | Management of log data in electronic systems | |
GB2553293B (en) | Graphics processing systems and graphics processors | |
SG10202006280PA (en) | Commerce system, management server, and program | |
HK1202676A1 (en) | Multi-core parallel system and data processing method thereof | |
GB2538347B (en) | Systems and methods for distributed scalable ray processing | |
GB201610131D0 (en) | Data processing systems | |
ZA202000582B (en) | Transaction processing management method in management system | |
GB2583608B (en) | Job management in data processing system | |
GB201513609D0 (en) | Data processing systems | |
IL244129A0 (en) | Image processing system, image processing method, and computer software product | |
BR112017013588A2 (pt) | sistema para processamento criptográfico, dois sistemas, unidade de etapa para processamento criptográfico, método de processamento criptográfico, e produto de programa de computador | |
SG11201707341YA (en) | Systems and methods for obtaining and executing computer code specified by code orders in an electronic trading venue |