SymTA/S (Symbolic Timing Analysis for Systems)
SymTA/S ist ein Framework zur Performanceanalyse und -optimierung von Echtzeitsystemen. Es wurde, aufbauend auf den Ergebnissen des SPI-Projekts in ca. 7 Jahren Laufzeit und Förderung in mehreren Projekten der Deutschen Forschungsgemeinschaft zu einem einzigartigen Leistungsumfang weiterentwickelt. Die Ergebnisse wurden an den Spin-Off Symtavision transferiert, der 2005 gegründet wurde und das Produkt weiterentwickelt und vertreibt.
Heute wird SymTA/S parallel zur kommerziellen Version als Forschungsversion mit neuen Forschungsthemen weiterentwickelt, unter anderem mit den Themen Multicore (Projekte ACCORD und ModeWaves), Programmierung (Projekt Chameleon) und Zuverlässigkeit/Zertifizierung (Projekte AIS und RECOMP (ab 4/2010)).
Einige frühere Arbeiten zu SymTA/S finden sich unter den folgenden Links
Projektübersicht | Wissenschaftliche Mitarbeiter |
Studentische Arbeiten | Studentische Hilfskräfte |
Publikationen | HiWi-Jobs |
Förderung und Forschungspartner | SymTA/S Tool |