Update according to the 0.10.0 release
diff --git a/features.html b/features.html
index ab54df9..1d36d34 100644
--- a/features.html
+++ b/features.html
@@ -50,12 +50,12 @@
<p>
The CHESS UML profile:
<ul class="listInTabs">
- <li>restricts the set of MARTE and UML entities that can be created in the CHESS model, </li>
+ <li>restricts the set of MARTE, SysML and UML entities that can be created in the CHESS model, </li>
<li>provides the set of stereotypes required to enable the user to work with the CHESS
component model, </li>
<li>provides some MARTE stereotypes extensions to allow the specification of
computation-independent real-time properties, </li>
- <li>defines a new set of stereotypes for the support of dependability modeling.</li>
+ <li>defines a new set of stereotypes for the support of dependability modeling and contract-based design.</li>
</ul>
</p>
<p>
@@ -162,9 +162,17 @@
<p>
<h3>Model transformations</h3>
<p>
- CHESS supports model-based analysis of the systems for schedulability and dependability, as
+ CHESS supports model-based analysis of the systems for schedulability, dependability, as
well as code generation from model. Both features are implemented through model transformations
which are invoked through the CHESS editor menu.
+ <p>
+ Dependability analysis currently supported are:
+ <ul class="listInTabs">
+ <li>failure propagation analysis,</li>
+ <li>state-based quantitative analysis.</li>
+ </ul>
+ </p>
+ Integration with OCRA external tool for formal verification of contract refinement is implemented.
</p>
<h4>Schedulability Analysis and Ada 2005 Code Generation</h4>
<p>
diff --git a/index.html b/index.html
index 33a8afa..f01e1a5 100644
--- a/index.html
+++ b/index.html
@@ -91,9 +91,13 @@
</p>
<p>
CHESS also addresses the description and verification of system and component dependability
- properties (like fault, error, failures and failures propagations); however it is worth
- mentioning here that the dependability support (also described later in the proposal) is not
- part of the current CHESS contribution.
+ properties (like fault, error, failures and failures propagations) through a dedicated UML profile for dependability
+ and seamless integration with embedded and external dependability tools enabling failure propagation and
+ state based analysis.
+ </p>
+ <p>
+ CHESS also provides a profile allowing contract-based design and dedicated model transformation enabling
+ seamless integration with external tools for the verification of contracts specification.
</p>
<p>
CHESS tooling extends Papyrus editor to properly support the CHESS methodology, in particular
@@ -104,17 +108,17 @@
<h3>Description</h3>
<p>
- CHESS implements the CHESS UML profile, a specialization of the Modeling and Analysis of
+ 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 profile, (2) an extension to the
+ 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 and dependability analysis and the latter for code generation
+ of model-based schedulability,dependability and contract-based design analysis, and the latter for code generation
toward multiple language targets.
</p>
