blob: f41cd706c8b7422c44e24c00b088aa1aeffc60b0 [file] [log] [blame]
<!doctype html>
<link rel="icon" type="image/png" href="favicon.ico" />
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
<link rel="stylesheet" href="styles.css" type="text/css" />
<div class="logo-left width">
<a href="index.html"><img src="images/logo_chess_350.gif" alt="CHESS logo" width=""></a>
<div class="width">
<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>
<div id="hrdiv">
<img src="images/bg_breadcrumb.jpg" width="" alt="" height="" />
<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=""> <b>release plan</b>.</a>
<h3>CHESS Eclipse full distribution:</h3>
<li><a href="">CHESS-1.0.0 Windows 64 bit</a></li>
<li><a href="">CHESS-1.0.0 Linux 64 bit</a></li></br>
<h4>Previous versions:</h4>
<li><a href="">CHESS0.10.0 Windows 64 bit</a></li>
<li><a href="">CHESS0.10.0 Linux 64 bit</a></li></br>
<h3>CHESS model examples</h3>
<li><a href="">Producer-Consumer
(example about schedulability analysis)</a></li>
<li><a href="">IndustrialDrive
(example about schedulability and E2E response time analyses) </a></li>
<li><a href="">Wheel Braking System (example about contract-based design)</a></li>
<li><a href="" 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 class="footer-content width">
<li><h4>Eclipse Foundation</h4></li>
<li><a href="">About</a></li>
<li><a href="">Contact Us</a></li>
<li><a href="">CHESS
Project Page</a></li>
<li><a href="">Privacy
<li><a href="">Terms
of Use</a></li>
<li><a href="">Copyright
<li><a href="">Eclipse
Public License</a></li>
<li><a href="">Legal Resources</a></li>
<li><h4>Useful Links</h4></li>
a Bug</a></li>
<li><a href="">Documentation</a></li>
to Contribute</a></li>
<li><a href="">Mailing
<li><a href="">Forum</a></li>
<ul class="endfooter">
<li><a href="">Fondazione Bruno Kessler</a></li>
<li><a href="">Intecs</a></li>
<li><a href="">University of Padova</a></li>
<li><a href="">Mälardalen University</a></li>
<td><a href=""><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="">YourKit Java
<div class="right-footer">
<a href=""><img
src="images/eclipse.png" alt="Eclipse logo"></a> <br />
Copyright ©<span id="year">2016</span> The Eclipse Foundation. <br />
All Rights Reserved.
<div class="clear"></div>