Innovative tool for automating the process of verification of software of critical systems for aviation safety confirmation of competences of Polish scientists and flight on the international arena (Q84119): Difference between revisions
Jump to navigation
Jump to search
(Changed label, description and/or aliases in fr: translated_label) |
(Created claim: summary (P836): Le sujet du projet est le développement de – Institut de l’aviation (ILOT) et General Electric Company Polska Sp. z o.o. (GECP) de l’innovation globale des processus dans le domaine de la vérification automatisée des logiciels embarqués critiques pour la sécurité des vols (critique de sécurité de catégorie). Les principales caractéristiques et fonctionnalités du résultat du projet seront les suivantes: augmentation du niveau d’automatisati...) |
||||||||||||||
| Property / summary | |||||||||||||||
Le sujet du projet est le développement de – Institut de l’aviation (ILOT) et General Electric Company Polska Sp. z o.o. (GECP) de l’innovation globale des processus dans le domaine de la vérification automatisée des logiciels embarqués critiques pour la sécurité des vols (critique de sécurité de catégorie). Les principales caractéristiques et fonctionnalités du résultat du projet seront les suivantes: augmentation du niveau d’automatisation du processus de vérification, polyvalence complète de l’outil (plateformes), large éventail d’applications, indépendamment du processus de vérification de l’emplacement physique des composants testés. L’utilisation d’une plateforme innovante dans le processus de vérification des logiciels aérospatials permettra de réduire au minimum le processus long, de réduire le risque d’erreurs et, partant, d’améliorer la qualité des solutions testées et de réduire les coûts associés aux procédures de vérification. L’innovation de processus développée principalement par l’Institut de l’aviation sera mise en œuvre dans l’activité commerciale d’un entrepreneur appartenant à l’un des plus grands groupes de capitaux au monde (GE). Ce sera un succès incontestable de la science polonaise. L’utilisation d’une plateforme d’outils innovante permettra l’exécution des commandes de vérification logicielle plus rapidement et les résultats seront plus fiables. Cela augmentera considérablement la position concurrentielle de la succursale polonaise (GECP) au sein de l’ensemble du groupe GE. (French) | |||||||||||||||
| Property / summary: Le sujet du projet est le développement de – Institut de l’aviation (ILOT) et General Electric Company Polska Sp. z o.o. (GECP) de l’innovation globale des processus dans le domaine de la vérification automatisée des logiciels embarqués critiques pour la sécurité des vols (critique de sécurité de catégorie). Les principales caractéristiques et fonctionnalités du résultat du projet seront les suivantes: augmentation du niveau d’automatisation du processus de vérification, polyvalence complète de l’outil (plateformes), large éventail d’applications, indépendamment du processus de vérification de l’emplacement physique des composants testés. L’utilisation d’une plateforme innovante dans le processus de vérification des logiciels aérospatials permettra de réduire au minimum le processus long, de réduire le risque d’erreurs et, partant, d’améliorer la qualité des solutions testées et de réduire les coûts associés aux procédures de vérification. L’innovation de processus développée principalement par l’Institut de l’aviation sera mise en œuvre dans l’activité commerciale d’un entrepreneur appartenant à l’un des plus grands groupes de capitaux au monde (GE). Ce sera un succès incontestable de la science polonaise. L’utilisation d’une plateforme d’outils innovante permettra l’exécution des commandes de vérification logicielle plus rapidement et les résultats seront plus fiables. Cela augmentera considérablement la position concurrentielle de la succursale polonaise (GECP) au sein de l’ensemble du groupe GE. (French) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Le sujet du projet est le développement de – Institut de l’aviation (ILOT) et General Electric Company Polska Sp. z o.o. (GECP) de l’innovation globale des processus dans le domaine de la vérification automatisée des logiciels embarqués critiques pour la sécurité des vols (critique de sécurité de catégorie). Les principales caractéristiques et fonctionnalités du résultat du projet seront les suivantes: augmentation du niveau d’automatisation du processus de vérification, polyvalence complète de l’outil (plateformes), large éventail d’applications, indépendamment du processus de vérification de l’emplacement physique des composants testés. L’utilisation d’une plateforme innovante dans le processus de vérification des logiciels aérospatials permettra de réduire au minimum le processus long, de réduire le risque d’erreurs et, partant, d’améliorer la qualité des solutions testées et de réduire les coûts associés aux procédures de vérification. L’innovation de processus développée principalement par l’Institut de l’aviation sera mise en œuvre dans l’activité commerciale d’un entrepreneur appartenant à l’un des plus grands groupes de capitaux au monde (GE). Ce sera un succès incontestable de la science polonaise. L’utilisation d’une plateforme d’outils innovante permettra l’exécution des commandes de vérification logicielle plus rapidement et les résultats seront plus fiables. Cela augmentera considérablement la position concurrentielle de la succursale polonaise (GECP) au sein de l’ensemble du groupe GE. (French) / qualifier | |||||||||||||||
point in time: 30 November 2021
| |||||||||||||||
Revision as of 16:26, 30 November 2021
Project Q84119 in Poland
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Innovative tool for automating the process of verification of software of critical systems for aviation safety confirmation of competences of Polish scientists and flight on the international arena |
Project Q84119 in Poland |
Statements
3,980,630.52 zloty
0 references
4,301,757.61 zloty
0 references
92.53 percent
0 references
1 April 2017
0 references
31 March 2020
0 references
INSTYTUT LOTNICTWA
0 references
Przedmiotem projektu jest opracowanie przez konsorcjum naukowo przemysłowe – Instytut Lotnictwa (ILOT) oraz General Electric Company Polska Sp. z o.o. (GECP) innowacji procesowej o poziomie światowym w zakresie zautomatyzowanej weryfikacji oprogramowania urządzeń pokładowych, krytycznego dla bezpieczeństwa lotów (kategoria safety critical). Do kluczowych cech i funkcjonalności rezultatu Projektu należeć będą: podniesienie poziomu automatyzacji procesu weryfikacji, pełna uniwersalność narzędzia (platformy), szerokie spektrum zastosowań, uniezależnienie procesu weryfikacji od fizycznej lokalizacji testowanych komponentów. Wykorzystanie innowacyjnej platformy w procesie weryfikacji oprogramowania do zastosowań w przemyśle lotniczym pozwoli na zminimalizowanie czasochłonności tego procesu, ograniczenie ryzyka wystąpienia błędów, a tym samym podniesienie jakości testowanych rozwiązań oraz ograniczenie kosztów związanych z procedurami weryfikacji. Opracowana w głównej mierze przez Instytut Lotnictwa innowacja procesowa zostanie wdrożona w działalności gospodarczej przedsiębiorcy należącego do jednej z największych światowych grup kapitałowych (GE). Będzie to niewątpliwy sukces polskiej nauki. Wykorzystanie innowacyjnej platformy narzędziowej pozwoli na realizację zleceń w zakresie weryfikacji oprogramowania szybciej, a uzyskiwane wyniki będą bardziej wiarygodne. Dzięki temu, znaczącemu zwiększeniu ulegnie pozycja konkurencyjna polskiego oddziału (GECP) w ramach całej Grupy GE. (Polish)
0 references
The subject of the project is the development by the scientific consortium – Institute of Aviation (ilot) and General Electric Company Polska Sp. z o.o. (gecp) of global process innovation in the field of automated verification of on-board equipment software critical for safety critical. Key features and functionalities of the project result will include: increasing the level of automation of the verification process, full tool versatility (platforms), a wide range of applications, decoupling the verification process from the physical location of the tested components. The use of an innovative platform in the process of verifying software for applications in the aerospace industry will minimise the time-consuming process, reduce the risk of errors and thus improve the quality of the tested solutions and reduce the costs associated with verification procedures. The process innovation, developed mainly by the Institute of Aviation, will be implemented in the business activity of an entrepreneur belonging to one of the largest global capital groups (GE). This will be an undoubted success of Polish science. The use of an innovative tool platform will allow the execution of software verification orders faster and the results achieved will be more reliable. Thanks to this, the competitive position of the Polish branch (gecp) within the GE Group will be significantly increased. (English)
14 October 2020
0 references
Le sujet du projet est le développement de – Institut de l’aviation (ILOT) et General Electric Company Polska Sp. z o.o. (GECP) de l’innovation globale des processus dans le domaine de la vérification automatisée des logiciels embarqués critiques pour la sécurité des vols (critique de sécurité de catégorie). Les principales caractéristiques et fonctionnalités du résultat du projet seront les suivantes: augmentation du niveau d’automatisation du processus de vérification, polyvalence complète de l’outil (plateformes), large éventail d’applications, indépendamment du processus de vérification de l’emplacement physique des composants testés. L’utilisation d’une plateforme innovante dans le processus de vérification des logiciels aérospatials permettra de réduire au minimum le processus long, de réduire le risque d’erreurs et, partant, d’améliorer la qualité des solutions testées et de réduire les coûts associés aux procédures de vérification. L’innovation de processus développée principalement par l’Institut de l’aviation sera mise en œuvre dans l’activité commerciale d’un entrepreneur appartenant à l’un des plus grands groupes de capitaux au monde (GE). Ce sera un succès incontestable de la science polonaise. L’utilisation d’une plateforme d’outils innovante permettra l’exécution des commandes de vérification logicielle plus rapidement et les résultats seront plus fiables. Cela augmentera considérablement la position concurrentielle de la succursale polonaise (GECP) au sein de l’ensemble du groupe GE. (French)
30 November 2021
0 references
Identifiers
POIR.04.01.04-00-0121/16
0 references