RU2011133131A - Защищенная компьютерная система с архитектурой "клиент-сервер" для интерактивных приложений - Google Patents

Защищенная компьютерная система с архитектурой "клиент-сервер" для интерактивных приложений Download PDF

Info

Publication number
RU2011133131A
RU2011133131A RU2011133131/08A RU2011133131A RU2011133131A RU 2011133131 A RU2011133131 A RU 2011133131A RU 2011133131/08 A RU2011133131/08 A RU 2011133131/08A RU 2011133131 A RU2011133131 A RU 2011133131A RU 2011133131 A RU2011133131 A RU 2011133131A
Authority
RU
Russia
Prior art keywords
widgets
protected
client
widget
computer system
Prior art date
Application number
RU2011133131/08A
Other languages
English (en)
Other versions
RU2586008C2 (ru
Inventor
Тьерри ГАНИЙ
Патрис КАПИРСИО
Пьер-Жан ТЮРПО
Original Assignee
Таль
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 Таль filed Critical Таль
Publication of RU2011133131A publication Critical patent/RU2011133131A/ru
Application granted granted Critical
Publication of RU2586008C2 publication Critical patent/RU2586008C2/ru

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0751—Error or fault detection not based on redundancy
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
    • G06F11/0703—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation
    • G06F11/0706—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment
    • G06F11/0736—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function
    • G06F11/0739—Error or fault processing not based on redundancy, i.e. by taking additional measures to deal with the error or fault not making use of redundancy in operation, in hardware, or in data representation the processing taking place on a specific hardware platform or in a specific software environment in functional embedded systems, i.e. in a data processing system designed as a combination of hardware and software dedicated to performing a certain function in a data processing system embedded in automotive or aircraft systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
    • G06F3/14—Digital output to display device ; Cooperation and interconnection of the display device with other functional units
    • 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/451—Execution arrangements for user interfaces
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network arrangements or protocols for supporting network services or applications
    • H04L67/01—Protocols
    • H04L67/12—Protocols specially adapted for proprietary or special-purpose networking environments, e.g. medical networks, sensor networks, networks in vehicles or remote metering networks
    • H—ELECTRICITY
    • H04—ELECTRIC COMMUNICATION TECHNIQUE
    • H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
    • H04L67/00—Network arrangements or protocols for supporting network services or applications
    • H04L67/01—Protocols
    • H04L67/131—Protocols for games, networked simulations or virtual reality
    • G—PHYSICS
    • G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • G09G—ARRANGEMENTS OR CIRCUITS FOR CONTROL OF INDICATING DEVICES USING STATIC MEANS TO PRESENT VARIABLE INFORMATION
    • G09G2358/00—Arrangements for display data security
    • G—PHYSICS
    • G09—EDUCATION; CRYPTOGRAPHY; DISPLAY; ADVERTISING; SEALS
    • G09G—ARRANGEMENTS OR CIRCUITS FOR CONTROL OF INDICATING DEVICES USING STATIC MEANS TO PRESENT VARIABLE INFORMATION
    • G09G2380/00—Specific applications
    • G09G2380/12—Avionics applications

Abstract

1. Компьютерная система с архитектурой типа "клиент-сервер" для графических приложений, то есть для отображения данных в форме модулей программного обеспечения, называемых " виджеты", на экранах дисплеев, называемых "устройствами отображения" (DU), при этом каждый виджет определяется "атрибутами", программа-клиент называется "пользовательским приложением" (UA), причем упомянутая система предназначена для управления функционированием машины, при этом машина содержит по меньшей мере один человеко-машинный интерфейс, обеспечивающий возможность взаимодействия с виджетами, причем упомянутая система управляет критическими данными или функциями, то есть данными или функциями, которые могут приводить к серьезной неисправности упомянутой машины, при этом виджеты объединены в структуру, называемую "моделью", содержащую свойства каждого виджета и их иерархическую организацию, причем упомянутая модель образована из файла определения клиентского приложения (DF), виджеты, манипулирующие отображением критических функций, называются "защищенные виджеты",отличающаяся тем, что включает в себя подсистему защиты, включающую в себя функциональные возможности управления отображением защищенных виджетов, причемпервая функциональная возможность управления состоит из первого вычисления "сигнатуры" модели защищенных виджетов, второго вычисления "сигнатуры" файла определения защищенных виджетов и сравнения этих двух сигнатур, при этом сигнатура является математическим кодом, связанным с атрибутами защищенных виджетов;вторая функциональная возможность управления состоит из алгоритмов для проверки соответствия стека графич

Claims (7)

1. Компьютерная система с архитектурой типа "клиент-сервер" для графических приложений, то есть для отображения данных в форме модулей программного обеспечения, называемых " виджеты", на экранах дисплеев, называемых "устройствами отображения" (DU), при этом каждый виджет определяется "атрибутами", программа-клиент называется "пользовательским приложением" (UA), причем упомянутая система предназначена для управления функционированием машины, при этом машина содержит по меньшей мере один человеко-машинный интерфейс, обеспечивающий возможность взаимодействия с виджетами, причем упомянутая система управляет критическими данными или функциями, то есть данными или функциями, которые могут приводить к серьезной неисправности упомянутой машины, при этом виджеты объединены в структуру, называемую "моделью", содержащую свойства каждого виджета и их иерархическую организацию, причем упомянутая модель образована из файла определения клиентского приложения (DF), виджеты, манипулирующие отображением критических функций, называются "защищенные виджеты",
отличающаяся тем, что включает в себя подсистему защиты, включающую в себя функциональные возможности управления отображением защищенных виджетов, причем
первая функциональная возможность управления состоит из первого вычисления "сигнатуры" модели защищенных виджетов, второго вычисления "сигнатуры" файла определения защищенных виджетов и сравнения этих двух сигнатур, при этом сигнатура является математическим кодом, связанным с атрибутами защищенных виджетов;
вторая функциональная возможность управления состоит из алгоритмов для проверки соответствия стека графических инструкций, генерируемых сервером, и модели защищенных виджетов, при этом упомянутый алгоритм имеет тип "обратной связи".
2. Компьютерная система с архитектурой типа "клиент-сервер" по п.1, отличающаяся тем, что подсистема защиты включает в себя по меньшей мере одну функциональную возможность для управления отправкой команд и вводами от пользователя, выполняемыми посредством человеко-машинного интерфейса на защищенных виджетах, причем упомянутая функциональная возможность заключается в том, что защищенные виджеты имеют тип "проверки допустимости UA", то есть, когда команда на изменение состояния упомянутого защищенного виджета принимается от человеко-машинного интерфейса, упомянутый защищенный виджет ожидает подтверждающего сообщения от программы-клиента (UA) перед изменением состояния.
3. Компьютерная система с архитектурой типа "клиент-сервер" по п.1 или 2, отличающаяся тем, что подсистема защиты включает в себя по меньшей мере первые функциональные возможности для управления командами и вводом и отображением данных, выполняемыми посредством человеко-машинного интерфейса на защищенных виджетах, причем упомянутые первые функциональные возможности заключаются в том, что защищенные виджеты включают в себя либо механизмы защитной блокировки, либо диалоговые окна, при этом механизм защитной блокировки является графическим объектом, защищающим защищенный виджет, который обязательно должен быть разблокирован до доступа к упомянутому защищенному виджету.
4. Компьютерная система с архитектурой типа "клиент-сервер" по п.3, отличающаяся тем, что подсистема защиты включает в себя по меньшей мере вторые функциональные возможности для управления вводом и отображением данных, выполняемыми посредством человеко-машинного интерфейса на защищенных виджетах, причем упомянутые вторые функциональные возможности гарантируют согласованность блокирования защитной блокировки или диалогового окна с состоянием защищенного виджета.
5. Компьютерная система с архитектурой типа "клиент-сервер" по п.3, отличающаяся тем, что подсистема защиты включает в себя по меньшей мере третьи функциональные возможности для управления командами и вводом и отображением данных, выполняемыми посредством человеко-машинного интерфейса на защищенных виджетах, причем упомянутые третьи функциональные возможности состоят из ассоциирования сигнатур критических виджетов с их защитными блокировками или кнопками подтверждения и верификации посредством программы-клиента (UA) пар сигнатур с помощью таблицы соответствия.
6. Компьютерная система с архитектурой типа "клиент-сервер" по п.3, отличающаяся тем, что подсистема защиты включает в себя по меньшей мере четвертые функциональные возможности для управления вводом и отображением данных, выполняемыми посредством человеко-машинного интерфейса на защищенных виджетах, причем упомянутые четвертые функциональные возможности гарантируют целостность значения, вводимого пользователем, посредством передачи в программу-клиент (UA) данного значения и его сигнатуры для верификации их согласованности посредством программы-клиента (UA).
7. Компьютерная система с архитектурой типа "клиент-сервер" по п.1 или 2, отличающаяся тем, что машина представляет собой воздушное судно, компьютерная система является бортовым авиационным электронным оборудованием упомянутого воздушного судна, а экраны дисплеев представляют собой системы отображения в кабине экипажа, и тем, что компьютерная система работает в соответствии с аэронавигационным стандартом ARINC 661.
RU2011133131/08A 2010-08-06 2011-08-05 Защищенная компьютерная система с архитектурой "клиент-сервер" для интерактивных приложений RU2586008C2 (ru)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FR1003304 2010-08-06
FR1003304A FR2963690B1 (fr) 2010-08-06 2010-08-06 Systeme informatique "client-serveur" securise pour applications interactives

Publications (2)

Publication Number Publication Date
RU2011133131A true RU2011133131A (ru) 2013-02-10
RU2586008C2 RU2586008C2 (ru) 2016-06-10

Family

ID=43629204

Family Applications (1)

Application Number Title Priority Date Filing Date
RU2011133131/08A RU2586008C2 (ru) 2010-08-06 2011-08-05 Защищенная компьютерная система с архитектурой "клиент-сервер" для интерактивных приложений

Country Status (5)

Country Link
US (1) US8812865B2 (ru)
CN (1) CN102571741B (ru)
BR (1) BRPI1103857A2 (ru)
FR (1) FR2963690B1 (ru)
RU (1) RU2586008C2 (ru)

Families Citing this family (26)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6942826B2 (en) * 2002-11-14 2005-09-13 Dynea Chemicals Oy Spectroscopic monitoring of resin-application prior to assembly of composite wood veneer product
US8766936B2 (en) 2011-03-25 2014-07-01 Honeywell International Inc. Touch screen and method for providing stable touches
US9733707B2 (en) 2012-03-22 2017-08-15 Honeywell International Inc. Touch screen display user interface and method for improving touch interface utility on the same employing a rules-based masking system
US9060010B1 (en) * 2012-04-29 2015-06-16 Rockwell Collins, Inc. Incorporating virtual network computing into a cockpit display system for controlling a non-aircraft system
US9836989B2 (en) 2012-06-05 2017-12-05 Rockwell Collins, Inc. Training data management method and related system
WO2013184156A1 (en) * 2012-06-05 2013-12-12 Rockwell Collins, Inc. Training data management and related system
US9423871B2 (en) 2012-08-07 2016-08-23 Honeywell International Inc. System and method for reducing the effects of inadvertent touch on a touch screen controller
US9128580B2 (en) 2012-12-07 2015-09-08 Honeywell International Inc. System and method for interacting with a touch screen interface utilizing an intelligent stencil mask
CN103905387B (zh) * 2012-12-26 2017-09-12 深圳市赛格导航科技股份有限公司 客户端与服务器通信的方法和装置
FR3002054B1 (fr) * 2013-02-08 2015-03-13 Thales Sa Dispositif de securisation d'une application client pour un systeme d'affichage de symbologie du type client-serveur
US20150111180A1 (en) * 2013-10-23 2015-04-23 Airbus (S.A.S) Methods, systems, and computer readable media for cursor and text entry for aircraft interface simulation
FR3021771B1 (fr) 2014-05-28 2016-06-10 Airbus Helicopters Procede contributeur de la securisation d'une representation graphique synthetique de la vue exterieure d'un aeronef
CN105227631B (zh) * 2015-05-28 2021-08-13 罗克韦尔柯林斯公司 一种支持无人机操作的分层系统
CN105335158B (zh) * 2015-10-29 2018-08-31 西安电子科技大学 基于arinc661自定义符号库的飞行界面显示方法
US10412100B2 (en) 2016-08-01 2019-09-10 The Boeing Company System and methods for providing secure data connections in an aviation environment
FR3058290B1 (fr) * 2016-10-27 2019-08-02 Thales Equipement avionique avec signature a usage unique d'un message emis, systeme avionique, procede de transmission et programme d'ordinateur associes
US10496351B2 (en) 2017-06-07 2019-12-03 Ge Aviation Systems Llc Automatic display unit backup during failures of one more display units through the utilization of graphic user interface objects defined for control transfer and reversion after resolution of the failures
US11232218B2 (en) * 2017-07-28 2022-01-25 Koninklijke Philips N.V. Evaluation of a monitoring function
CN107678862B (zh) * 2017-10-10 2021-04-13 中电科航空电子有限公司 一种解决arinc661规范中竞态条件的方法
FR3073966B1 (fr) 2017-11-21 2019-11-01 Thales Dispositif avionique et procede d'emission d'un message de donnees a destination d'au moins un dispositif electronique recepteur, dispositif electronique recepteur, procede de reception et programme...
CN108132779A (zh) * 2017-12-07 2018-06-08 中国航空工业集团公司西安航空计算技术研究所 一种基于arinc661的可视化df的设计验证方法
FR3087019B1 (fr) * 2018-10-09 2021-06-18 Thales Sa Systeme de controle de commande d'un systeme commande via une interface graphique et procede de controle associe
CN109634498B (zh) * 2018-12-18 2021-08-10 南京航空航天大学 一种基于arinc661的座舱显示系统外部事件高效处理方法
CN110263371B (zh) * 2019-05-13 2020-10-02 北京航空航天大学 基于aadl的ima动态重构过程配置路径生成方法
US10996764B1 (en) * 2019-07-12 2021-05-04 Rockwell Collins, Inc. Systems and methods for automating components with guarded touchscreen controls
FR3110264B1 (fr) * 2020-05-18 2022-04-22 Airbus Operations Sas Architecture d’interfacage homme-machine dans un aeronef

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US20040162895A1 (en) * 2003-02-19 2004-08-19 B2B Booster, Inc. Web site management with electronic storefront and page categorization
US7761800B2 (en) * 2004-06-25 2010-07-20 Apple Inc. Unified interest layer for user interface
US7546543B2 (en) * 2004-06-25 2009-06-09 Apple Inc. Widget authoring and editing environment
FR2884949B1 (fr) * 2005-04-26 2007-06-22 Thales Sa Dispositif de generation graphique comportant des moyens de surveillance de son fonctionnement.
FR2901442B1 (fr) * 2006-05-17 2008-08-22 Airbus France Sas Methode de transfert de fichier securise
FR2901946B1 (fr) 2006-06-06 2008-11-21 Thales Sa Procede de codage d'une image numerique couleur comportant une information de marquage
FR2908916B1 (fr) 2006-11-17 2009-04-17 Thales Sa Systeme de traitement d'objets graphiques comportant un gestionnaire graphique securise
US20080148235A1 (en) * 2006-12-15 2008-06-19 Microsoft Corporation Runtime inspection of user interfaces
FR2918349B1 (fr) * 2007-07-05 2009-10-02 Airbus France Sa Systeme d'affichage d'applications avioniques et non-avioniques

Also Published As

Publication number Publication date
BRPI1103857A2 (pt) 2014-03-11
CN102571741B (zh) 2016-08-03
FR2963690B1 (fr) 2012-08-03
CN102571741A (zh) 2012-07-11
FR2963690A1 (fr) 2012-02-10
US8812865B2 (en) 2014-08-19
US20120036445A1 (en) 2012-02-09
RU2586008C2 (ru) 2016-06-10

Similar Documents

Publication Publication Date Title
RU2011133131A (ru) Защищенная компьютерная система с архитектурой "клиент-сервер" для интерактивных приложений
US20180365265A1 (en) Synchronization of a dual avionic and non-avionic system
EP2551787B1 (de) Vorrichtung und Verfahren für eine sicherheitsrelevante Eingabe über ein Anzeigegerät mit Berührungseingabe
EP3036615B1 (en) Dynamic contextual menu for touch-sensitive devices
Tankeu-Choitat et al. Self-checking components for dependable interactive cockpits using formal description techniques
KR102513334B1 (ko) 픽처 검증 방법, 장치, 전자기기, 컴퓨터 판독 가능 기록 매체 및 컴퓨터 프로그램
CN103999092A (zh) 保护输入免受恶意软件侵害
Navarre et al. A formal approach for user interaction reconfiguration of safety critical interactive systems
US7973677B2 (en) System and method for data transmission between at least one display screen and a client system
KR20140143599A (ko) 단말기의 잠금 상태를 해제하는 방법 및 장치
Hamon et al. Multi-Touch interactions for control and display in interactive cockpits: issues and a proposal
Fayollas et al. Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
KR20180061186A (ko) 실시간 정보를 제공하고 컴퓨터 프로그램 내의 사용자 선택 재지향을 가능하게 하기 위한 메시지 리본 사용자 인터페이스
US20210026970A1 (en) Security evaluation server and security evaluation method
Navarre et al. Designing for resilience to hardware failures in interactive systems: A model and simulation-based approach
Fayollas et al. Engineering mixed-criticality interactive applications
Navarre et al. An architecture and a formal description technique for the design and implementation of reconfigurable user interfaces
Fayollas et al. Dealing with faults during operations: beyond classical use of formal methods
US10649649B2 (en) Secure method for control of a function by means of a touchpad
Masci et al. PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
WO2015077266A2 (en) Electronics process validation
Choitat et al. Self-checking widgets for interactive cockpits
Singh et al. F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUID
Jeppu Testing of safety critical control systems
KR102479750B1 (ko) 의료 데이터의 통계 정보 제공 방법 및 장치

Legal Events

Date Code Title Description
MM4A The patent is invalid due to non-payment of fees

Effective date: 20170806