Contact
QR code for the current URL

Story Box-ID: 322471

aicas GmbH Emmy-Noether-Str. 9 76131 Karlsruhe, Germany http://www.aicas.com
Contact Mr Marcel Borutta +49 721 66396852
Company logo of aicas GmbH
aicas GmbH

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.

aicas 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.

The publisher indicated in each case (see company info by clicking on image/title or company info in the right-hand column) is solely responsible for the stories above, the event or job offer shown and for the image and audio material displayed. As a rule, the publisher is also the author of the texts and the attached image, audio and information material. The use of information published here is generally free of charge for personal information and editorial processing. Please clarify any copyright issues with the stated publisher before further use. In case of publication, please send a specimen copy to service@pressebox.de.
Important note:

Systematic data storage as well as the use of even parts of this database are only permitted with the written consent of unn | UNITED NEWS NETWORK GmbH.

unn | UNITED NEWS NETWORK GmbH 2002–2024, All rights reserved

The publisher indicated in each case (see company info by clicking on image/title or company info in the right-hand column) is solely responsible for the stories above, the event or job offer shown and for the image and audio material displayed. As a rule, the publisher is also the author of the texts and the attached image, audio and information material. The use of information published here is generally free of charge for personal information and editorial processing. Please clarify any copyright issues with the stated publisher before further use. In case of publication, please send a specimen copy to service@pressebox.de.