Select Language

AdaCore Releases QGen 17.1 for Model-Based Development and Verification

AdaCore Releases QGen 17.1 for Model-Based Development and Verification
New version of qualifiable toolset brings enhanced model-level testing and debugging for embedded targets

NUREMBERG, Germany, Embedded World Conference, March 14, 2017 -- AdaCore today released QGen 17.1, the latest version of its model-based development and verification toolset. QGen bridges the gap between control engineering and software engineering, helping customers in the automotive and aerospace industries, as well as other safety-critical software-intensive domains, take full advantage of model-based development while retaining the low-level control necessary to achieve full integration with target hardware.

QGen’s qualifiable and customizable code generator processes a safe subset of Simulink® and Stateflow® models and generates source code in the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 17.1 incorporates an updated user interface, support for additional Simulink® blocks, an efficient and user-friendly set of compatibility checkers, and robust and powerful model-level debugging support for back-to-back testing between simulation and target execution. QGen 17.1 is compatible with MATLAB versions 2009b through 2016b.

The debugging facilities in QGen 17.1 are unique in the industry, bringing model-level block and signal visibility to the embedded world. Using the GNAT Programming Studio (GPS) IDE, developers can debug not only “pure” Simulink® and Stateflow® models but also applications that combine manually prepared and auto-generated code. If a breakpoint is set on an individual block, the debugger will automatically set a breakpoint at the corresponding statement in the generated code. The debugger displays a full, graphical view of the Simulink® model, showing the values of signal variables as they are updated during execution. Signal values can be overridden by hand for testing purposes, to force the model into states that might be tedious to reach otherwise. The generated SPARK/Ada or MISRA C code can always be displayed side-by-side with the model, and the developer can easily jump back and forth between a point in the model and the corresponding position in the source code. The debugger can execute the program one step at a time, either at source-code level or block level, and can cross between auto-generated code and user-written code.

“Our QGen product is already much more than just a qualifiable code generator for Simulink® and Stateflow® models," said Tucker Taft, Product Architect for QGen at AdaCore. "QGen now integrates subset compatibility checkers, optimized, qualifiable code generation, static model verification, processor-in-the-loop (PIL) testing on a real target or through emulation on the host, and our unique model-level debugging capability.”

QGen has been designed to be qualified at the highest level for usage on safety-critical systems, in particular Tool Qualification Level TQL-1 for DO-178C (corresponding to a development tool under DO-178B), and qualification material will be available.

Availability
QGen 17.1 is available now. For pricing, specific platform details or other information please contact info@adacore.com

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems, and
  • The QGen model-based development toolsuite for safety-critical control systems, providing a qualifiable and customizable code generator, a static verifier for Simulink® and Stateflow® models, and a model-level debugger.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains, such as commercial avionics, automotive, railway, space, military systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/customers/ for further information.

AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com

Press Contacts
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

EU:
Emma Adby
AdaCore Marketing Operations Manager
+33 1 49 70 87 82

US:
Jessie Glockner
AdaCore Public Relations Representative
+1-646-532-2723

AdaCore QGen 17.1 unterstützt modellbasierte Entwicklung und Verifikation

Paris, 14. März 2017 – AdaCore hat heute QGen 17.1 vorgestellt, die neueste Version seines modellbasierten Entwicklungs- und Verifikations-Toolsets.

QGen überbrückt die Kluft zwischen Steuerungstechnik und Software-Engineering. Es unterstützt Anwender in der Luft- und Raumfahrt-, in 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 Zielhardware 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 kann 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ähigkeitem 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 werden verfügbar sein.

QGen 17.1 ist ab sofort verfügbar; Informationen zu Preisen sowie Details zu den unterstützen Plattformen finden sich unter info@adacore.com

Diese Presseinformation kann unter
www.pr-com.de/adacore abgerufen werden.


Über AdaCore
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

Pressekontakte:

AdaCore 
Jamie Ayre
press@AdaCore.com 
www.AdaCore.com 
http://twitter.com/AdaCoreCompany

PR-COM GmbH
Andrea Groß
andrea.gross@pr-com.de
www.pr-com.de
Tel. +49-89-59997-803

AdaCore lance QGen 17.1, la dernière version de son outil de développement et de vérification basé sur les modèles

AdaCore lance QGen 17.1, la dernière version de son outil de développement et de vérification basé sur les modèles

Cette nouvelle version du générateur de code qualifiable d’AdaCore offre un meilleur niveau de test et de débogage pour les cibles embarquées

NUREMBERG, Allemagne, Conférence Embedded World, le 14 mars 2017 -- AdaCore annonce aujourd’hui le lancement de QGen 17.1, la dernière version de sa boîte à outils de développement et de vérification basée sur les modèles. QGen fait le lien entre l’ingénierie du contrôle-commande et l’ingénierie logicielle en aidant ses clients dans les industries automobile et aérospatiale, ainsi que dans d’autres domaines critiques à forte composante logicielle, à tirer pleinement parti d’un développement basé sur les modèles tout en conservant le niveau de contrôle nécessaire à l’intégration complète au matériel cible.

