Pressemitteilungen zu Ada

… GPU-Beschleunigung, Multikamera-Anbindung und lüfterloses Chassis-Design kombiniert.Im Kern basiert der lüfterlose Hochleistungsrechner GT-92GC auf Intels Plattform der 12. bis 14. Generation (LGA1700-Sockel) und unterstützt CPUs mit 35 W oder 65 W TDP. Für GPU-Aufgaben ist eine NVIDIA RTX 2000 ADA an Bord, die 70 W Leistung ohne aktive Kühlung bietet. Der Rechner verzichtet vollständig auf Lüfter und nutzt stattdessen ein ausgefeiltes Heatpipe- und Kühlrippen-Design. Damit arbeitet das System zuverlässig zwischen -25 und +55 °C (bei Konfiguration mit …

… verbessern und beschleunigen. Für ausreichend Rechenleistung sorgen CPUs der 14. Generation mit bis zu 24 Kernen sowie bis zu 128GB ECC RAM. Für GPU-lastige Anwendungen wie machine vision und KI nimmt der I4U3000 wahlweise ein oder zwei Grafikkarten vom Typ nVidia RTX2000 Ada oder RTX4000 Ada auf und kommt so auf bis zu 855 TOPS. Neben vielen weiteren Schnittstellen verfügt das System über 2x 2.5GLAN Ports, insgesamt 8x USB sowie ein eigenes IPMI Interface. Ein leistungsfähiges und temperaturgeregeltes Kühlsystem sorgt für sicheren und leisen Betrieb. …

… Technologies , Inc. (NASDAQ-Kürzel: AKAM), das Cloudunternehmen, das das digitale Leben unterstützt und schützt, hat sein wachsendes Cloudportfolio um ein neues medienoptimiertes Angebot auf Basis von NVIDIA-GPUs erweitert. Mit der NVIDIA-GPU RTX 4000 der Ada-Generation sorgt der neue cloudbasierte Service für eine höhere Produktivität und Wirtschaftlichkeit in Unternehmen der Medien- und Entertainmentbranche, die Videoinhalte schnell und effizient verarbeiten müssen. Interne Benchmarks von Akamai haben gezeigt, dass die GPU-basierte Codierung …

Das Wichtigste in KürzeAm 10. Dezember wird der Mathematikerin Ada Lovelace gedachtSie hat das erste theoretische Computerprogramm der Welt geschaffenAls Frau erwarb sie ihre Fähigkeiten durch HeimunterrichtInnovation kann aus ungeahnten Ecken kommen Manch spannende Fakten der Wissenschaftsgeschichte sind im Dickicht der Historie aus dem Fokus geraten. Dazu gehört auch die Tatsache, dass das erste Computerprogramm der Welt von einer Frau geschrieben wurde. Ada Lovelace wurde am 10. Dezember 1815 in London geboren. Damals durften Frauen noch nicht …

… referierte über „Cypress überall – Ein einziges Automatisierungswerkzeug für alle Teststufen?!“. „Was wir (Tester) zu nachhaltiger Software-Entwicklung beitragen können“ zeigten Markus Lachenmayr und Florian Krautwurm. Um „How to get Feedback when your customers are your colleagues?” ging es bei Ada Pohl. Zudem gilt zu erwähnen: „Wie bei Dolby die CI trotz ständig wachsender Test-Suite immer unter 10min bleibt“ von Sven Amann und Lars Kempe.Kurzprofil: Richard Seidl Richard Seidl wurde 1980 in Wien geboren. Schon früh befasste er sich mit digitalen …

… Die neue Version, Node.js 20, markiert einen bedeutenden Meilenstein in der Entwicklung der Plattform und bietet Entwicklern spannende neue Funktionen und eine verbesserte Leistung.Eines der wichtigsten Highlights von Node.js v20 ist die Integration der neuesten Version des URL-Parsers Ada. Dieser Parser zeichnet sich durch seine Fähigkeit aus, die Erfahrung der Entwickler bei der Arbeit mit URLs in ihren Anwendungen zu verbessern. Das Update enthält auch verschiedene Verbesserungen der Dokumentation, die sicherstellen, dass die Benutzer Zugang zu …

…  Tickets gibt es online unter: https://pretix.eu/qurator/2022/ HintergrundQurator wurde vom Bundesministerium für Bildung und Forschung (BMBF) im Rahmen des Programms „Unternehmen Region“ für drei Jahre gefördert. Die zehn Bündnispartner sind: DFKI GmbH, Fraunhofer FOKUS, 3pc GmbH, Ada Health GmbH, ART+COM AG, Condat AG, Semtation GmbH, Ubermetrics GmbH, Wikimedia Deutschland e.V. sowie die Staatsbibliothek zu Berlin.Gerne steht Ihnen unser Vorstandsvorsitzender Armin Berger auch für ein vertiefendes Interview zu den unternehmensstrategischen Zielen …

… Berichterstattung wenden Sie sich für eine Presseakkreditierung direkt an Stefan Grill ().Hintergrund QURATOR wird vom Bundesministerium für Bildung und Forschung (BMBF) im Rahmen des Programms „Unternehmen Region“ für drei Jahre gefördert. Die zehn Bündnispartner sind: DFKI GmbH, Fraunhofer FOKUS, 3pc GmbH, Ada Health GmbH, ART+COM AG, Condat AG, Semtation GmbH, Ubermetrics GmbH, Wikimedia Deutschland e.V. sowie die Staatsbibliothek zu Berlin.Weitere Informationen zum Projekt und den Bündnispartnern finden Sie auf unserer Website: https://qurator.ai

… Berichterstattung wenden Sie sich für eine Pressakkreditierung direkt an Stefan Grill ().Hintergrund QURATOR wird vom Bundesministerium für Bildung und Forschung (BMBF) im Rahmen des Programms „Unternehmen Region“ für drei Jahre gefördert. Die zehn Bündnispartner sind: DFKI GmbH, Fraunhofer FOKUS, 3pc GmbH, Ada Health GmbH, ART+COM AG, Condat AG, Semtation GmbH, Ubermetrics GmbH, Wikimedia Deutschland e.V. sowie die Staatsbibliothek zu Berlin.Weitere Informationen zum Projekt und den Bündnispartnern finden Sie auf unserer Website: https://qurator.ai

Paris, 13. Oktober 2020 - HITACHI Rail STS hat sich für die GNAT-Pro-Software-Entwicklungsumgebung von AdaCore für seine neue Eisenbahnsicherheitsplattform entschieden. AdaCore, ein Anbieter von Softwareentwicklungs- und Verifikations-Tools, hat verkündet, dass HITACHI Rail STS (Signalling and Transportation Systems) die Ada-Entwicklungsumgebung GNAT Pro für ARM-Prozessoren ausgewählt hat. Ziel ist die Modernisierung seiner Eisenbahnsicherheitsplattform CSD (Calculator of available safety), um den sicheren Verkehr von Zügen auf Bahnstrecken und …

Paris, 8. September 2020 – Airbus Helicopters hat die Toolsuite GNAT Pro Ada von AdaCore für die Entwicklung eines unbemannten Luftfahrtsystems basierend auf dem Echtzeitbetriebssystem VxWorks 6.x Cert für PowerPC ausgewählt. Airbus Helicopters hat sich für die GNAT-Pro-Toolsuite von AdaCore, einem Anbieter von Softwareentwicklungs- und Verifikationstools und der Programmiersprache Ada für die Entwicklung neuer Softwarekomponenten, für das Projekt des VSR700-Prototypen entschieden. VSR700 ist ein taktisches unbemanntes Luftfahrtsystem, das weltweit …

Paris, 28. Juli 2020 - AdaCore gibt den Startschuss für seinen fünften Programmierwettbewerb „Make with Ada“. Der Wettbewerb beginnt am 31. Juli. Den Gewinnern winken Geldpreise in Höhe von über 9.000 US-Dollar für die innovativsten Projekte im Bereich eingebetteter Systeme, die mit Ada oder SPARK entwickelt wurden. In den vergangenen vier Jahren hat der von AdaCore geförderte Wettbewerb überzeugende Software-Engineering-Projekte hervorgebracht, die Teilnehmer aus aller Welt entwickelt haben. Der Wettbewerb richtet sich sowohl an erfahrene als …

Paris, 23. Juni 2020 – Formale Methoden und die Toolsuite SPARK Pro von AdaCore unterstützen den Automobilzulieferer JTEKT bei der Reduzierung der Entwicklungs- und Verifikationskosten für sichere autonome Fahrsysteme. JTEKT, ein internationaler Hersteller von elektrischen Servolenkungssystemen für Kraftfahrzeuge mit Hauptsitz in Japan, setzt die AdaCore SPARK Pro-Toolsuite und den GNAT Pro Common Code Generator (CCG) ein, um die Entwicklung von Software für sicherheitskritische Servolenkungssysteme zu unterstützen. Mit Hilfe des Mentorenprogramms …

Paris, 3. März 2020 – AdaCore hat heute die Gewinner seines vierten jährlichen „Make with Ada“-Programmierwettbewerbs für Embedded-Projekte bekannt gegeben. Ziel von „Make with Ada" ist zu zeigen, wie die Sprachen Ada und SPARK die Codequalität moderner Embedded-Systeme signifikant verbessern können, und zwar ohne dass Entwickler, die mit diesen Sprachen nicht vertraut sind, einen hohen Lernaufwand betreiben müssen. Der Wettbewerb fand zwischen dem 10. September 2019 und dem 31. Januar 2020 statt und verzeichnete 26 Einreichungen aus aller Welt. …

Paris, 18. Februar 2020 - Der TÜV SÜD hat drei zentrale Softwareentwicklungs- und Verifizierungs-Tools von AdaCore gemäß ISO 26262 und IEC 61508 qualifiziert. Damit belegt das Unternehmen, dass seine Technologien auch den hohen Sicherheitsanforderungen der Automobilindustrie gerecht werden. Die ISO 26262 ist eine ISO-Norm für sicherheitsrelevante elektrische und elektronische Systeme in Kraftfahrzeugen. Die IEC 61508 ist eine internationale Normenserie zur Entwicklung von elektrischen, elektronischen und programmierbaren elektronischen Systemen, …

… Stimmassistenten, die gesprochene Sprache in Text und anschließend in Computerbefehle umwandeln, bis hin zur automatisierten Bild- und Videoanalyse wie beispielsweise im Bereich des autonomen Fahrens oder die Personen- und Objekterkennung auf Facebook, die täglich millionenfach Metadaten für den Empfehlungsalgorithmus und die Generierung von Bildbeschreibungen produziert. Grenzen und Chancen der KI Obgleich mit weiteren Fortschritten auf dem Gebiet des Deep Learning zu rechnen ist, stoßen diese KI-Verfahren auch an ihre Grenzen. Nach wie vor existiert …

… damit, mediale Inhalte und organisationsinternes Wissen effizient und produktiv zu managen. Dazu Armin Berger, Bündnissprecher QURATOR und Geschäftsführer der 3pc GmbH Neue Kommunikation: “Die Suche relevanter Informationen in heterogenen Quellen, die Anreicherung digitaler Assets mit Metadaten oder die thematische Verknüpfung von Inhalten für Storytelling - all das sind Kuratierungsaufgaben von Wissensarbeitern, die einen hohen, manuell oft nicht mehr leistbaren Aufwand erzeugen. Hier setzt unser Projekt an, indem wir KI-basierte Verfahren zum Beispiel …

Paris, 24. September 2019 – Die European Space Agency (ESA) hat Adacore ausgewählt, um eine hochwertige Multitasking-Lösung für die Raumschiff-Softwarentwicklung zur Verfügung zu stellen. Laufende und künftige ESA-Projekte werden damit unterstützt. Als Teil des Vertrags mit der ESA hat Adacore eine vorqualifizierte Version der Ravenscar SFP (Small Footprint) Library implementiert, einer konfigurierbaren Ada-Runtime-Bibliothek. Sie enthält das Ravenscar-Profil, erlaubt kundenspezifische Anpassungen für spezifische Plattformen und Fähigkeiten und …

Paris/New York, 10. September 2019 - AdaCore hat den Start seines vierten jährlichen Programmierwettbewerbs „Make with Ada“ vorgestellt. Ziel ist das Design und die Implementierung einer Embedded-Applikation, die auf Ada oder SPARK als primäre Programmiersprache beruht. Teilnehmer müssen zeigen, dass ihre Anwendungen alle Voraussetzungen des Wettbewerbs erfüllen und dass sie gängige Software-Engineering-Verfahren eingesetzt haben. Die Gewinner dürfen sich auf Preise von mehr als 8.000 US-Dollar freuen. Der Wettbewerb startet am 10. September …

… Informationen zum Projekt und den Bündnispartnern finden Sie auf unserer Website: https://qurator.ai Hintergrund QURATOR wird vom BMBF im Rahmen des Programms „Unternehmen Region“ für drei Jahre gefördert. Die 10 Bündnispartner sind: DFKI GmbH, Fraunhofer FOKUS, 3pc GmbH, Ada Health GmbH, ART+COM AG, Condat AG, Semtation GmbH, Ubermetrics GmbH, Wikimedia Deutschland e.V. sowie die Staatsbibliothek zu Berlin. Gerne steht Ihnen unser Vorstandsvorsitzender Armin Berger auch für ein vertiefendes Interview zu den unternehmensstrategischen Zielen des …

Paris/Nürnberg, 26. Februar 2019 - Die Programmiersprachen Ada und SPARK von AdaCore helfen, die Kosten für die Entwicklung und Verifizierung sicherheitskritischer Software zu reduzieren. AdaCore, ein führender Anbieter von Softwareentwicklungs- und Verifikationstools, arbeitet ab sofort mit NVIDIA bei der Nutzung der Programmiersprachen Ada und SPARK für die Implementierung ausgewählter sicherheitskritischer Firmware zusammen. Diese wird in Anwendungen eingesetzt, die strenge Safety- und Security-Funktionen erfordern, beispielsweise beim automatisierten …

… Anwendungen auf der gleichen Hardware laufen. PikeOS gewährleistet dabei durch strikte Trennung von Applikationen sowohl die funktionale Sicherheit als auch die IT Security. Highlight des Messeauftritts ist eine reale Avionik-Anwendung von Thales auf Basis von PikeOS - ein ADA-basiertes Flight Management System für Flugzeuge, das trotz seiner Komplexität eine DAL-B-Zertifizierung nach der Norm DO-178C besitzt. Auf der Messe läuft es auf einem NXP T2080 SoC mit den Gastbetriebssystemen ARINC-653, ADA und PikeOS. Die Ethernet-Kommunikation mit anderen …

Paris, 29. Januar 2019 - Durch das Engagement von AdaCore in der RISC-V Foundation stehen die GNAT Pro und GNAT Community Toolchains sowohl für professionelle als auch für Hobby-Entwickler zur Verfügung. AdaCore ist ab sofort Mitglied in der RISC-V Foundation, einer gemeinnützigen Organisation, die sich zum Ziel gesetzt hat, die kostenlose und offene RISC-V-Befehlssatzarchitektur (Instruction Set Architecture, ISA) zusammen mit ihrem Hard- und Software-Ökosystem zu standardisieren und zu fördern. RISC-V ist ein offener Befehlssatz, der ursprünglich …

Paris, 8. Januar 2019 - Das italienische Raumfahrtunternehmen AVIO implementiert die On-Board-Software für die Vega-C-Trägerrakete mit der Entwicklungsumgebung GNAT Pro Assurance von AdaCore. Die von AVIO mit GNAT Pro Assurance entwickelte Flugsoftware wird von der Europäischen Weltraumorganisation ESA gefördert. Das eingebettete harte Echtzeitsystem dient der Lenkung, Navigation und Steuerung der Vega-C-Rakete. Die Cross-Umgebung von GNAT Pro Assurance ermöglicht es AVIO, dabei eine sicherheitskritische und zertifizierte Anwendung zu erstellen. Als …

Paris, 3. Dezember 2018 - Das Karlsruher Softwareunternehmen ci-tec nutzt Entwicklungs- und Verifikationswerkzeuge von AdaCore für ein Upgrade seiner sicherheitskritischen Lösung zur Optimierung industrieller Verbrennungsprozesse. 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 …

… sind. Hintergrund QURATOR wird vom BMBF im Rahmen des Programms Unternehmen Region für drei Jahre gefördert. Zu den zwölf Bündnispartnern gehören die Berliner Forschungszentren DFKI und Fraunhofer FOKUS, Ada Health, ART+COM, Condat, kreuzwerker, RiseML, Semtation und Ubermetrics sowie Wikimedia Deutschland und die Stiftung Preußischer Kulturbesitz (Staatsbibliothek zu Berlin ). https://3pc.de/forschung/qurator/ https://3pc.de/news/medieninformationen/kuenstliche-intelligenz-fuer-die-wissensarbeit-forschungsprojekt-qurator-erfolgreich-gestartet/

… Wissen sowie Lösungen im Bereich Corporate Communication und intelligente Geschäftsprozessmodellierung. Hintergrund QURATOR wird vom BMBF im Rahmen des Programms „Unternehmen Region“ für drei Jahre gefördert. Die zwölf Bündnispartner sind: DFKI GmbH, Fraunhofer FOKUS, 3pc GmbH, Ada Health GmbH, ART+COM AG, Condat AG, kreuzwerker GmbH, RiseML GmbH, Semtation GmbH, Ubermetrics GmbH Wikimedia Deutschland e.V. sowie die Staatsbibliothek zu Berlin. Weitere Informationen zum Projekt und den Bündnispartnern finden Sie auf unserer Website: https://xinnovations.org/projekte/wachstumskern-qurator Gerne …

Paris, 17. Oktober 2018 - Preise von über 8.000 US-Dollar können Entwickler mit eingebetteter Software gewinnen. Auf der Arm TechCon, Stand #1228, gab AdaCore den Startschuss für den dritten Programmierwettbewerb "Make with Ada". Auch in diesem Jahr sind Entwickler auf der ganzen Welt aufgerufen, sich an der Erstellung innovativer Embedded-Anwendungen mit den Programmiersprachen Ada und SPARK zu versuchen. Mit dem nun schon zum dritten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-Systemen, …

Paris / New York / München, Avionics Electronics Europe Conference, 19. Juni 2018 - Die Entwicklungsumgebung GNAT Pro Ada und das Echtzeitbetriebssystem VxWorks bieten jetzt 32-Bit- und 64-Bit-Unterstützung auf den neuesten Arm-, Intel- und Power-Multicore-Prozessoren. Die GNAT-Pro-Entwicklungsumgebung von Adacore steht ab sofort auf führenden Multicore-Hardware-Plattformen für das Echtzeitbetriebssystem Wind River VxWorks 7 zur Verfügung. Die Version GNAT Pro 18 unterstützt jetzt VxWorks 7 auf den Arm- und Power-Architekturen mit 64 Bit und der …

… dem GNAT-Pro-Toolset können Entwickler Softwarekomponenten in Windows-, Linux-, LynxOS-178- und LynxSecure-Applikationspartitionen einstellen. Unternehmen, die den LynxSecure Separation Kernel Hypervisor von Lynx Software Technologies verwenden, können ab sofort die Vorteile von GNAT Pro von AdaCore in einer Vielzahl von Anwendungsszenarien nutzen und ihre Produktivität mit Ada maximieren. Mögliche Use Cases sind die Code-Migration von PowerPC LynxOS-178 auf Intel LynxOS-178 unter LynxSecure, die Erstellung sicherer und kompakter Bare-Metal-LynxSecure-Applikationen …

Detroit/Paris, 6. Juni 2018 - Die innovativen Softwareentwicklungs- und Verifikationswerkzeuge von AdaCore unterstützen Unternehmen dabei, die Sicherheit automobiler, autonomer und innovativer Fahrerassistenzsysteme zu steigern. Gleichzeitig erleichtern sie Technologie-Upgrades und die Umsetzung neuer Anforderungen. AdaCore, mit Sitz in New York und Paris, präsentiert am 6. und 7. Juni 2018 auf der TU-Automotive Detroit am Stand B147 seine neuesten Software-Entwicklungs- und Verifikationsumgebungen für sicherheitskritische Anwendungen. Die Mitarbeiter …

Paris, 23. Mai 2018 - Das Labor für Atmosphären- und Weltraumphysik (LASP) der Universität von Colorado verwendet an Stelle von C die Programmiersprache Ada für die Pathfinder-Mission des Climate Absolute Radiance and Refractivity Observatory (CLARREO) der NASA. Das Labor für Atmosphären- und Weltraumphysik (LASP) der Universität von Colorado wird die Programmiersprache Ada und die Ada-Entwick­lungsumgebung GNAT Pro für ARM-Cortex im Rahmen der Pathfinder-Mission des Climate Absolute Radiance and Refractivity Observatory (CLARREO) der NASA einsetzen. …

Paris, 15. Mai 2018 – AdaCore und BlackBerry haben eine Partnerschaft geschlossen. AdaCore unterstützt mit seiner Softwareentwicklungs-Produktlinie GNAT Pro ab sofort das Betriebssystem QNX von BlackBerry. Zu den Softwaretools der GNAT-Pro-Reihe von AdaCore, die BlackBerry QNX unterstützen, zählen GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer. Durch den Support für QNX baut AdaCore die breite Palette an eingebetteten Plattformen für die Nutzer der Programmiersprache Ada weiter aus. Gleichzeitig steht C-Entwicklern für QNX ein einfacher …

Paris/Nürnberg, 27. Februar 2018 – Die Software-Entwicklungs- und Verifikations-Tools von AdaCore unterstützen das schwedische Medizintechnik-Unternehmen Scandinavian Real Heart dabei, hohe Zuverlässigkeit und Sicherheit für lebensrettende medizinische Geräte zu gewährleisten. Scandinavian Real Heart (http://realheart.se/en) nutzt zur Erstellung zuverlässiger Embedded-Software für sein innovatives „Total Artificial Heart“ mehrere Entwicklungs-Tools (www.adacore.com/products) von AdaCore. Das schwedische Medizintechnik-Unternehmen imitiert die Funktionsweise …

Paris, 31. Januar 2018 – AdaCore, Spezialist für Softwareentwicklungs- und -verifikations-Tools stellt Version 18.1 von GNAT Pro, CodePeer, SPARK Pro und QGen vor. Diese neueste Version erweitert die robuste und funktionsreiche Software-Suite um neue Tools und Funktionen und bedeutet die erste Veröffentlichung von GNAT Pro für drei verschiedene Produktlinien: GNAT Pro Assurance, GNAT Pro Enterprise und GNAT Pro Developer. Die Ada-Entwicklungsumgebung GNAT Pro bietet mit Version 18.1 neue Tools, verbesserte Code-Effizienz, mehrere neue Targets und …

Paris, 15. November 2017 – AdaCore stellt drei neue Produktlinien für seine GNAT-Pro-Technologie vor. Damit trägt das Unternehmen den wachsenden Anforderungen der Anwender und dem zunehmenden Interesse an Ada aus traditionell C-basierten Anwendungsbereichen Rechnung. Mit drei neuen Produktlinien von GNAT Pro, dem Flaggschiff der Ada-Entwicklungsumgebung, stellt AdaCore den Ada-Entwicklern weitere leistungsfähige Funktionen zur Verfügung und erleichtert den Einstieg in die Programmiersprache Ada. • GNAT Pro Enterprise, eine voll funktionsfähige …

… Chancen der digitalen Kuratierungstechnologien umfassend sichtbar zu machen. Die ReferentInnen sind: Armin Berger, 3pc GmbH Neue Kommunikation; Dr. Andreas Bienert, Staatliche Museen zu Berlin; Frederick Fischer, piqd GmbH; Prof. Dr. Martin Haase, Universität Bamberg; Henry Hoffmann, Ada Health GmbH; Clemens Klein-Robbenhaar, EsPresto AG; Radoslaw Oldakowski, Condat AG; Prof. Dr. Adrian Paschke, Fraunhofer FOKUS/FU Berlin; Dr. Christof Peltason, Condat AG; Henning Peters, Rise ML; Lydia Pintscher, Wikimedia Deutschland e. V.; Dr. Joachim Quantz, …

Paris, 15. Mai 2017 – Bis zu 5.000 Euro können Entwickler mit eingebetteter Software im Programmierwettbewerb "Make with Ada" gewinnen. Mit dem zum zweiten Mal durchgeführten Wettbewerb demonstriert AdaCore die Leistungsfähigkeit und Zuverlässigkeit von Embedded-Systemen, die mit der Programmiersprache Ada entwickelt wurden. AdaCore hat zum zweiten Mal seinen Programmierwettbewerb "Make with Ada" gestartet. Das Unternehmen will die Embedded Software Community damit zum verstärkten Einsatz der Programmiersprachen Ada und SPARK motivieren. Bis zum …

Paris, 22. März 2017 – AdaCore hat eine kostenlose Broschüre mit dem Titel "AdaCore Technologies for DO-178C / ED-12C" vorgestellt. Sie befasst sich mit der Gruppe von Standards DO-178C / ED-12C und geht auf unterschiedliche Entwicklungsszenarien ein. Die neue Publikation von AdaCore über die Gruppe von Standards DO-178C / ED-12C – den "Core" DO-178C / ED-12C-Standard und seine Technologieerweiterungen – wurde von Quentin Ochem von AdaCore und dem Zertifizierungsexperten Frédéric Pothon verfasst. Sie zeigt, wie die Ada- und SPARK-Sprachen in Verbindung …

Paris, 22. März 2017 – AdaCore hat die Entwicklungsumgebung GNAT Pro 17.1 für das Echtzeit-Betriebssystem PikeOS von SYSGO freigegeben. Mit GNAT Pro 17.1 erhalten Ada-Nutzer, die für PikeOS entwickeln, eine Reihe von Produktverbesserungen. Dazu gehören Upgrades für die Codegenerator- und Debugger-Technologien – nach GCC 6 beziehungsweise GDB 7.10 –, ein besseres Elaboration-Order-Handling, ein verbessertes Stubbing in GNATtest und eine optimierte Debugger-Unterstützung in der GNAT Programming Studio (GPS) IDE. AdaCore und SYSGO, mit Sitz im rheinhessischen …

Paris, 14. März 2017 - AdaCore hat die neuesten Versionen seiner vier wichtigsten Produkte vorgestellt: GNAT Pro 17.1, die Entwicklungsumgebung für Ada und C auf nativen und Cross-Plattformen, CodePeer 17.1, ein statisches Analyse-Tool für Ada, QGen 17.1, das modellbasierte Entwicklungs- und Verifikations-Toolset, und SPARK Pro 17.1, ein Verifikationstool für hochintegrierte Software. GNAT Pro verfügt über ein voll funktionsfähiges Build-Toolset für Ada und C, eine integrierte Entwicklungsumgebung – das GNAT Programming Studio (GPS) und die Eclipse-basierte …

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-, 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 …

Paris, 28. November 2016 – Mit seinem Wettbewerb "Make with Ada" fördert AdaCore die Entwicklung von Embedded-Ada-Software durch Programmierer, die zuvor keine Erfahrung mit der Programmiersprache Ada hatten. Im Rahmen des Wettbewerbs von 2016 wurden drei Entwickler mit Preisen von bis zu 5.000 Euro ausgezeichnet. AdaCore hat auf dem ESE-Kongress in Sindelfingen die Gewinner seines Programmierwettbewerbs für Projekte, die auf den Prozessoren ARM Cortex M oder R implementiert wurden, bekannt gegeben. "Make with Ada" soll künftig jedes Jahr stattfinden …

Strategien und Denkanstöße für langfristigen Erfolg digitaler Lösungen und Services Das Ada Lovelace Festival ist ein Treffpunkt für IT- und Tech-Professionals von heute und morgen. In Berlin werden am 13. und 14. Oktober die neuesten Branchentrends, Forschungsergebnisse und Erfolgsgeschichten von Frauen im IT-Business thematisiert. Der Humanizing Experience-Workshop von Triplesense Reply findet am 13. Oktober von 14:00 bis 15:30 Uhr statt. Frankfurt, 4. Oktober 2016 - Triplesense Reply, Digitalagentur und User Experience-Spezialist innerhalb der …

… Arbeit insbesondere fur Frauen so unattraktiv wurde? Denn das war in der Vergangenheit einmal anders. Mathematik und Naturwissenschaften wurden vielfach von Frauen betrieben. Der erste Programmierer der Welt war im 19. Jahrhundert dann auch eine Frau - die Britin Ada Lovelace. Bis Mitte des letzten Jahrhunderts waren es vor allem Frauen, die die logischen Zusammenhange komplexer Maschinen verstanden, ohne die eine Anwendung unmoglich gewesen ware. Irgendwann in den letzten Jahrzehnten haben Manner diese Domane ubernommen. Vor allem kulturelle Denkweisen, …

Paris, 7. Juli 2016 - AdaCore hat die Broschüre "AdaCore Technologies for CENELEC EN 50128:2011" (http://adacore.com/en-50128) vorgestellt. Sie fasst auf 70 Seiten den Standard EN 50128 für Eisenbahn-Software zusammen und erläutert, wie Entwickler die Programmiersprache Ada und die Produkte von AdaCore verwenden können, um die entsprechenden Anforderungen über den gesamten Software-Lebenszyklus zu erfüllen. Die Broschüre präsentiert folgende Technologien im Kontext des für die Entwicklung von Eisenbahn-Software wichtigen Standards EN 50128: • …

… Engineering-Dienstleister H&D International als Vertriebsleiter tätig. Dort war er vor allem für die Umsetzung neuer Geschäftsmodelle im Automotive-Sektor und den Aufbau eines Key Account Managements verantwortlich. Zuvor war Ralf Büning bereits bei Akamai sowie bei T-Systems und ADA (heute Ricoh) in leitenden Vertriebspositionen tätig. Jürgen Hatzipantelis, Leiter der Region Central Europe von Devoteam: „Der digitale Wandel ist in vollem Gange. Das Tempo der Digitalen Transformation stellt Unternehmen vor hohe Herausforderungen, insbesondere erreicht die Digitale …

Paris und Nürnberg, 23. Februar 2016 – AdaCore zeigt auf der Embedded World 2016 in Nürnberg zwei neue Produktversionen: QGen, ein Werkzeug für die modellbasierte Entwicklung und Verifikation sicherheitskritischer Software ist nun in Version 2.1 verfügbar; die Entwicklungsumgebung GNAT Pro für die Programmiersprache Ada liegt jetzt in Version 7.4 vor. AdaCore QGen 2.1 AdaCore, Anbieter von Entwicklungs- und Verifizierungs-Tools für verlässliche und sichere Software, stellt auf der Embedded World 2016, die vom 23. bis 25. Februar 2016 in Nürnberg …

Konferenz und Festival bieten einzigartige Plattform für Frauen in der IT Branche • arvato Systems ist Sponsor des „Ada Lovelace Festivals“ am 27. und 28. Oktober 2015 in Berlin • Der Top-Arbeitgeber im IT-Umfeld informiert über Karrierechancen für Frauen (arvato Systems) Gütersloh -- arvato Systems präsentiert sich auf der ersten europäischen Crossover-Plattform für alle Frauen im IT-Business. Inspirierende Keynotes von erfahrenen Expertinnen und innovativen Vordenkerinnen sowie mehr als 10 Workshops, Sessions, Think-Tanks und Mentoring Classes …