Teilen
- Pressemitteilung BoxID 322471
aicas präsentiert Veriflux - die umfassende Datenflussanalyse für Java
(PresseBox) (Karlsruhe, )
Erstmals zur Embedded World wird die aicas GmbH ein vollständig neues Analysewerkzeug für die formale Überprüfung von Java-Programmen vorstellen. VeriFlux bietet eine vollautomatische, statische Code-Analyse sowohl für vollständige Applikationen, als auch für frei definierbare Programmteile. Für eine Analyse sind keine Änderungen in der Applikation selbst notwendig. Fehlerquellen ( Laufzeitfehler, Threadbezogene Fehler, ...) werden grafisch im Code hervorgehoben.
"Obwohl VeriFlux von vornherein für sicherheitskritische Anwendungen konzeptioniert wurde, kann auch die Entwicklung von 'normalen' Java-Anwendungen davon profitieren." sagt Dr. James Hunt, Geschäftsführer der aicas GmbH: " Eine frühe Fehlerbeseitigung bedeutet weniger aufwändige Fehler und Tests, und führt zu einer drastischen Reduzierung von Entwicklungskosten".
Um sich persönlich von den Neuerungen zu überzeugen, bietet aicas allen Interessenten die Möglichkeit einer kostenlosen Evaluierung.
"Obwohl VeriFlux von vornherein für sicherheitskritische Anwendungen konzeptioniert wurde, kann auch die Entwicklung von 'normalen' Java-Anwendungen davon profitieren." sagt Dr. James Hunt, Geschäftsführer der aicas GmbH: " Eine frühe Fehlerbeseitigung bedeutet weniger aufwändige Fehler und Tests, und führt zu einer drastischen Reduzierung von Entwicklungskosten".
Um sich persönlich von den Neuerungen zu überzeugen, bietet aicas allen Interessenten die Möglichkeit einer kostenlosen Evaluierung.
Über die aicas realtime GmbH
aicas ist der führende Anbieter von Echtzeit-Java für Embedded Systems. Zusätzlich bietet die Firma auch Analyse- und Optimierungswerkzeuge an, die Entwicklern helfen, die Qualität ihrer Anwendungen zu steigern. aicas bietet als Dienstleister auch die Möglichkeit, JamaicaVM an die Bedürfnisse der einzelnen Kunden anzupassen, insbesondere in Verbindung mit verschiedenen Zielsystemen. JamaicaVM ist einzigartig in ihrem Marktsegment: Sie ist die einzige Java-VM mit einem hart echtzeitfähigen Garbage Collector. aicas beliefert unter anderem den Luft- und Raumfahrt-Sektor, die industrielle Automatisierung und die Automobilbranche. Zu den Kunden zählen Boeing, EADS Astrium, EADS Military Air Systems, Honeywell und Siemens. Der Hauptsitz der Firma liegt in Karlsruhe. Zweigniederlassungen existieren in den USA, Frankreich und Japan. Zusätzlich hat aicas hochqualifizierte Vertriebspartner in Europa und Asien.
Weitere Pressemitteilungen dieses Herausgebers
Diese Pressemitteilung
