index.html - gerrit/www.eclipse.org/chess - Git at Google

 <!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 selected"><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">

 		<section id="content">
 				<br />
 			<article class="expanded" id="construction">
 				<table>
 					<tr>
 						<th>
 							<h3>A new version of the CHESS toolset is available! See the <a href="start.html"><b>getting started page</b>.</a></h3>

 							<!--
 							<ul>
 								<li>you can update your CONCERTO Eclipse environment by using the Eclipse "install new software" feature with the CONCERTO update site
 								<br><tt> https://sites.google.com/site/concertointecs/updatesite</tt> </li>
 								<li>For more information about installing or updating software, see the CHESS Documentation.
 							</ul>
 							-->
 						</th>
 					</tr>
 				</table>
 			</article>

 			<article class="expanded">

 				<h3>Background</h3>
 				<p>
 					Distributed dependable real-time embedded software systems, like Satellite on board software,
 					are becoming increasingly complex due to the demand for extended functionalities or the reuse of
 					legacy code and components. Model-Driven Engineering (MDE) approaches are good solutions to help
 					build such complex systems. Addressing domain specific modeling (like component description and
 					interaction, real-time constraints, ...) while keeping the flexibility and generality offered by
 					languages like UML is a challenge in a context where software must be qualified according to safety
 					and reliability standards.
 				</p>
 				<p>
 					That's why the CHESS project was created to address the development of high-integrity embedded
 					systems by combining component-based development on top of model driven engineering and addressing
 					dependability and real-time specific constraints.
 				</p>

 				<h3>Scope</h3>
 				<p>
 					The CHESS project provides a model-driven, component-based methodology [1] and tool support for the development of high-integrity systems for different domains. The methodology is particularly suited for space systems and industrial domains.
 				</p>
 				<p>
 					Thanks to a dedicated MARTE and UML profile and associated tooling, CHESS addresses solutions
 					to problems of property-preserving component assembly in real-time and dependable embedded
 					systems, and supports the description, verification, and preservation of real-time properties
 					(like sporadic/periodic activation patterns, worst case execution time, deadline) of software
 					components at the level of component design down to the execution level.
 				</p>
 				<p>
 					CHESS enables the design of safety-critical systems implementing the contract-based paradigm. The structural and behavioural aspects are verified interacting respectively with contract-based verification tools (such as <a href="https://ocra.fbk.eu/">OCRA</a>) and model checking tools (such as <a href="https://nuxmv.fbk.eu/">nuXmv</a>).
 				</p>
 				<p>
 					CHESS also addresses the description and verification of system and component dependability
 					properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
 					and seamless integration with embedded and external dependability tools, such as <a href="https://xsap.fbk.eu/">xSAP</a>, enabling failure propagation and
 					state based analysis.
 				</p>
 				<p>
 					CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular
 					allowing working with different views on the model including requirements, system, components,
 					deployment and analysis view.
 				</p>

 				<h3>Description</h3>
 				<p>
 					CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of
 					Real-Time and Embedded Systems (MARTE) profile, by producing extensions to Papyrus that provide
 					component-based engineering methodology and tool support for the development of high-integrity
 					embedded systems in different domains like satellite on board systems
 				</p>
 				<p>
 					The CHESS tool environment is composed by: (1) a MARTE, UML and SysML profile, (2) an extension to the
 					Papyrus UML graphical editor that supports the notion of design views, (3) a model validator
 					that assesses the well-formedness of the model before model transformations can be undertaken,
 					and (4) a set of model to model and model to text transformations, the former for the purpose
 					of model-based schedulability,dependability and contract-based design analysis, and the latter for code generation
 					toward multiple language targets.
 				</p>


 				<br />

 			</article>
 		</section>

 		<aside class="sidebar">

 			<ul>
 				<li>
 					<h4>News</h4>
 					<ul>
 						<li><b>CHESS tool v.1.0.0 is available!</b></li>
 					</ul>
 				</li>
 			</ul>
 		</aside>


 		<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>
	<!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 selected"><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">

	<section id="content">
	<br />
	<article class="expanded" id="construction">
	<table>
	<tr>
	<th>
	<h3>A new version of the CHESS toolset is available! See the <a href="start.html"><b>getting started page</b>.</a></h3>

	<!--
	<ul>
	<li>you can update your CONCERTO Eclipse environment by using the Eclipse "install new software" feature with the CONCERTO update site
	<br><tt> https://sites.google.com/site/concertointecs/updatesite</tt> </li>
	<li>For more information about installing or updating software, see the CHESS Documentation.
	</ul>
	-->
	</th>
	</tr>
	</table>
	</article>

	<article class="expanded">

	<h3>Background</h3>
	<p>
	Distributed dependable real-time embedded software systems, like Satellite on board software,
	are becoming increasingly complex due to the demand for extended functionalities or the reuse of
	legacy code and components. Model-Driven Engineering (MDE) approaches are good solutions to help
	build such complex systems. Addressing domain specific modeling (like component description and
	interaction, real-time constraints, ...) while keeping the flexibility and generality offered by
	languages like UML is a challenge in a context where software must be qualified according to safety
	and reliability standards.
	</p>
	<p>
	That's why the CHESS project was created to address the development of high-integrity embedded
	systems by combining component-based development on top of model driven engineering and addressing
	dependability and real-time specific constraints.
	</p>

	<h3>Scope</h3>
	<p>
	The CHESS project provides a model-driven, component-based methodology [1] and tool support for the development of high-integrity systems for different domains. The methodology is particularly suited for space systems and industrial domains.
	</p>
	<p>
	Thanks to a dedicated MARTE and UML profile and associated tooling, CHESS addresses solutions
	to problems of property-preserving component assembly in real-time and dependable embedded
	systems, and supports the description, verification, and preservation of real-time properties
	(like sporadic/periodic activation patterns, worst case execution time, deadline) of software
	components at the level of component design down to the execution level.
	</p>
	<p>
	CHESS enables the design of safety-critical systems implementing the contract-based paradigm. The structural and behavioural aspects are verified interacting respectively with contract-based verification tools (such as <a href="https://ocra.fbk.eu/">OCRA</a>) and model checking tools (such as <a href="https://nuxmv.fbk.eu/">nuXmv</a>).
	</p>
	<p>
	CHESS also addresses the description and verification of system and component dependability
	properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
	and seamless integration with embedded and external dependability tools, such as <a href="https://xsap.fbk.eu/">xSAP</a>, enabling failure propagation and
	state based analysis.
	</p>
	<p>
	CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular
	allowing working with different views on the model including requirements, system, components,
	deployment and analysis view.
	</p>

	<h3>Description</h3>
	<p>
	CHESS implements the CHESS UML/SysML profile, a specialization of the Modeling and Analysis of
	Real-Time and Embedded Systems (MARTE) profile, by producing extensions to Papyrus that provide
	component-based engineering methodology and tool support for the development of high-integrity
	embedded systems in different domains like satellite on board systems
	</p>
	<p>
	The CHESS tool environment is composed by: (1) a MARTE, UML and SysML profile, (2) an extension to the
	Papyrus UML graphical editor that supports the notion of design views, (3) a model validator
	that assesses the well-formedness of the model before model transformations can be undertaken,
	and (4) a set of model to model and model to text transformations, the former for the purpose
	of model-based schedulability,dependability and contract-based design analysis, and the latter for code generation
	toward multiple language targets.
	</p>


	<br />

	</article>
	</section>

	<aside class="sidebar">

	<ul>
	<li>
	<h4>News</h4>
	<ul>
	<li><b>CHESS tool v.1.0.0 is available!</b></li>
	</ul>
	</li>
	</ul>
	</aside>


	<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>