diff --git a/files/1.mast-presentation.pdf b/files/1.mast-presentation.pdf new file mode 100644 index 0000000000000000000000000000000000000000..96ec8a542b62bdb2bcab30b65a39a610e361a8d4 Binary files /dev/null and b/files/1.mast-presentation.pdf differ diff --git a/files/2.imitator-tool.pdf b/files/2.imitator-tool.pdf new file mode 100644 index 0000000000000000000000000000000000000000..e549d4bea90278e19f7ffed57d77ce3d8a94525b Binary files /dev/null and b/files/2.imitator-tool.pdf differ diff --git a/files/3.ECRTS15_ARTEMISDEMO.pdf b/files/3.ECRTS15_ARTEMISDEMO.pdf new file mode 100644 index 0000000000000000000000000000000000000000..0d0ac8ef0a12bb38c401a4066ac7a13bb04d1362 Binary files /dev/null and b/files/3.ECRTS15_ARTEMISDEMO.pdf differ diff --git a/files/4.SaadECRTSDemo.pdf b/files/4.SaadECRTSDemo.pdf new file mode 100644 index 0000000000000000000000000000000000000000..cc846bd65e43ed5885ab21159c3f05cccb6abdb6 Binary files /dev/null and b/files/4.SaadECRTSDemo.pdf differ diff --git a/files/5.dalZilio.pdf b/files/5.dalZilio.pdf new file mode 100644 index 0000000000000000000000000000000000000000..d080739f86950ca71c66562edda7048eadf1e562 Binary files /dev/null and b/files/5.dalZilio.pdf differ diff --git a/files/6.coelho_poster.pdf b/files/6.coelho_poster.pdf new file mode 100644 index 0000000000000000000000000000000000000000..57b0fc4d15f3df543481eeae6f78f814a1e21fac Binary files /dev/null and b/files/6.coelho_poster.pdf differ diff --git a/files/7.ECRTS-FMTV-Challenge.pdf b/files/7.ECRTS-FMTV-Challenge.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ac1eb2b0c518925c318ade2c4cb1ec5ca5d51d67 Binary files /dev/null and b/files/7.ECRTS-FMTV-Challenge.pdf differ diff --git a/wip.html b/wip.html index 85d1a3d6ec30f535e798032fd95fa7eaac35428d..7271c0961a3c89e8b88e60164920ad07bc28fd2c 100644 --- a/wip.html +++ b/wip.html @@ -46,19 +46,19 @@ Chris Healy</li> <h4>Tool Presentations and Verification Challenge (<a href="https://waters2015.inria.fr/">WATERS</a>)</h4> <ul> - <li>MAST: Modeling and analysis suite for real-time applications<br> + <li>MAST: Modeling and analysis suite for real-time applications <a href="files/1.mast-presentation.pdf" target="_blank">(slides)</a><br> Michael González Harbour</li> -<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems<br> +<li>IMITATOR: a tool for parametric verification and robustness analysis of real-time systems <a href="files/2.imitator-tool.pdf" target="_blank">(slides)</a><br> Youcheng Sun</li> -<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems<br> +<li>ARTEMIS: A simulator for mixed-criticality management of networked real-time systems <a href="files/3.ECRTS15_ARTEMISDEMO.pdf" target="_blank">(slides)</a><br> Olivier Cros</li> -<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks<br> +<li>MPS-CAN Analyzer: A tool for end-to-end delay analysis of heterogeneous automotive networks <a href="files/4.SaadECRTSDemo.pdf" target="_blank">(slides)</a><br> Saad Mubeen and Mohammad Ashjaei</li> -<li>SimSo: A simulator of real-time scheduling algorithms<br> +<li>SimSo: A simulator of real-time scheduling algorithms <a href="files/5.dalZilio.pdf" target="_blank">(slides)</a><br> Silvano Dal Zilio</li> -<li>A web based monitoring tool for AFDX networks<br> +<li>A web based monitoring tool for AFDX networks <a href="files/6.coelho_poster.pdf" target="_blank">(slides)</a><br> Rodrigo Coelho</li> -<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions<br> +<li>FMTV’15: The Formal Methods for Timing Verification challenge and its solutions <a href="files/7.ECRTS-FMTV-Challenge.pdf" target="_blank">(slides)</a><br> Rafik Henia</li> </ul><br>