AdaCore QGen 17.1 unterstützt modellbasierte Entwicklung und Verifikation
ID: 1467334
QGen überbrückt die Kluft zwischen Steuerungstechnik und Software-Engineering. Es unterstützt Anwender in der Luft- und Raumfahrt-, der Automobilindustrie sowie in anderen sicherheitskritischen, Software-intensiven Bereichen. Die Lösung schöpft die Möglichkeiten der modellbasierten Entwicklung voll aus, wobei der Benutzer die Low-Level-Kontrolle behält, so dass eine vollständige Integration mit der jeweiligen Ziel-Hardware sichergestellt werden kann.
QGens qualifizierbarer und anpassbarer Codegenerator verarbeitet eine sichere Teilmenge von Simulink- und Stateflow-Modellen und generiert Quellcode in den sicherheitsorientierten Programmiersprachen SPARK – eine auf Ada basierende Sprache, die besonders für statische Analysen geeignet ist – und MISRA C. QGen 17.1 enthält eine aktualisierte Benutzeroberfläche, Unterstützung für zusätzliche Simulink-Blöcke, eine effiziente und benutzerfreundliche Kompatibilitätsprüfung und ein robustes und leistungsstarkes Debugging für das Back-to-Back-Testen zwischen Simulation und Ausführung auf der Zielplattform. QGen 17.1 ist mit den MATLAB-Versionen 2009b bis 2016b kompatibel.
Die beispielhaften Debugging-Möglichkeiten in QGen 17.1 bringen Block- und Signal-Visibility auf Modell-Ebene in die Welt der Embedded-Systeme. Mit der Entwicklungsumgebung GNAT Programming Studio (GPS) können Entwickler nicht nur "reine" Simulink- und Stateflow-Modelle debuggen, sondern auch Anwendungen, die handgeschriebenen und automatisch generierten Code kombinieren. Der Debugger zeigt eine vollständige, grafische Darstellung des Simulink-Modells und gibt die Werte der Signalvariablen an, die während der Ausführung aktualisiert werden. Signalwerte können zu Testzwecken manuell überschrieben werden, um das Modell in Zustände zu bringen, die auf andere Weise nur mühsam zu erreichen sind. Der erzeugte SPARK- oder MISRA-C-Code kann immer zugleich mit dem Modell angezeigt werden und der Entwickler kann zwischen einem Punkt im Modell und der entsprechenden Position im Quellcode leicht hin- und herspringen. Der Debugger kann das Programm schrittweise ausführen, entweder auf Quellcodeebene oder Blockebene, und zwischen automatisch generiertem Code und benutzerdefiniertem Code wechseln.
"QGen ist sehr viel mehr als nur ein qualifizierter Codegenerator für Simulink- und Stateflow-Modelle", erläutert Tucker Taft, Produktarchitekt für QGen bei AdaCore. "QGen integriert nun Subset-Kompatibilitäts-Checker, optimierte, qualifizierbare Codegenerierung, statische Modell-Verifikation, Prozessor-in-the-Loop (PIL)-Prüfung auf einem realen Zielsystem oder durch Emulation auf dem Host, sowie die einzigartigen Debugging-Fähigkeiten auf Modell-Ebene."
QGen wurde für den Einsatz auf sicherheitskritischen Systemen auf höchstem Niveau konzipiert und ist qualifiziert für Tool Qualification Level TQL-1 für DO-178C – entsprechend einem Entwicklungswerkzeug unter DO-178B; Qualifizierungsmaterialien sind verfügbar.
QGen 17.1 ist ab sofort verfügbar; Informationen zu Preisen sowie Details zu den unterstützten Plattformen finden sich unter info@adacore.com
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
AdaCore wurde 1994 gegründet und bietet Tools für Software-Entwicklung und Verifikation für kritische und sicherheitskritische Systeme. Zu den wichtigsten Produkten von AdaCore gehören die GNAT-Pro-Entwicklungsumgebung für Ada, das statische Analyse-Tool CodePeer, die Verifikationsumgebung SPARK Pro und das modellbasierte Entwicklungswerkzeug QGen. Zahlreiche Anwender haben die AdaCore-Produkte im Einsatz und unterhalten damit eine Vielzahl von kritischen Anwendungen in Bereichen wie Raumfahrtsysteme, kommerzielle Luftfahrt, militärische Systeme, im Flugverkehrsmanagement, bei Schienensystemen, bei Geräten der Medizintechnik und bei Finanzdienstleistungen. AdaCore verfügt über eine umfangreiche und wachsende weltweite Kundenbasis; nähere Informationen dazu unter www.adacore.com/customers
AdaCore-Produkte sind Open-Source und werden mit Online-Support durch die Entwickler zur Verfügung gestellt. Das Unternehmen hat seinen nordamerikanischen Hauptsitz in New York, der europäische Hauptsitz ist in Paris. Weitere Informationen unter www.adacore.com
AdaCore
Jamie Ayre
press(at)AdaCore.com
www.AdaCore.com
http://twitter.com/AdaCoreCompany
PR-COM GmbH
Andrea Groß
andrea.gross(at)pr-com.de
www.pr-com.de
Tel. +49-89-59997-803
Datum: 14.03.2017 - 13:57 Uhr
Sprache: Deutsch
News-ID 1467334
Anzahl Zeichen: 3450
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49 (0) 89 59997 803
Kategorie:
Internet
Meldungsart: Produktinformation
Versandart: Veröffentlichung
Freigabedatum: 14.03.2017
Diese Pressemitteilung wurde bisher 707 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"AdaCore QGen 17.1 unterstützt modellbasierte Entwicklung und Verifikation"
steht unter der journalistisch-redaktionellen Verantwortung von
AdaCore (Nachricht senden)
Beachten Sie bitte die weiteren Informationen zum Haftungsauschluß (gemäß TMG - TeleMedianGesetz) und dem Datenschutz (gemäß der DSGVO).
28. März 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, veröffentlicht RecordFlux. Das neue Toolset ermöglicht die Implementierung hochsicherer binärer Kommunikationsprotokolle. RecordFlux (www.adacore.com/re
AdaCore tritt der Rust Foundation bei ...
8. Februar 2023 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für geschäfts- und sicherheitskritische Systeme, gibt seinen Beitritt zur Rust Foundation als Silver Member bekannt. Die unabhängige und gemeinnützige Organisation fördert die Weiterentwicklung der Progr
AdaCore und Synopsys integrieren statische Analyse von Ada-Code in Coverity ...
Paris, 14. Dezember 2022 – AdaCore, Anbieter von Softwareentwicklungs- und Verifikationswerkzeugen für unternehmens- und sicherheitskritische Systeme, gibt die Zusammenarbeit mit der Synopsys Software Integrity Group bekannt, einem führenden Entwickler von Tools für Anwendungssicherheitstests.
Weitere Mitteilungen von AdaCore
"Darknet, Hacker, Cyberwar" /ZDFinfo-Doku gibt Einblick in den "geheimen Krieg im Netz" (FOTO) ...
Hacker- und Cyberangriffe haben zuletzt ebenso für Schlagzeilen gesorgt wie das Darknet, der anonyme virtuelle Marktplatz für Waffen, Drogen und andere illegale Dinge abseits der bekannten Suchmaschinenwelt. Die neue Dokumentation "Darknet, Hacker, Cyberwar" beleuchtet am Samstag,
CeBIT macht Digitalisierung in der Anwendung erlebbar - Frese: Japan, neue Technologien und Inhalte spielen 2017 die Hauptrolle ...
Am kommenden Sonntag eröffnen Bundeskanzlerin Dr. Angela Merkel und Japans Premierminister Shinzo Abe die CeBIT 2017. Die fünftägige Veranstaltung in Hannover greift alle technologischen Trends der digitalen Transformation auf und macht die Digitalisierung anhand hunderter konkreter Anwendungsb
Stefan Fuckert wird Moderator der WDR Lokalzeit Südwestfalen ...
Stefan Fuckert ist ab 16. März 2017 neuer Moderator im Team der WDR Lokalzeit Südwestfalen im WDR Studio Siegen. Fuckert ist am 11. Juni 1984 in Siegen geboren und dort aufgewachsen. Nach seinem Studium der Sozialwissenschaften arbeitete er bereits für den WDR in Siegen und in Köln. Der neu
dSecureMail - Dataport bietet sichere Mail aus der Cloud ...
Rund 90.000 Anwender in der öffentlichen Verwaltung in Norddeutschland nutzen bereits den Cloud-Mail-Service von Dataport. Jetzt stellt der IT-Dienstleister mit dSecureMail auch für andere Institutionen und Unternehmen des öffentlichen Sektors einen attraktiven Service für das Senden und Emp
