aicas präsentiert Veriflux - die umfassende Datenflussanalyse für Java

<next>  <prev>  <back>

11-Feb-10

aicas präsentiert Veriflux - die umfassende Datenflussanalyse für Java

Karlsruhe, Deutschland, den 11. Februar 2010

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, Thread-bezogene 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 unter http://www.aicas.com/downloads.html.

Die 2001 gegründete aicas GmbH ist Spezialist für Echtzeit-Java in Embedded Systems. Zusätzlich zu JamaicaVM, die dank deterministischer Speicherverwaltung auch für harte Echtzeitanwendungen eingesetzt werden kann, 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, 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 Informationen

Online stehen folgende Informationen bereit:

Pressemitteilungen: http://www.aicas.com/press.html
Pressebilder: http://www.aicas.com/images.html