blob: de8dea6d84fdbc7afe227da2a99cbde4d7d16ded [file] [log] [blame]
Harald Mackamul8566afb2019-11-14 08:33:46 +01001
2WATERS - International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
3
4https://www.ecrts.org/archives/index9140.html?id=waters
5
6__________________________________________________________
7
8WATERS Industrial Challenges 2016, 2017, 2019
9__________________________________________________________
10
11
12The documents, references and the original model files of the
13industrial challenges are stored in the following subfolders:
14
15 - fmtv-challenge-2016/
16 - fmtv-challenge-2017/
17 - fmtv-challenge-2019/
18__________________________________________________________
19
20If you use the Eclipse APP4MC products the recommended way to load
21the challenge models is an import of the zipped projects.
22
23
241. Get the APP4MC platform
25
26 https://projects.eclipse.org/projects/technology.app4mc/downloads
27
282. Import the projects into workspace
29
30 Import... > General > Existing Projects into Workspace
31
32 Select archive file
33
34The following archive files contain migrated versions
35of the original challenge models with manual fixes:
36
37 - WATERS_FMTV_Challenges__Eclipse_projects__APP4MC_v0.9.6.zip
38