BR112013000271A2 - sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computador - Google Patents
sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computadorInfo
- Publication number
- BR112013000271A2 BR112013000271A2 BR112013000271A BR112013000271A BR112013000271A2 BR 112013000271 A2 BR112013000271 A2 BR 112013000271A2 BR 112013000271 A BR112013000271 A BR 112013000271A BR 112013000271 A BR112013000271 A BR 112013000271A BR 112013000271 A2 BR112013000271 A2 BR 112013000271A2
- Authority
- BR
- Brazil
- Prior art keywords
- host system
- simulating
- testing
- partitioned applications
- partitioned
- Prior art date
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/20—Design optimisation, verification or simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
-
- 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/445—Program loading or initiating
- G06F9/44505—Configuring for program initiating, e.g. using registry, configuration files
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Software Systems (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- Debugging And Monitoring (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computador. a presente invenção refere-se a um sistema hospedeiro de aplicação de aviônicos e método para simular e/ou testar um número de aplicações particonadas (a1-a4) dispostas para serem peridodicamnete executadas em um sistema alvo, em que o sistema alvo é um sistema de controle de aviônicos distribuído de um veículo aéreo (1). o sistema hospedeiro compreende um número de módulos de aplicação (146) disposto para importar o dito número de aplicações particionadas (a1-a4) em forma não modificada, um módulo de configuração (145) dispsoto para configurar as operações do sistema hospedeiro pelo menos um módulo de comunicação (142) disposto para prover comunicação entre as aplicações particionadas, um módulo de controle (140) disposto para prover tempo de execução coordenada aso módulos funcionais, um módulo de serviço (150) associado a cada aplicação particionada importada (a1-a4) de maneira a possibilitar a execução de aplicações particionadas importadas (a1-a4) e para preservar a ordem temporal de eventos relacionados à comunicação e execução.
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/SE2010/050786 WO2012005639A1 (en) | 2010-07-06 | 2010-07-06 | Simulating and testing avionics |
Publications (1)
Publication Number | Publication Date |
---|---|
BR112013000271A2 true BR112013000271A2 (pt) | 2016-05-24 |
Family
ID=45441413
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
BR112013000271A BR112013000271A2 (pt) | 2010-07-06 | 2010-07-06 | sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computador |
Country Status (5)
Country | Link |
---|---|
US (1) | US20130166271A1 (pt) |
EP (1) | EP2591419B1 (pt) |
BR (1) | BR112013000271A2 (pt) |
ES (1) | ES2708985T3 (pt) |
WO (1) | WO2012005639A1 (pt) |
Families Citing this family (38)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
KR101694305B1 (ko) * | 2012-04-17 | 2017-01-09 | 한국전자통신연구원 | Arinc 653 규격에 따른 항공 시스템 설정 방법 및 장치 |
FR2997773B1 (fr) * | 2012-11-06 | 2016-02-05 | Centre Nat Rech Scient | Procede d'ordonnancement avec contraintes d'echeance, en particulier sous linux, realise en espace utilisateur. |
US9459891B1 (en) * | 2013-03-15 | 2016-10-04 | Rockwell Collins, Inc. | Interface for interpartition and interprocessor communication |
US8990060B1 (en) * | 2014-03-26 | 2015-03-24 | Cae Inc. | Configurable modular card for use in a simulator |
US10114783B2 (en) | 2014-03-26 | 2018-10-30 | Cae Inc. | Configurable input/output unit |
US9639401B1 (en) * | 2014-05-08 | 2017-05-02 | Rockwell Collins, Inc. | Multicore adaptive scheduler |
US9696878B2 (en) | 2014-07-21 | 2017-07-04 | Honeywell International Inc. | System and method for abstracting a display |
US10560542B2 (en) * | 2014-09-15 | 2020-02-11 | Ge Aviation Systems Llc | Mechanism and method for communicating between a client and a server by accessing message data in a shared memory |
US9571465B1 (en) * | 2014-09-18 | 2017-02-14 | Amazon Technologies, Inc. | Security verification by message interception and modification |
KR101807769B1 (ko) * | 2014-12-26 | 2017-12-13 | 한국항공우주산업 주식회사 | 데스크 탑 기반 실시간 시뮬레이션 장치 및 방법 |
CN105808798B (zh) * | 2014-12-30 | 2020-02-14 | 南车株洲电力机车研究所有限公司 | 一种无轨自导向汽车列车的协同仿真系统 |
US9938019B2 (en) * | 2015-05-21 | 2018-04-10 | The Boeing Company | Systems and methods for detecting a security breach in an aircraft network |
US10255180B2 (en) * | 2015-12-11 | 2019-04-09 | Netapp, Inc. | Server-based persistence management in user space |
CN107918585B (zh) * | 2016-10-07 | 2023-05-02 | 福特全球技术公司 | 用于测试软件程序的方法和装置 |
CN108153164A (zh) * | 2016-12-05 | 2018-06-12 | 北京仿真中心 | 一种多hla联邦仿真运行的管控方法 |
US11042673B1 (en) | 2017-02-27 | 2021-06-22 | Rockwell Collins, Inc. | Systems and methods for autonomous vehicle systems testing |
KR101933784B1 (ko) * | 2017-03-17 | 2018-12-28 | 두산중공업 주식회사 | 가스 터빈 실시간 시뮬레이션 시스템 및 그 방법 |
US10409632B2 (en) * | 2017-03-31 | 2019-09-10 | The Boeing Company | Emulation of hardware components based on interrupt design |
FR3067482A1 (fr) * | 2017-06-12 | 2018-12-14 | Inria Institut National De Recherche En Informatique Et En Automatique | Dispositif de caracterisation et/ou de modelisation de temps d'execution pire-cas |
US10705933B2 (en) | 2017-07-18 | 2020-07-07 | The Boeing Company | System integration using virtualization |
DE102017126561A1 (de) * | 2017-11-13 | 2019-05-16 | Airbus Defence and Space GmbH | Testsystem und Verfahren zur koordinierten Durchführung eines Tests |
US10426424B2 (en) | 2017-11-21 | 2019-10-01 | General Electric Company | System and method for generating and performing imaging protocol simulations |
CN107885890A (zh) * | 2017-12-15 | 2018-04-06 | 四川汉科计算机信息技术有限公司 | 基于云平台的一体化管理测试系统 |
US11175937B2 (en) * | 2018-03-30 | 2021-11-16 | The Boeing Company | Virtualized avionics systems for operational environments |
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 |
CN109243243B (zh) * | 2018-10-08 | 2020-12-04 | 卓尔飞机制造(武汉)有限公司 | 飞行模拟仿真培训系统及其培训方法 |
US11347531B2 (en) * | 2018-10-31 | 2022-05-31 | The Boeing Company | Generalized virtualization platform for systems using hardware abstraction software layers |
US11192662B2 (en) | 2018-11-13 | 2021-12-07 | Kidde Technologies, Inc. | Aircraft integrated modular avionics inter-partition communications simulation modeling language extension |
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 |
US11513941B2 (en) * | 2020-09-02 | 2022-11-29 | Ge Aviation Systems Llc | Systems and method for flexible write- and read-access of a regulated system |
CN112363799B (zh) * | 2020-10-23 | 2024-04-12 | 中国航空无线电电子研究所 | 一种基于分层解耦架构的航空电子设备模拟器 |
CN112395720A (zh) * | 2020-11-20 | 2021-02-23 | 北京控制工程研究所 | 一种时间确定性分布式航天器电子系统设计方法 |
CN112965398B (zh) * | 2021-02-18 | 2022-10-11 | 江西洪都航空工业集团有限责任公司 | 一种具有负载功率模拟的机电综合管理系统试验验证平台 |
US11939085B2 (en) | 2021-06-16 | 2024-03-26 | Beta Air, Llc | Methods and systems for wrapping simulated intra-aircraft communication to a physical controller area network |
CN114611295B (zh) * | 2022-03-11 | 2024-04-19 | 中国民航大学 | 一种机载lru通用接口仿真设备 |
CN114721292B (zh) * | 2022-04-14 | 2023-11-21 | 南京航空航天大学 | 一种基于时间触发的分布式控制器容错能力验证方法 |
US20230351819A1 (en) * | 2022-05-02 | 2023-11-02 | The Boeing Company | Machine and Process for Identifying Component Effect on Performance of a Vehicle |
US20240094721A1 (en) * | 2022-09-16 | 2024-03-21 | Wing Aviation Llc | Backend Automation System for Simulation of Drone Deliveries through Virtual Fleets |
Family Cites Families (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US5260874A (en) | 1990-09-05 | 1993-11-09 | The Boeing Company | Aircraft flight emulation test system |
US6319008B1 (en) * | 1993-02-22 | 2001-11-20 | Lockheed-Martin Tactical Defense Systems | Avionics simulator |
US5541863A (en) * | 1994-09-30 | 1996-07-30 | Rockwell International | Virtual integrated software testbed for avionics |
EP1368954A1 (en) * | 2001-02-17 | 2003-12-10 | Honeywell International Inc. | System and method for operating software in a flight simulator environment |
US20070264617A1 (en) * | 2006-05-12 | 2007-11-15 | Mark Richardson | Reconfigurable non-pilot aircrew training system |
FR2903384B1 (fr) | 2006-07-04 | 2009-05-29 | Airbus France Sas | Systeme de commande de vol pour aeronef,et systeme de test pour tester un tel systeme de commande de vol. |
US8549491B2 (en) * | 2008-12-05 | 2013-10-01 | Electronics And Telecommunications Research Institute | Apparatus and method for application testing of embedded system |
FR2947127B1 (fr) * | 2009-06-23 | 2011-06-10 | Airbus France | Systeme de simulation ou de test, et procede associe. |
US9063800B2 (en) * | 2010-05-26 | 2015-06-23 | Honeywell International Inc. | Automated method for decoupling avionics application software in an IMA system |
-
2010
- 2010-07-06 BR BR112013000271A patent/BR112013000271A2/pt not_active IP Right Cessation
- 2010-07-06 WO PCT/SE2010/050786 patent/WO2012005639A1/en active Application Filing
- 2010-07-06 EP EP10854508.8A patent/EP2591419B1/en active Active
- 2010-07-06 US US13/808,839 patent/US20130166271A1/en not_active Abandoned
- 2010-07-06 ES ES10854508T patent/ES2708985T3/es active Active
Also Published As
Publication number | Publication date |
---|---|
US20130166271A1 (en) | 2013-06-27 |
EP2591419B1 (en) | 2018-10-31 |
WO2012005639A1 (en) | 2012-01-12 |
EP2591419A1 (en) | 2013-05-15 |
EP2591419A4 (en) | 2013-12-18 |
ES2708985T3 (es) | 2019-04-12 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
BR112013000271A2 (pt) | sistema hospedeiro de aplicação em aviônico, simulador de voo compreendendo sistema hospedeiro, método para simular e/ou testar um número de aplicações particionadas dispostas para ser periodicamente executadas em um sistema alvo e programa de computador | |
BR112013023752A2 (pt) | método com base em computador para realizar um sistema de construção, e, sistema | |
BR102012006496A8 (pt) | sistema de gerenciamento de trajetória remoto para uma ou mais aeronaves | |
BR112012013746A2 (pt) | sistema de eluição de múltiplos geradores, método para eluir um nuclídeo filho, kit, e, produto de programa de computador. | |
BR112014007854A2 (pt) | método para otimizar a recuperação de óleo em médio prazo e dispositivo portador de programa | |
BR112018010120A2 (pt) | método para verificar a integridade de execução de uma aplicação em um dispositivo alvo | |
GB2505818A (en) | Graphics processor with non-blocking concurrent architecture | |
WO2006112986A3 (en) | Systems and methods for device simulation | |
BR112013023967A2 (pt) | sistemas, dispositivos e métodos para a montagem de dispositivos de injeção automática e subconjuntos dos mesmos | |
FR2906881B1 (fr) | Procede de controle fonctionnel d'une centrale inertielle d'un mobile. | |
US20160085567A1 (en) | Method for executing an application program of an electronic control unit on a computer | |
GB201310169D0 (en) | A method for attesting a plurality of data processing systems | |
KR20140098602A (ko) | 분산 시뮬레이션 수행 시스템 및 방법 | |
WO2014028746A3 (en) | Optimization-based regimen method and system for personalized diabetes and diet management | |
JP7427366B2 (ja) | 運用環境用の仮想化されたアビオニクスシステム | |
BR112013024032A2 (pt) | meio legível por computador e método para validação e verificação de um desenvolvimento de software de redundância para um sistema de controle lógico programável | |
BR112013029257A2 (pt) | sistema aviônico distribuído e método para manusear sistema de apoio em um sistema aviônico | |
GB2512785A (en) | Distributed function execution for hybrid systems | |
BR112019001187A2 (pt) | sistema e método automatizado para otimizar o con-trole de um trem | |
BR112018007488A2 (pt) | método e sistema para determinar dados de tempo em relação a um processo de saída de não combustão de um gás combustível a partir de um tanque de gás em um veículo | |
BR112013010142A8 (pt) | sistema de controle de perfuração e método para modelar um parâmetro de um sistema em tempo real | |
US20160306900A1 (en) | Apparatus and method for testing an automatic control device | |
WO2010005471A3 (en) | Methods, systems, and computer program products for simulating a scenario by updating events over a time window including the past, present, and future | |
WO2013138296A3 (en) | Input parsing and array manipulation in reservoir simulation | |
BRPI1105067A8 (pt) | Método e aparelho para treinamento, em particular, em veículos militares blindados |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
B06F | Objections, documents and/or translations needed after an examination request according [chapter 6.6 patent gazette] | ||
B08F | Application dismissed because of non-payment of annual fees [chapter 8.6 patent gazette] |
Free format text: REFERENTE A 9A ANUIDADE. |
|
B08K | Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette] |
Free format text: REFERENTE AO ARQUIVAMENTO PUBLICADO NA RPI 2521 DE 30/04/2019. |