|Fortas - Execution Time Analysis|
|responsible group:||Formal Methods and Theory Group|
|short description:||Execution time analysis for embedded software.|
|The FORTAS project is concerned with execution time analysis of
embedded software, focusing in particular on control software written
in C. In important industrial sectors such as the automotive industry,
the timeliness of control software is crucial for product quality and,
most importantly, for the safety of the passengers.
The project brings together the orthogonal expertise of the real time systems group at Vienna University of Technology and the Theoretical Computer Science group at Technische Universität München.
Technically, FORTAS uses abstraction methods from software model checking to extract abstract models of the software from which test data can be derived automatically and independently of the target hardware. By systematic execution of the tests on the target hardware, timing data is gathered to obtain a timing model. To achieve the required granularity, this process will be iterated in an abstraction refinement loop.