SymTA/S (Symbolic Timing Analysis for Systems)
SymTA/S is a framework for performance analysis and optimization of real-time embedded systems. It was built upon results from the SPI project and, over 7 years and with funding from the German Deutsche Forschungsgemeinschaft, was extended to a tool with unique scope and performance. The results were transfered to the IDA spin-off, Symtavision, which markets and further develops that tool. Today, SymTA/S is used at numerous automotive and aerospace companies in Europe and the US.
In parallel to the commercial version, SymTA/S is further developed as a research version with new research topics such as multi-core (projects ACCORD and ModeWaves), stream based programming (project Chameleon), or reliability and certification (projects AIS and RECOMP (startign 4/2010).
Some earlier work can be found under the following links.
Projekt Overview | Research Staff |
Students Work | Student Assistants |
Publications | HiWi-Jobs |
Funding and Research Partners | SymTA/S Tool |