Medienberichte

Elektronik automotive
Ausgabe September 2018, SS. 12ff.
Der perfekte Compiler“ (PDF herunterladen)

Elektronik
Ausgabe 20/2016, Seite 38–40
Höhere Zuverlässigkeit durch Einsatz eines formal verifizierten Compilers“

Elektronik & Elektronik automotive,
gemeinsame Sonderausgabe „Funktionale Sicherheit“, Juli 2015, Seite 22
Multicore-CPUs in sicherheitskritischen Echtzeitsystemen“ (PDF herunterladen)

Elektronik embedded 10/2014, Seite 15
Echtzeitanalyse für softwaregesteuerte Systeme“ (PDF herunterladen)

Elektronik automotive 3/2014
Schwere Fehler sicher ausschließen“ (PDF herunterladen)

Hanser automotive, Ausgabe 3, 2013
Statische Analysen im Sicherheitsnachweis gemäß ISO-26262:
Korrektes Timing, keine Stacküberläufe, keine Laufzeitfehler“

Medizin+Elektronik, WEKA-Verlag, 2012
Statische Analysen schützen Patienten“

computer-automation.de, 6. Dezember 2011
Forschungsprojekt ARAMiS – 40 Millionen Euro für sichere Multicore-Konzepte

Informationsdienst Wissenschaft online, 23. November 2011
Forschungsverbund soll die Sicherheit von IT-Systemen im Bahn- und Flugverkehr garantieren

E&E Magazine 3/2011
Echtzeitfähigkeit von Multicores“

Design&Elektronik, 2010.
Nix da! Nachweis der Abwesenheit von Laufzeitfehlern mit Astrée“

Saarbrücker Zeitung, 8. September 2009, Seite B5
Mit Misstrauen zum Erfolg – Informatik-Professor Reinhard Wilhelm erhält Konrad-Zuse-Medaille“

ComputerZeitung, 15. Juni 2009, Seite 9
Echtzeit-Anforderungen werden verfolgbar und verifizierbar – Sureal-Prozess: quasi das V-Modell XT für sicherheitskritische Software“

Saarbrücker Zeitung, 12. Mai 2009, Seite A7
Saarbrücker machen Airbus sicherer – Software-Firma AbsInt hat einzigartiges Testverfahren entwickelt“

Design&Elektronik, April 2009, Seite 13
Europäische Referenz-Toolkette“

Elektronik automotive, April 2009, Seite 23
Europäische Tool-Kette“

Sourceforge Magazine, 19. Januar 2009
aiSeeはレイアウトが複雑なグラフの作成に役立つ“

Oleg Burlacas Blog, 19. Januar 2009
Graph visualization for Apache log files“

linux.com, 2. Juni 2008
aiSee helps create graphs with complex layouts“

Innovations-Report, 1. April 2008
Wieviel Zeit bleibt bis zum Worst-Case?

Saarbrücker Zeitung, 5. Februar 2008
‚Predator‘ hat die Reaktionszeit von Computerprogrammen im Blick“

Embedded Software Engineering Report, Februar 2008
EU-Projekt Predator: Forschen für die Zeitanalyse“

TecChannel, 31. Januar 2008
Zeitverhalten komplexer Systeme vorhersagen

heise online, 30. Januar 2008
Reagiert die Elektronik in Autos immer rechtzeitig? EU-Projekt Predator erforscht die Zeit-Analyse sicherheitskritischer Systeme

Elektronik-Praxis, 30. Januar 2008
EU-Projekt Predator: Startschuß für Forschungsprojekt zur Zeit-Analyse von sicherheitskritischen Systemen

ComputerClub 2, Sendung vom 7. Januar 2008
Echtzeitanalyse ist ein spannendes Thema
Interview mit AbsInt-Mitbegründer und -Gesellschafter Prof. Dr. Reinhard Wilhelm.

WirtschaftsWoche Nr. 043 vom 22. Oktober 2007, Seite 181
Projekt Zukunft: 50 Innovationen, um die uns die Welt beneidet“

Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 15. Oktober 2007
Software für den Airbus“

elektroniknet.de, Januar 2007
Sicher, nicht träge!

SciTechs 1/2007
Der Herr der Zeit“

Computer-Zeitung, 7. Mai 2007
Durchgängige Entwicklung sorgt für sichere eingebettete Systeme“

Computer-Zeitung, 30. April 2007
Eingebettete Systeme spielen zentrale Rolle in der Wertschöpfung
Interview mit AbsInts Geschäftsführer Christian Ferdinand.

Elena Sagalaevas Blog, 14. Februar 2006
Программы для отрисовки графов

OEM&Lieferant, Messeausgabe, IAA Nutzfahrzeuge 2006
Statische Analysen der Worst-Case-Laufzeit“

Ingenieurstudium, Ausgabe 01/2006
Immer im Zeitplan – garantiert“

Global by Design – Web Globalization Best Practices, Januar 2006
Big Results from Small Budgets“

Messe Direkt, IAA 2005
Alles wird eingebettet – Informatiker wollen Elektronik im Auto sicherer machen“

Saarbrücker Zeitung, 17. September 2005
Saarland zeigt Auto-Technik der Zukunft – bei der IAA präsentieren Saar-Forscher Projekte rund ums sichere Auto“

innovations-report.de, 13. September 2005
Laufzeitgarantien für sicherheitskritische Systeme

Handelsblatt.com, IAA-Special, 11. September 2005
Software prüft Autoelektronik bereits beim Entwurf“

Saarbrücker Zeitung, 25. August 2005
Experten sollen gemeinsam forschen“

Automobil Elektronik, Ausgabe 3/2005
Zeitvorhersage für den worst case“

Zentrale für Produktivität und Technologie Saar e.V., Technologie-Informationen, Ausgabe 7–8/2005
Software-Tools der Firma AbsInt im Airbus A380“

c’t – Magazin für Computertechnik, Ausgabe 14/2005
Ein Europäer in Paris – Luftfahrtmessen-Premiere des Airbus A380

Hanser Automotive, Electronics Systems, Ausgabe 05–06/2005
Steuerungssoftware für Safety-Anwendungen“

Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 27. April 2005
Airbus fliegt mit saarländischer Technik“

Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 15. April 2005
Software für den Airbus“

Zeit.de, 12. April 2005
Airbus A380 startet zum Jungfernflug mit Technik aus Saarbrücken“

Saarbrücker Zeitung, 6. April 2005
Starthilfe für den Super-Airbus

Informationsdienst Wissenschaft online, 17. Januar 2005
Saarbrücker Informatiker machen Elektronik im Auto sicherer

Saarbrücker Zeitung, 8. Oktober 2003
Saar-Informatiker auf Höhenflug – Wissenschaftspreis IST der Europäischen Union für das Hightech-Unternehmen AbsInt aus Saarbrücken“

Fernsehen des Saarländischen Rundfunks, Aktueller Bericht vom 10. Mai 2003
Daniel Kästner erhält den Wissenschaftspreis der Landesbank Saar“

Saarbrücker Zeitung, 8. Mai 2003
Schrumpfkur für Computer-Chips – Informatiker der Saar-Universität machen die Entwicklung von Handys billiger“