Embedded Computing Systems (eingebettete Computersysteme) sind Hard- und Softwarelösungen für viele Einsatzgebiete - von elektronischen Steuergeräten in Autos, Geräten der Medizintechnik bis hin zu Industrieanlagen, Verkehrstelematik-Anwendungen oder Steuerungen in der Gebäudeautomatisierung. Sie sind bereits so sehr in den Alltag integriert, dass sie oft nicht wahrgenommen werden - es sei denn, sie funktionieren nicht.
Um insbesondere seltene Fehler in derartigen Systemen möglichst früh zu erkennen, erforschen FH-Prof. Martin Horauer und sein Team ab sofort neue Ansätze und Lösungen für die Verifikation von Embedded Systems.
Finanziert wird das Josef Ressel Zentrum vom Wirtschaftsministerium und den UnternehmenspartnerInnen Bluetechnix GmbH, Infineon Technologies Austria AG, Kapsch TrafficCom AG, LOYTEC electronics GmbH und Siemens AG Österreich.
