Added FMTV Challenges 2016 and 2017 with updated models
diff --git a/fmtv-challenge-2016/FMTV_challenge_2016_Bosch.pdf b/fmtv-challenge-2016/FMTV_challenge_2016_Bosch.pdf
new file mode 100644
index 0000000..ba379f8
--- /dev/null
+++ b/fmtv-challenge-2016/FMTV_challenge_2016_Bosch.pdf
Binary files differ
diff --git a/fmtv-challenge-2016/_readme_WATERS_2016.txt b/fmtv-challenge-2016/_readme_WATERS_2016.txt
new file mode 100644
index 0000000..df8c1be
--- /dev/null
+++ b/fmtv-challenge-2016/_readme_WATERS_2016.txt
@@ -0,0 +1,34 @@
+______________________________________________________________________________________________
+
+WATERS 2016
+
+International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
+
+
+https://waters2016.inria.fr/
+
+
+
+WATERS community forum
+
+http://ecrts.eit.uni-kl.de/forum/viewforum.php?f=4
+
+
+______________________________________________________________________________________________
+
+FMTV 2016
+
+Formal Methods for Timing Verification (FMTV) challenge
+
+
+http://waters2016.inria.fr/challenge/
+
+
+
+The 2016 FMTV Challenge (BOSCH)
+
+
+http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=27&t=62
+http://ecrts.eit.uni-kl.de/forum/download/file.php?id=35
+
+______________________________________________________________________________________________
diff --git a/fmtv-challenge-2016/models/original/ChallengeModel_updated.zip b/fmtv-challenge-2016/models/original/ChallengeModel_updated.zip
new file mode 100644
index 0000000..a932af9
--- /dev/null
+++ b/fmtv-challenge-2016/models/original/ChallengeModel_updated.zip
Binary files differ
diff --git a/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.0.amxmi.zip b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.0.amxmi.zip
new file mode 100644
index 0000000..f69f442
--- /dev/null
+++ b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.0.amxmi.zip
Binary files differ
diff --git a/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.1.amxmi.zip b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.1.amxmi.zip
new file mode 100644
index 0000000..c1dd2ff
--- /dev/null
+++ b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.1.amxmi.zip
Binary files differ
diff --git a/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.2.amxmi.zip b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.2.amxmi.zip
new file mode 100644
index 0000000..0fe51b7
--- /dev/null
+++ b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.7.2.amxmi.zip
Binary files differ
diff --git a/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.8.0.amxmi.zip b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.8.0.amxmi.zip
new file mode 100644
index 0000000..86342a8
--- /dev/null
+++ b/fmtv-challenge-2016/models/updated/GeneratedModel_format_0.8.0.amxmi.zip
Binary files differ
diff --git a/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-paper-3.pdf b/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-paper-3.pdf
new file mode 100644
index 0000000..1f26d37
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-paper-3.pdf
Binary files differ
diff --git a/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-presentation-3.pdf b/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-presentation-3.pdf
new file mode 100644
index 0000000..198f70c
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/RTAS_2016/RTAS-demo-presentation-3.pdf
Binary files differ
diff --git a/fmtv-challenge-2016/related_info/RTAS_2016/_readme_RTAS_2016.txt b/fmtv-challenge-2016/related_info/RTAS_2016/_readme_RTAS_2016.txt
new file mode 100644
index 0000000..f8f560c
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/RTAS_2016/_readme_RTAS_2016.txt
@@ -0,0 +1,27 @@
+______________________________________________________________________________________________
+
+RTAS 2016
+
+IEEE REAL-Time and Embedded Technology and Applications Symposium
+
+
+http://2016.rtas.org
+
+______________________________________________________________________________________________
+
+
+Demo Session
+
+http://2016.rtas.org/demos/
+
+
+
+Demonstration of the FMTV 2016 Timing Verification Challenge
+
+Arne Hamann, Dirk Ziegenbein, Simon Kramer and Martin Lukasiewycz
+
+
+
+http://2016.rtas.org/wp-content/uploads/2016/04/RTAS-demo-paper-3.pdf
+
+http://2016.rtas.org/wp-content/uploads/2016/04/RTAS-demo-presentation-3.pdf
\ No newline at end of file
diff --git a/fmtv-challenge-2016/related_info/WATERS_2015/Real World Automotive Benchmarks For Free - ECRTS - WATERS 2015.pdf b/fmtv-challenge-2016/related_info/WATERS_2015/Real World Automotive Benchmarks For Free - ECRTS - WATERS 2015.pdf
new file mode 100644
index 0000000..ca6dd3c
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/WATERS_2015/Real World Automotive Benchmarks For Free - ECRTS - WATERS 2015.pdf
Binary files differ
diff --git a/fmtv-challenge-2016/related_info/WATERS_2015/WATERS15_Real_World_Automotive_Benchmark_For_Free.pdf b/fmtv-challenge-2016/related_info/WATERS_2015/WATERS15_Real_World_Automotive_Benchmark_For_Free.pdf
new file mode 100644
index 0000000..2e4aad7
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/WATERS_2015/WATERS15_Real_World_Automotive_Benchmark_For_Free.pdf
Binary files differ
diff --git a/fmtv-challenge-2016/related_info/WATERS_2015/_readme_WATERS_2015.txt b/fmtv-challenge-2016/related_info/WATERS_2015/_readme_WATERS_2015.txt
new file mode 100644
index 0000000..db389a9
--- /dev/null
+++ b/fmtv-challenge-2016/related_info/WATERS_2015/_readme_WATERS_2015.txt
@@ -0,0 +1,43 @@
+______________________________________________________________________________________________
+
+WATERS 2015
+
+International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
+
+
+https://waters2015.inria.fr/
+
+______________________________________________________________________________________________
+
+
+Real world automotive benchmark for free (BOSCH)
+
+
+http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=20&t=23
+
+
+Title: Real World Automotive Benchmark For Free
+
+Authors:
+Simon Kramer, Dirk Ziegenbein, Arne Hamann
+(Corporate Research, Robert Bosch GmbH, Renningen, Germany)
+
+Abstract:
+The progress and comparability of real-time analysis methods that are applicable to real-world
+is slowed by the absence of realistic benchmarks, mainly due to intellectual property (IP) concerns.
+We propose a method that supports the generation of realistic but IP free benchmark sets. Further,
+we provide the application characteristics of a specific real-world automotive software system.
+
+Keywords:
+benchmarks, timing analysis, automotive software
+
+
+Attached paper:
+
+WATERS15_Real_World_Automotive_Benchmark_For_Free.pdf	(176.2 KiB)
+
+
+Slides:
+
+Real World Automotive Benchmarks For Free - ECRTS - WATERS 2015.pdf	(520.25 KiB)
+
diff --git a/fmtv-challenge-2017/WATERS2017_Industrial_Challenge_Bosch.pdf b/fmtv-challenge-2017/WATERS2017_Industrial_Challenge_Bosch.pdf
new file mode 100644
index 0000000..89ed9ce
--- /dev/null
+++ b/fmtv-challenge-2017/WATERS2017_Industrial_Challenge_Bosch.pdf
Binary files differ
diff --git a/fmtv-challenge-2017/_readme_WATERS_2017.txt b/fmtv-challenge-2017/_readme_WATERS_2017.txt
new file mode 100644
index 0000000..62678c6
--- /dev/null
+++ b/fmtv-challenge-2017/_readme_WATERS_2017.txt
@@ -0,0 +1,33 @@
+______________________________________________________________________________________________
+
+WATERS 2017
+
+International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
+
+
+https://waters2017.inria.fr/
+
+
+
+WATERS community forum
+
+https://waters2017.inria.fr/community-forum/
+
+
+______________________________________________________________________________________________
+
+FMTV 2017
+
+Formal Methods for Timing Verification (FMTV) challenge
+
+
+https://waters2017.inria.fr/challenge/#Challenge17
+
+
+
+The 2017 FMTV Challenge (BOSCH)
+
+
+http://ecrts.eit.uni-kl.de/forum/viewtopic.php?f=32&t=85
+
+______________________________________________________________________________________________
diff --git a/fmtv-challenge-2017/models/original/Bosch_ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip b/fmtv-challenge-2017/models/original/Bosch_ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip
new file mode 100644
index 0000000..af0b379
--- /dev/null
+++ b/fmtv-challenge-2017/models/original/Bosch_ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip
Binary files differ
diff --git a/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip b/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip
new file mode 100644
index 0000000..7ef2f55
--- /dev/null
+++ b/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v072.zip
Binary files differ
diff --git a/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v080.zip b/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v080.zip
new file mode 100644
index 0000000..ddc4291
--- /dev/null
+++ b/fmtv-challenge-2017/models/updated/ChallengeModel_w_LabelStats_fixedLabelMapping_App4mc_v080.zip
Binary files differ
diff --git a/fmtv-challenge-2017/related_info/workflowExample.zip b/fmtv-challenge-2017/related_info/workflowExample.zip
new file mode 100644
index 0000000..05a8cd2
--- /dev/null
+++ b/fmtv-challenge-2017/related_info/workflowExample.zip
Binary files differ