Add info about new release.
Change-Id: I760d959c0f5338d88b6d26cc1c72dab44f84ff86
diff --git a/download.html b/download.html
index 0295987..e0c2151 100644
--- a/download.html
+++ b/download.html
@@ -39,14 +39,25 @@
<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://projects.eclipse.org/projects/polarsys.chess/releases/1.0.0">
- <b>release plan</b>.
- </a>
+ CHESS 1.0.0 has been released! </br></br> The key features of the new version
+ are:
+ <ul>
+ <li>Improved support for contract-based design analysis and model
+ checking (integration with OCRA, nuXmv, xSAP tools).</li>
+ <li>Support for FTA, FMEA.</li>
+ <li>Support for parameterized architecture and trade-off
+ analysis.</li>
+ <li>Automatic generation of Mobius SAN models.</li>
+ <li>CHESSML dependability profile extension for security.</li>
+ <li>Automatic generation of diagrams and documentation.</li>
+ </ul> 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://projects.eclipse.org/projects/polarsys.chess/releases/1.0.0">
+ <b>release plan</b>.
+ </a>
<h3>CHESS Eclipse full distribution:</h3>
<li><a
@@ -54,8 +65,7 @@
Windows 64 bit</a></li>
<li><a
href="http://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux.gtk.x86_64.zip">CHESS-1.0.0
- Linux 64 bit</a></li>
- </br>
+ Linux 64 bit</a></li> </br>
<h4>Previous versions:</h4>
<li><a
@@ -63,8 +73,7 @@
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>
+ Linux 64 bit</a></li> </br>
<h3>CHESS model examples</h3>
@@ -76,12 +85,14 @@
(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/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>
+ CHESS-SBA)</a></li> </br>
<div class="clear"></div>
</div>