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
(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...) |
(Changed label, description and/or aliases in de, and other parts: Adding German translations) |
||||||||||||||
| label / de | label / de | ||||||||||||||
Innovatives Instrument zur Automatisierung des Prozesses der Überprüfung von softwarekritischen Systemen für die Flugsicherheit durch Bestätigung der Kompetenz des polnischen IAOT-Wissenschaftlers auf der internationalen Bühne | |||||||||||||||
| Property / summary | |||||||||||||||
Gegenstand des Projekts ist die Entwicklung von – Institut für Luftfahrt (ILOT) und General Electric Company Polska Sp. z o.o. (GECP) für globale Prozessinnovationen im Bereich der automatisierten Überprüfung von Bordsoftware, die für die Flugsicherheit von entscheidender Bedeutung ist (Kategorie sicherheitskritische). Zu den wichtigsten Merkmalen und Funktionen des Projektergebnisses gehören: Erhöhung des Automatisierungsgrades des Verifikationsprozesses, volle Vielseitigkeit des Werkzeugs (Plattformen), breite Palette von Anwendungen, unabhängig vom Verifizierungsprozess vom physikalischen Standort der geprüften Komponenten. Der Einsatz einer innovativen Plattform in der Luft- und Raumfahrt-Software-Verifikation wird den zeitaufwändigen Prozess minimieren, das Fehlerrisiko verringern und dadurch die Qualität der geprüften Lösungen verbessern und die Kosten im Zusammenhang mit Verifizierungsverfahren senken. Die hauptsächlich vom Institut für Luftfahrt entwickelte Prozessinnovation wird in der Geschäftstätigkeit eines Unternehmers einer der weltweit größten Kapitalgruppen (GE) umgesetzt. Dies wird ein unbestrittener Erfolg der polnischen Wissenschaft sein. Der Einsatz einer innovativen Werkzeugplattform wird die Ausführung von Software-Verifikationsaufträgen schneller ermöglichen und die Ergebnisse werden zuverlässiger sein. Dadurch wird die Wettbewerbsposition der polnischen Niederlassung (GECP) innerhalb der gesamten GE-Gruppe deutlich gesteigert. (German) | |||||||||||||||
| Property / summary: Gegenstand des Projekts ist die Entwicklung von – Institut für Luftfahrt (ILOT) und General Electric Company Polska Sp. z o.o. (GECP) für globale Prozessinnovationen im Bereich der automatisierten Überprüfung von Bordsoftware, die für die Flugsicherheit von entscheidender Bedeutung ist (Kategorie sicherheitskritische). Zu den wichtigsten Merkmalen und Funktionen des Projektergebnisses gehören: Erhöhung des Automatisierungsgrades des Verifikationsprozesses, volle Vielseitigkeit des Werkzeugs (Plattformen), breite Palette von Anwendungen, unabhängig vom Verifizierungsprozess vom physikalischen Standort der geprüften Komponenten. Der Einsatz einer innovativen Plattform in der Luft- und Raumfahrt-Software-Verifikation wird den zeitaufwändigen Prozess minimieren, das Fehlerrisiko verringern und dadurch die Qualität der geprüften Lösungen verbessern und die Kosten im Zusammenhang mit Verifizierungsverfahren senken. Die hauptsächlich vom Institut für Luftfahrt entwickelte Prozessinnovation wird in der Geschäftstätigkeit eines Unternehmers einer der weltweit größten Kapitalgruppen (GE) umgesetzt. Dies wird ein unbestrittener Erfolg der polnischen Wissenschaft sein. Der Einsatz einer innovativen Werkzeugplattform wird die Ausführung von Software-Verifikationsaufträgen schneller ermöglichen und die Ergebnisse werden zuverlässiger sein. Dadurch wird die Wettbewerbsposition der polnischen Niederlassung (GECP) innerhalb der gesamten GE-Gruppe deutlich gesteigert. (German) / rank | |||||||||||||||
Normal rank | |||||||||||||||
| Property / summary: Gegenstand des Projekts ist die Entwicklung von – Institut für Luftfahrt (ILOT) und General Electric Company Polska Sp. z o.o. (GECP) für globale Prozessinnovationen im Bereich der automatisierten Überprüfung von Bordsoftware, die für die Flugsicherheit von entscheidender Bedeutung ist (Kategorie sicherheitskritische). Zu den wichtigsten Merkmalen und Funktionen des Projektergebnisses gehören: Erhöhung des Automatisierungsgrades des Verifikationsprozesses, volle Vielseitigkeit des Werkzeugs (Plattformen), breite Palette von Anwendungen, unabhängig vom Verifizierungsprozess vom physikalischen Standort der geprüften Komponenten. Der Einsatz einer innovativen Plattform in der Luft- und Raumfahrt-Software-Verifikation wird den zeitaufwändigen Prozess minimieren, das Fehlerrisiko verringern und dadurch die Qualität der geprüften Lösungen verbessern und die Kosten im Zusammenhang mit Verifizierungsverfahren senken. Die hauptsächlich vom Institut für Luftfahrt entwickelte Prozessinnovation wird in der Geschäftstätigkeit eines Unternehmers einer der weltweit größten Kapitalgruppen (GE) umgesetzt. Dies wird ein unbestrittener Erfolg der polnischen Wissenschaft sein. Der Einsatz einer innovativen Werkzeugplattform wird die Ausführung von Software-Verifikationsaufträgen schneller ermöglichen und die Ergebnisse werden zuverlässiger sein. Dadurch wird die Wettbewerbsposition der polnischen Niederlassung (GECP) innerhalb der gesamten GE-Gruppe deutlich gesteigert. (German) / qualifier | |||||||||||||||
point in time: 7 December 2021
| |||||||||||||||
Revision as of 09:15, 7 December 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
Gegenstand des Projekts ist die Entwicklung von – Institut für Luftfahrt (ILOT) und General Electric Company Polska Sp. z o.o. (GECP) für globale Prozessinnovationen im Bereich der automatisierten Überprüfung von Bordsoftware, die für die Flugsicherheit von entscheidender Bedeutung ist (Kategorie sicherheitskritische). Zu den wichtigsten Merkmalen und Funktionen des Projektergebnisses gehören: Erhöhung des Automatisierungsgrades des Verifikationsprozesses, volle Vielseitigkeit des Werkzeugs (Plattformen), breite Palette von Anwendungen, unabhängig vom Verifizierungsprozess vom physikalischen Standort der geprüften Komponenten. Der Einsatz einer innovativen Plattform in der Luft- und Raumfahrt-Software-Verifikation wird den zeitaufwändigen Prozess minimieren, das Fehlerrisiko verringern und dadurch die Qualität der geprüften Lösungen verbessern und die Kosten im Zusammenhang mit Verifizierungsverfahren senken. Die hauptsächlich vom Institut für Luftfahrt entwickelte Prozessinnovation wird in der Geschäftstätigkeit eines Unternehmers einer der weltweit größten Kapitalgruppen (GE) umgesetzt. Dies wird ein unbestrittener Erfolg der polnischen Wissenschaft sein. Der Einsatz einer innovativen Werkzeugplattform wird die Ausführung von Software-Verifikationsaufträgen schneller ermöglichen und die Ergebnisse werden zuverlässiger sein. Dadurch wird die Wettbewerbsposition der polnischen Niederlassung (GECP) innerhalb der gesamten GE-Gruppe deutlich gesteigert. (German)
7 December 2021
0 references
Identifiers
POIR.04.01.04-00-0121/16
0 references