blob: de8dea6d84fdbc7afe227da2a99cbde4d7d16ded [file] [log] [blame]
WATERS - International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
WATERS Industrial Challenges 2016, 2017, 2019
The documents, references and the original model files of the
industrial challenges are stored in the following subfolders:
- fmtv-challenge-2016/
- fmtv-challenge-2017/
- fmtv-challenge-2019/
If you use the Eclipse APP4MC products the recommended way to load
the challenge models is an import of the zipped projects.
1. Get the APP4MC platform
2. Import the projects into workspace
Import... > General > Existing Projects into Workspace
Select archive file
The following archive files contain migrated versions
of the original challenge models with manual fixes: