Be fortastic.
Here you will find information about FORTAS, the FORmal Timing Analysis Suite to estimate execution times of embedded real-time software. Both the Real Time Systems group at Vienna University of Technology and the Formal Methods in Systems Engineering group at Technische Universität Darmstadt are engaged in the project that is funded by the FWF and the DFG in equal parts.
News
- 2008/04/15
- Vaclav Mikolasek is the winner of the FORTAS logo contest. Congratulations!
- 2008/03/17
- Web site relaunch.