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.
