- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Jan 23rd, 2013
A talk presenting OTAWA toolbox for WCET computation - AdaCore Internal Seminar
AdaCore Internal Seminar - Wednesday april 3, 2013.
Hugues Cassé, one of the principal architects and developers of the toolbox, will come to the AdaCore Paris offices to give a talk presenting the OTAWA toolbox for WCET computation.
OTAWA is a set of libraries and static analysis tools aimed at allowing WCET computation based on an abstract representation of the machine code and the target hardware, with existing mappings for a set of popular processors. For more details, see http://www.otawa.fr
If you are interested in attending this talk, please send email to email@example.com.