Website build build-chess-web-site-25
diff --git a/download.html b/download.html
index d824a38..2d96d38 100644
--- a/download.html
+++ b/download.html
@@ -39,41 +39,38 @@
<div id="body" class="width-started">
<p>
- CHESS 1.0.0 has been released! </br></br> The key features of the new version
+ CHESS 1.1.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>
+<li>Cross-level contract refinement.</li>
+<li>Support for "timed" time model.</li>
+<li>Improved default user settings.</li>
+<li>Increased tests coverage.</li>
+<li>Used xText editors for textual areas.</li>
+<li>Defined AST for guards/effects on state machines.</li>
+<li>Improved generation and auto-layout of diagrams.</li>
+<li>Created default workspace for V&V analysis.</li>
+<li>Further formal verification of state machine.</li>
+<li>Improved checker manager.</li>
+<li>Fixed Maven warnings.</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">
+ href="https://projects.eclipse.org/projects/polarsys.chess/releases">
<b>release plan</b>.
</a>
<h3>CHESS Eclipse full distribution:</h3>
- <li><a
- href="https://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32.win32.x86_64.zip">CHESS-1.0.0
- Windows 64 bit</a></li>
- <li><a
- href="https://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>
+ <li>CHESS-1.1.0: <a href="https://download.eclipse.org/chess/core/releases/1.1.0/CHESS-1.1.0-win32.win32.x86_64.zip">Windows 64 bit</a> - <a href="https://download.eclipse.org/chess/core/releases/1.1.0/CHESS-1.1.0-linux.gtk.x86_64.zip">Linux 64 bit</a>
+ </li> </br>
<h4>Previous versions:</h4>
- <li><a
- href="https://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="https://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>
+ <li>CHESS-1.0.0: <a href="https://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-win32.win32.x86_64.zip">Windows 64 bit</a> - <a href="https://download.eclipse.org/chess/core/releases/1.0.0/CHESS-1.0.0-linux.gtk.x86_64.zip">Linux 64 bit</a>
+ </li> </br>
+ <li>CHESS-0.1.0: <a href="https://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-win32-x86_64.zip">Windows 64 bit</a> - <a href="https://download.eclipse.org/chess/core/releases/0.10.0/PolarsysCHESS0.10.0-linux-x86_64.tar.gz">Linux 64 bit</a>
+ </li> </br>
<h3>CHESS model examples</h3>
diff --git a/index.html b/index.html
index fc159b1..ba12c51 100644
--- a/index.html
+++ b/index.html
@@ -132,7 +132,7 @@
<li>
<h4>News</h4>
<ul>
- <li><b>CHESS tool v.1.0.0 is available!</b></li>
+ <li><b>CHESS tool v.1.1.0 is available!</b></li>
</ul>
</li>
</ul>
diff --git a/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
index fbc5ad1..d4c4aff 100644
--- a/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
+++ b/publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf
Binary files differ
diff --git a/start.html b/start.html
index 6195fc5..2044664 100644
--- a/start.html
+++ b/start.html
@@ -53,7 +53,7 @@
<h3>Needed environment</h3>
<p>
- A Java 8 JRE/JDK is recommended for CHESS v1.0.0.<br />
+ A Java 8 JRE/JDK is recommended for CHESS v1.1.0.<br />
</p>
<p>
@@ -67,7 +67,7 @@
please follow the steps detailed below:</p>
<p>
- CHESS Eclipse plugins v1.0.0 has to be installed on top of
+ CHESS Eclipse plugins v1.1.0 has to be installed on top of
Eclipse Neon 3 platform available from: <a
href="https://www.eclipse.org/downloads/packages/release/neon/3/eclipse-modeling-tools">https://www.eclipse.org/downloads/packages/release/neon/3/eclipse-modeling-tools</a>.
</p>
@@ -136,13 +136,13 @@
<p>
The CHESS update-site is available through http: <br>the URL
is
- <tt>https://download.eclipse.org/chess/core/releases/1.0.0/updateSite/</tt>
+ <tt>https://download.eclipse.org/chess/core/releases/1.1.0/updateSite/</tt>
<ul class="listInTabs">
<li>Launch Eclipse Neon</li>
<li>From the main menu select Help->Install new software… -></li>
<li>Click "Add…", then select the CHESS update
site or digit
- "https://download.eclipse.org/chess/core/releases/1.0.0/updateSite/"
+ "https://download.eclipse.org/chess/core/releases/1.1.0/updateSite/"
(the first time you are using it) in the Location field, and
click Ok.</li>
<li>In the Install window uncheck the "Group Items by