Le générateur de code qualifiable et personnalisable QGen permet de traiter un sous-ensemble sûr de modèles Simulink® and Stateflow® et de générer du code source dans les langages de programmation orientés sécurité SPARK (un sous ensemble d’Ada analysable formellement) et MISRA C. QGen 17.1 se compose d’une interface utilisateur actualisée, d’un support pour des blocs additionnels Simulink®, d’un ensemble de vérificateurs de compatibilité efficaces et conviviaux ainsi que d’un puissant et robuste support de débogage basé sur les modèles pour la réalisation de tests croisés entre la simulation et l’exécution cible. QGen 17.1 est compatible avec les versions MATLAB depuis 2009b jusqu’à 2016b.

Les fonctions de débogage de QGen 17.1 sont uniques dans l’industrie et dotent le monde de l’embarqué d’une visibilité des blocs et des signaux au niveau des modèles. Grâce à l’environnement de développement intégré GNAT Programming Studio (GPS), les développeurs peuvent déboguer non seulement des modèles purement Simulink® et Stateflow®, mais également des applications combinant du code préparé manuellement et du code auto-généré. Si une valeur seuil est définie pour un bloc individuel, le débogueur définira automatiquement la valeur seuil correspondante dans le code généré. Le débogueur offre un affichage graphique et complet du modèle Simulink®, montrant les valeurs des variables du signal à mesure de leur actualisation au cours de l’exécution. Les valeurs du signal peuvent être forcées manuellement à des fins de test de manière à pousser le modèle dans des états qu’il serait difficile d’atteindre autrement. Le code SPARK/Ada ou MISRA C généré peut être affiché à côté du modèle, et le développeur peut aisément passer d’un point dans le modèle à la position correspondante dans le code source. Le débogueur peut exécuter le programme une étape à la fois, soit au niveau du code source, soit au niveau du bloc, et peut passer du code auto-généré au code écrit par l’utilisateur.

“Notre produit est déjà bien plus qu’un générateur de code qualifiable pour les modèles Simulink® et Stateflow®“, a affirmé Tucker Taft, Architecte Produit pour QGen chez AdaCore. "QGen intègre à présent des vérificateurs de compatibilité de sous-ensembles, une génération de code optimisée et qualifiable, une vérification des modèles statiques, la possibilité de réaliser des tests Processor-in-the-Loop (PIL) sur une cible réelle ou par le biais d’une émulation sur l’hôte, ainsi que notre capacité unique de débogage au niveau des modèles.”

QGen a été conçu pour être qualifié au niveau le plus élevé existant pour une utilisation sur des systèmes critiques, en particulier le Niveau de Qualification TQL-1 pour DO-178C (correspondant à un outil de développement pour le standard DO-178B), et sera disponible, du matériel de qualification.

Disponibilité
QGen 17.1 est disponible dès à présent. Pour toute question concernant les tarifs ou le détail des plates-formes prises en charge, veuillez contacter info@adacore.com

A propos d’AdaCore
Fondée en 1994, AdaCore conçoit et fournit des outils de développement et de vérification de logiciels destinés à des applications pour lesquelles la sûreté, la sécurité et la fiabilité sont des éléments critiques. Quatre produits phares composent l’offre de la société :

  • GNAT Pro, l’environnement de développement pour Ada, une boîte à outils complète pour concevoir, mettre en œuvre et gérer des applications requérant un niveau élevé de fiabilité et de maintenabilité,
  • L’outil d’analyses statistiques avancées CodePeer, un réviseur et validateur automatique de code Ada capable de détecter et d’éliminer les erreurs aussi bien au cours du développement que rétrospectivement sur des logiciels existants,
  • L’environnement de développement SPARK Pro, un ensemble d’outils basés sur des méthodes formelles et orientés systèmes à niveau d’assurance élevé, et
  • L’outil de développement basé sur les modèles QGen , un générateur et vérificateur de code qualifiable et personnalisable pour les modèles Simulink® and Stateflow® destiné aux systèmes de contrôle critiques.

L'utilisation des produits AdaCore connaît une croissance continue dans des applications critiques telles que les systèmes spatiaux, l’avionique commerciale, les systèmes militaires, le contrôle aérien, les systèmes ferroviaires, les appareils médicaux ou les services financiers. AdaCore jouit d’une base fournie de clients internationaux en croissance constante; visitez le site www.adacore.com/customers/ pour de plus amples informations.

Les produits AdaCore sont libres et accompagnés d’un support expert en ligne fourni par les développeurs eux-mêmes. La société possède un siège nord-américain basé à New York et un siège européen basé à Paris. www.adacore.com


Contacts presse
press-info@adacore.com
http://www.adacore.com
http://twitter.com/AdaCoreCompany

Europe
Emma Adby
Responsable des Opérations Marketing AdaCore
+33 1 49 70 87 82

Etats Unis
Jessie Glockner
Représentante des Relations Publiques AdaCore
+1-646-532-2723