blob: e0c21514fe7f07ca6b1cd3c5f8ce4c2915eb6b3a [file] [log] [blame]
<!doctype html>
<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" />
</head>
<body>
<header>
<div class="logo-left width">
<a href="index.html"><img src="images/logo_chess_350.gif"
alt="CHESS logo" width=""></a>
</div>
</header>
<nav>
<div class="width">
<ul>
<li class="start"><a href="index.html">Home</a></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>
<li class="divider-vertical-second-menu"></li>
<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>
</div>
</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! </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
href="http://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="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>
<h4>Previous versions:</h4>
<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.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 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
Project Page</a></li>
</ul>
<ul>
<li><h4>Legal</h4></li>
<li><a href="http://www.eclipse.org/legal/privacy.php">Privacy
Policy</a></li>
<li><a href="http://www.eclipse.org/legal/termsofuse.php">Terms
of Use</a></li>
<li><a href="http://www.eclipse.org/legal/copyright.php">Copyright
Agent</a></li>
<li><a href="http://www.eclipse.org/org/documents/epl-v10.php">Eclipse
Public License</a></li>
<li><a href="http://www.eclipse.org/legal/">Legal Resources</a></li>
</ul>
<ul>
<li><h4>Useful Links</h4></li>
<li><a
href="https://bugs.eclipse.org/bugs/enter_bug.cgi?product=Chess">Report
a Bug</a></li>
<li><a href="https://wiki.eclipse.org/CHESS">Documentation</a></li>
<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
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><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>
<li><a href="http://www.mdh.se/">Mälardalen University</a></li>
</ul>
<table>
<tr>
<td><a href="https://www.yourkit.com"><img
src="images/yklogo.png" alt="YourKit logo"
style="width: 25%; height: 25%"></a> <br /> <font size="2">Thanks
YourKit for providing us free licenses of <a
href="https://www.yourkit.com/java/profiler/">YourKit Java
Profiler</a>
</font></td>
<td>
<div class="right-footer">
<a href="http://www.eclipse.org/"><img
src="images/eclipse.png" alt="Eclipse logo"></a> <br />
Copyright ©<span id="year">2016</span> The Eclipse Foundation. <br />
All Rights Reserved.
</div>
</td>
</tr>
</table>
<div class="clear"></div>
</div>
</footer>
</body>
</html>