Add SSR example, use download.eclipse.
Change-Id: I7ea395b7c777c00e524417192ab339221cbe4375
diff --git a/download.html b/download.html
index f41cd70..06c52db 100644
--- a/download.html
+++ b/download.html
@@ -2,22 +2,23 @@
<html>
<link rel="icon" type="image/png" href="favicon.ico" />
<head>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
- <title>CHESS</title>
- <link rel="stylesheet" href="styles.css" type="text/css" />
+<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
+<title>CHESS</title>
+<link rel="stylesheet" href="styles.css" type="text/css" />
</head>
<body>
- <header>
+ <header>
<div class="logo-left width">
- <a href="index.html"><img src="images/logo_chess_350.gif" alt="CHESS logo" width=""></a>
+ <a href="index.html"><img src="images/logo_chess_350.gif"
+ alt="CHESS logo" width=""></a>
</div>
- </header>
+ </header>
- <nav>
+ <nav>
<div class="width">
<ul>
<li class="start"><a href="index.html">Home</a></li>
- <li class="divider-vertical-second-menu"></li>
+ <li class="divider-vertical-second-menu"></li>
<li><a href="features.html">Features</a></li>
<li class="divider-vertical-second-menu"></li>
<li><a href="start.html">Getting Started</a></li>
@@ -25,49 +26,75 @@
<li><a href="events.html">Events</a></li>
<li class="divider-vertical-second-menu"></li>
<li class="end"><a href="community.html">Community</a></li>
- <li style="text-align:right;"><a href="download.html" class="box">Download</a></li>
- <li style="float:none;"><br style="clear:both;" /></li>
- </ul>
+ <li style="text-align: right;"><a href="download.html"
+ class="box">Download</a></li>
+ <li style="float: none;"><br style="clear: both;" /></li>
+ </ul>
</div>
- </nav>
+ </nav>
<div id="hrdiv">
<img src="images/bg_breadcrumb.jpg" width="" alt="" height="" />
</div>
- <div id="body" class="width-started">
- <p>CHESS 1.0.0 has been released, see links below to download a full Eclipse CHESS distribution and the model examples. </br>
- If you want to install the CHESS plugins by using the Eclipse update site feature, check the <a href="start.html">Getting Started page</a></br>
- For release details, please check the
- <a href="https://www.eclipse.org/projects/polarsys.chess/releases/1.0.0"> <b>release plan</b>.</a>
-
+ <div id="body" class="width-started">
+ <p>
+ CHESS 1.0.0 has been released, see links below to download a full
+ Eclipse CHESS distribution and the model examples. </br> If you want to
+ install the CHESS plugins by using the Eclipse update site feature,
+ check the <a href="start.html">Getting Started page</a></br> For release
+ details, please check the <a
+ href="https://www.eclipse.org/projects/polarsys.chess/releases/1.0.0">
+ <b>release plan</b>.
+ </a>
<h3>CHESS Eclipse full distribution:</h3>
-
- <li><a href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32-x86_64.zip">CHESS-1.0.0 Windows 64 bit</a></li>
- <li><a href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux-x86_64.tar.gz">CHESS-1.0.0 Linux 64 bit</a></li></br>
-
+
+ <li><a
+ href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32-x86_64.zip">CHESS-1.0.0
+ Windows 64 bit</a></li>
+ <li><a
+ href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux-x86_64.tar.gz">CHESS-1.0.0
+ Linux 64 bit</a></li>
+ </br>
+
<h4>Previous versions:</h4>
- <li><a href="http://download.polarsys.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0 Windows 64 bit</a></li>
- <li><a href="http://download.polarsys.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0 Linux 64 bit</a></li></br>
-
-
+ <li><a
+ href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">CHESS0.10.0
+ Windows 64 bit</a></li>
+ <li><a
+ href="http://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">CHESS0.10.0
+ Linux 64 bit</a></li>
+ </br>
+
+
<h3>CHESS model examples</h3>
- <li><a href="http://download.polarsys.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
- (example about schedulability analysis)</a></li>
- <li><a href="http://download.polarsys.org/chess/models/IndustrialDrive.zip">IndustrialDrive
- (example about schedulability and E2E response time analyses) </a></li>
- <li><a href="http://download.polarsys.org/chess/models/WBS.zip">Wheel Braking System (example about contract-based design)</a></li>
- <li><a href="http://download.polarsys.org/chess/models/HBS.zip" title="Model from «L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference (EDCC 2018). Iasi, Romania, September 10-14, 2018»">Hybrid Braking System (example about safety analysis with CHESS-FLA and CHESS-SBA)</a></li></br>
+ <li><a
+ href="http://download.eclipse.org/chess/models/ProtectedOperationSample.zip">Producer-Consumer
+ (example about schedulability analysis)</a></li>
+ <li><a
+ href="http://download.eclipse.org/chess/models/IndustrialDrive.zip">IndustrialDrive
+ (example about schedulability and E2E response time analyses) </a></li>
+ <li><a href="http://download.eclipse.org/chess/models/WBS.zip">Wheel
+ Braking System (example about contract-based design)</a></li>
+ <li><a href="http://download.eclipse.org/chess/models/SenseSpacecraftRate.zip">Sense Spacecraft Rate (example about contract-based design, model checking and fault tree analysis)</a></li>
+ <li><a href="http://download.eclipse.org/chess/models/HBS.zip"
+ title="Model from «L. Bressan, A. L. de Oliveira, L. Montecchi, B. Gallina. A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence. In: 14th European Dependable Computing Conference (EDCC 2018). Iasi, Romania, September 10-14, 2018»">Hybrid
+ Braking System (example about safety analysis with CHESS-FLA and
+ CHESS-SBA)</a></li>
+ </br>
<div class="clear"></div>
- </div>
-
- <footer>
+ </div>
+
+ <footer>
<div class="footer-content width">
<ul>
<li><h4>Eclipse Foundation</h4></li>
<li><a href="https://www.eclipse.org/org/">About</a></li>
- <li><a href="https://www.eclipse.org/org/foundation/contact.php">Contact Us</a></li>
- <li><a href="https://projects.eclipse.org/projects/polarsys.chess">CHESS
+ <li><a
+ href="https://www.eclipse.org/org/foundation/contact.php">Contact
+ Us</a></li>
+ <li><a
+ href="https://projects.eclipse.org/projects/polarsys.chess">CHESS
Project Page</a></li>
</ul>
<ul>
@@ -91,12 +118,13 @@
<li><a
href="https://wiki.eclipse.org/CHESS/Technical_Information">How
to Contribute</a></li>
- <li><a href="https://accounts.eclipse.org/mailing-list/chess-dev">Mailing
+ <li><a
+ href="https://accounts.eclipse.org/mailing-list/chess-dev">Mailing
List</a></li>
<li><a href="https://www.eclipse.org/forums/index.php/f/529/">Forum</a></li>
</ul>
<ul class="endfooter">
- <li><h4>Other</h4></li>
+ <li><h4>Other</h4></li>
<li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler</a></li>
<li><a href="http://www.intecs.it/">Intecs</a></li>
<li><a href="http://www.unipd.it">University of Padova</a></li>
@@ -119,7 +147,7 @@
All Rights Reserved.
</div>
</td>
- </tr>
+ </tr>
</table>
<div class="clear"></div>