 |
aicas GmbH |
aicas ist Anbieter von Java-basierten Entwicklungswerkzeugen für sicherheitskritische und eingebettete Anwendungen. Diese Werkzeuge werden direkt dem SuReal-Projekt zur Verfügung gestellt. Darüber hinaus hat aicas durch Qualitätssicherungsmaßnahmen, wie sie für sicherheitskritische Anwendungen in der Raumfahrt nötig sind, langjährige Erfahrung in der Bewertung von Codequalität und Codeanalysemethoden. Diese Erfahrung wird in das Projekt eingebracht. Dr. James J. Hunt ist Mitgründer und Geschäftsführer der aicas GmbH. Er hat ein BS der Yale University in Informatik und Physik und ein MA der Boston University in Informatik. Er war mehrere Jahre Forscher in der Lincoln Laboratory des Massachusetts Institute of Technology. Dort hat er CAD-Software für ein Forschungsprojekt entworfen und entwickelt mit dem Ziel, vollständige parallele Systeme auf einem Halbleiterwafer unterzubringen („Wafer Scale Integration“). Danach beschäftigte er sich mit optisch vernetzten, parallelen Lisp-Systemen, wobei er an der Implementierung paralleler Speicherbereinigung und Betriebssystemanpassungen gearbeitet hat. Dr. Hunt hat an der Universität Karlsruhe mit dem Thema „Erweiterbare, sprachenbewußte Differenzbildung und Verschmelzung“ promoviert. Als Koordinator hat er das IST-Projekt HIDOORS, das die Grundlagen für SuReal geliefert hat, erfolgreich abgeschlossen. Dr. Fridtjof B. Siebert erhielt 1997 sein Diplom in Informatik an der Universität Stuttgart. Danach arbeitete er für 2 Jahre als Forschungsingenieur für das Research Institute der Open Group in Grenoble, Frankreich, und beschäftigte sich mit der Compilation und Optimierung von Java für eingebettete Systeme. An der Universität Karlruhe beendete er 2001 seine Doktorarbeit über Echtzeit-Garbage-Collection, der Basistechnologie der Echtzeit-Java-Implementierung JamaicaVM. Dr. Siebert ist Gründungsgesellschafter und Entwicklungsleiter der aicas GmbH, die JamaicaVM entwickelt und vertreibt. Im IST-Projekt HIJA ist er verantwortlich für die statischen Analysewerkzeuge für sicherheitskritische Java-Systeme. Im Rahmen des SuReal-Projekts ist aicas an den folgenden Arbeitspaketen beteiligt:
|
