blob: 1ef165b71d625ea53dbb195a8ae77769c211a918 [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/chess-logo.png" 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>PolarSys CHESS 0.10.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="">CHESS0.10.0 Windows 64 bit</a></li>
<li><a href="">CHESS0.10.0 Linux 64 bit</a></li></br>
<h4>Previous versions:</h4>
<li><a href="">CHESS0.9.0 Windows 64 bit</a></li>
<li><a href="">CHESS0.9.0 Linux 64 bit</a></li></br>
<h3>CHESS model examples</h3>
<li><a href="">Producer-Consumer</a></li>
<li><a href="">IndustrialDrive</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><a href="">About</a></li>
<li><a href="">Contact Us</a></li>
<li><a href="">CHESS Project Page</a></li>
<li><a href="">Privacy Policy</a></li>
<li><a href="">Terms of Use</a></li>
<li><a href="">Copyright Agent</a></li>
<li><a href="">Eclipse Public License</a></li>
<li><a href="">Legal Resources</a></li>
<li><h4>Useful Links</h4></li>
<li><a href="">Report a Bug</a></li>
<li><a href="">Documentation</a></li>
<li><a href="">How to Contribute</a></li>
<li><a href="">Mailing List</a></li>
<li><a href="">Forum</a></li>
<ul class="endfooter">
<li><a href="">Intecs</a></li>
<li><a href="">University of Padova</a></li>
<a href=""><img src="images/polarsys.png" alt="PolarSys logo" width="250"></a>
<br />
<br />
<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>