ci-tec vertraut auf die Entwicklungsumgebung GNAT Pro Ada
Mit der GNAT-Pro-Entwicklungsumgebung von AdaCore portiert, adaptiert und wartet ci-tec sein Softwareprodukt inspect pro control. Das Echtzeitsystem erfasst, etwa mit Hilfe von Infrarotkameras, Daten aus Brennräumen, analysiert sie und nutzt sie für die Steuerung der thermischen Prozesse. Zum Einsatz kommt die Lösung bei der Verbrennung von Abfällen und Sondermüll, der Herstellung von Zement und beim Recycling von Zink.
Da Programmierfehler oder Schwachstellen im Code zu schwerwiegenden Umweltbelastungen führen könnten, entwickelte ci-tec die kritischen Teile der Software mit Ada. Die auf Zuverlässigkeit und Sicherheit ausgelegte Programmiersprache hilft dabei, Fehler wie Buffer-Overflows zu vermeiden. Durch die umfangreichen Schnittstellen zu anderen Sprachen lässt sie sich zudem einfach mit Modulen kombinieren, die in C oder C++ geschrieben sind. inspect pro control besteht aus rund 1,5 Millionen Codezeilen, wovon über 25 Prozent in Ada geschrieben wurden.
Die ursprünglichen Ada-Komponenten entwickelte ci-tec mit dem Toolset eines anderen Anbieters. Bei der Planung eines Upgrades entschied sich das Unternehmen dann aber, die Software mit GNAT Pro Developer zu portieren. Ausschlaggebend dafür waren die modernen Build-Tools und die integrierte Entwicklungsumgebung von GNAT Pro sowie die professionellen Support Services von AdaCore und die Garantie, dass der Anbieter langfristig hinter der Programmiersprache Ada stehen wird. Im Zuge des Upgrades nutzen die Entwickler von ci-tec Werkzeuge wie den Dokumentationsgenerator GNATdoc für Reviews der Codestruktur und das grafische Toolkit GtkAda zur Implementierung der Benutzeroberfläche. inspect pro control läuft auf Windows, ci-tec zieht derzeit aber auch Portierungen auf Linux-Varianten in Betracht.
„Ada ist eine hervorragende Wahl für industrielle Prozesssoftware und wir freuen uns sehr darüber, dass inspect pro control von den zahlreichen Vorteilen der Programmiersprache profitiert“, sagt Jamie Ayre, Commercial Director bei AdaCore. „GNAT Pro Developer ist die ideale Toolsuite, um ein System zu portieren und upzugraden. ci-tec kann sich dabei darauf verlassen, dass AdaCore langfristig die Ada-Programmiersprache und die GNAT-Pro-Technologie unterstützen wird.“
„Unsere Kunden benötigen von uns Systeme, die rund um die Uhr verfügbar sind und zuverlässig laufen“, so Dr. André Dittrich, Leiter Industrieprojekte bei ci-tec. „Um diesen hohen Anforderungen gerecht zu werden, setzen wir seit unserem Start im Jahr 2000 und der ersten Version von inspect pro control auf die Programmiersprache Ada. Mit AdaCore und der GNAT Pro Developer Toolsuite sind wir jetzt perfekt für verschiedene moderne Plattformen ausgestattet und können die Zukunftsfähigkeit unserer Software sicherstellen.“
Diese Presseinformation kann auch unter www.pr-com.de/adacore abgerufen werden.
Weitere Infos zu dieser Pressemeldung:
Unternehmensinformation / Kurzprofil:
AdaCore
Pamela Trevino
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
Über ci-tec
Die ci-tec GmbH in Karlsruhe stellt Systeme zur Optimierung thermischer Prozesse sowie sensorbasierte Analyseverfahren her. Als Partner sowohl der Forschung als auch der Industrie entwickelt das Unternehmen nachhaltige und innovative Lösungen, die den neuesten Stand der Wissenschaft in einen praxistauglichen industriellen Einsatz überführt. Das Ergebnis sind langjährige Kundenbeziehungen zu Industrieunternehmen weltweit, die ihre Anlagen mit den Lösungen von ci-tec klimafreundlicher, ressourcenschonender, effizienter und damit auch rentabler machen. Weitere Informationen unter www.ci-tec.de
Über inspect pro control
inspect pro control erfasst und analysiert Bilddaten, die durch den Einsatz von leistungsfähigen Infrarot-Kameras in Zement-Drehrohranlagen gewonnen werden. Aus den vorverarbeiteten Bilddaten berechnet das System die charakteristischen Kenngrößen des Verbrennungsverhaltens, welche zur regelungstechnischen Optimierung verarbeitet werden. Die neuen Parameter wie Regelgrößen übermittelt inspect pro control direkt an den Brenner beziehungsweise das Prozessleitsystem und visualisiert und archiviert diese gleichzeitig.
Ü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
Datum: 03.12.2018 - 11:51 Uhr
Sprache: Deutsch
News-ID 1676480
Anzahl Zeichen: 3183
Kontakt-Informationen:
Ansprechpartner: Andrea Groß
Stadt:
Paris
Telefon: +49-89-59997-803
Kategorie:
Internet
Meldungsart: Erfolgsprojekt
Versandart: Veröffentlichung
Freigabedatum: 03.12.2018
Diese Pressemitteilung wurde bisher 421 mal aufgerufen.
Die Pressemitteilung mit dem Titel:
"ci-tec vertraut auf die Entwicklungsumgebung GNAT Pro Ada"
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
Schulung: Kommunikation & Rhetorik im Vertrieb ...
Unser Seminar schult Sie u.a. in den Bereichen Erfolgs-Instrumente für die Kommunikation im Vertrieb, Preiserhöhungen erfolgreich durchsetzen & Elegant mit schwierigen Kunden umgehen Ihr Nutzen: > Die 7 effektivsten Kommunikationstechniken > Wie bekomme ich den "Draht'
WLAN – DSL Internet ohne Schufa ...
Mit negativen Schufa-Einträgen haben die Betroffenen Schwierigkeiten, an günstiges DSL zu kommen. Doch Internet trotz Schufa ist machbar. Wir zeigen Ihnen, wie. Wie auch bei anderen Dingen, wie zum Beispiel beim Gas- oder Stromlieferanten, so gibt es DSL ohne Schufa. Doch wer Internet trotz Sc
IT-Gefahr zu Weihnachten: Jetzt wird’s persönlich! ...
München, 03. Dezember 2018 – In wenigen Wochen ist Weihnachten. Stellen Sie sich folgendes vor: Sie wollen ein Familienmitglied mit einem neuen Laptop überraschen. Um die richtige Marke zu finden, fragen Sie Ihre Social-Media-Freunde. Sie erhalten eine E-Mail von einem Kollegen, der häufig Ihre
Internet mit WLAN ohne Schufa-Prüfung ...
Doch wie kann, trotz negativer Schufa, das Internet genutzt werden? Denn ohne Internetanschluss bleiben den betroffenen Menschen das öffentliche Leben und wichtige Informationen verschlossen. Erledigungen bei öffentlichen Ämtern, der Arbeitssuche oder Bewerbungen sind heutzutage fast nur noch onl
