Dear visitor, please be informed that this is the ITEA staging environment. No actions here will be updated to production, feel free to test the system
SWEET
- Project
- 16032 TESTOMATproject
- Type
- New standard
- Description
- Advanced, precise program flow analysis
- Expressive flow fact language for program flow constraints
- Contact
- Björn Lisper
- bjorn.lisper@mdh.se
- Technical features
Input(s):
- C Code
Main feature(s):
- Program Flow Analysis
- Approximate BCET/WCET calculation
- Other static analyses (slicing, value analysis, …)
Output(s):
- Flow facts (program flow constraints)
- BCET/WCET estimates
- Integration constraints
- GMP
- CMake 2.8 or later
- Gcc 4.2 or later
- Targeted customer(s)
- End users working with validation of (hard) real-time systems, for instance to find loop constraints or perform program slicing to guide testing efforts on real-time tasks.
- Researchers focusing on program flow or timing analysis.
- Conditions for reuse
BSD style license.
- Confidentiality
- Public
- Publication date
- 13-08-2020
- Involved partners
- Mälardalen University (SWE)