Update footer, index and start pages. Change-Id: I29b77b6f5152fdf790a6a08856b8cb2ac8c8b65a
diff --git a/community.html b/community.html index 34a354e..0b49ef9 100644 --- a/community.html +++ b/community.html
@@ -144,7 +144,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
diff --git a/download.html b/download.html index ee57b47..c775a3e 100644 --- a/download.html +++ b/download.html
@@ -95,7 +95,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
diff --git a/events.html b/events.html index c2eb58f..307d56c 100644 --- a/events.html +++ b/events.html
@@ -111,7 +111,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
diff --git a/features.html b/features.html index 03c89fa..7c155be 100644 --- a/features.html +++ b/features.html
@@ -298,7 +298,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
diff --git a/index.html b/index.html index ed87ead..fc159b1 100644 --- a/index.html +++ b/index.html
@@ -90,22 +90,20 @@ components at the level of component design down to the execution level. </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 enabling failure propagation and - state based analysis. + 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 provides a profile allowing contract-based design and dedicated model transformation enabling - seamless integration with external tools for the verification of contracts specification. - </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 @@ -180,7 +178,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>
diff --git a/start.html b/start.html index 6471463..1027b9c 100644 --- a/start.html +++ b/start.html
@@ -48,7 +48,7 @@ <div id="tab-content1" class="tab-content"> This page provides all the information needed to setup the CHESS tool. Please refer also to the provided <a - href="publis/CHESSToolset_UserGuide.pdf"><b>user guide</b></a> to + href="publis/CHESS_ToolsetGuide.pdf"><b>user guide</b></a> to check the extensions currently available for CHESS. <h3>Needed environment</h3> @@ -160,7 +160,7 @@ <div id="tab-content2" class="tab-content"> <p> Check the - <mark>CHESS user guide</mark> + <span style="color: #FF6633">CHESS user guide</span> available <a href="publis/CHESS_ToolsetGuide.pdf"><b>here</b>.</a> The user guide will introduce you to the entire CHESS design flow, starting from the creation of a CHESS project to the @@ -169,7 +169,7 @@ </p> <p> Check the - <mark>CHESS Modelling Language profile</mark> + <span style="color: #FF6633">CHESS Modelling Language profile</spam> definition available <a href="publis/CHESSMLprofile.pdf"><b>here</b>.</a> </p> <p>CHESS provides a variety of model-based analysis, using @@ -180,14 +180,14 @@ <li><a href="publis/CHESS_ContractBasedAnalysisModelCheckingSafetyAnalysis.pdf"><b>guide</b></a> for requirements validation, contract-based refinement, model - checking, model-based analysis using <mark>OCRA, nuXmv, - and xSAP</mark></li> + checking, model-based analysis using <span style="color: #FF6633">OCRA, nuXmv, + and xSAP</span></li> <li><a href="publis/CHESS_DependabilityGuide.pdf"><b>guide</b></a> - for dependability with <mark>Failure Logic Analysis (FLA)</mark> + for dependability with <span style="color: #FF6633">Failure Logic Analysis (FLA)</span> based upon FPTC - Fault Propagation and Transformation Calculus</li> <li><a href="publis/CHESS_SWDevelopmentGuide.pdf"><b>guide</b></a> for Schedulability Analysis and End2End Response Time Analysis - with <mark>MAST</mark></li> + with <span style="color: #FF6633">MAST</span></li> </ul> </div></li> <li><input name="tabs" id="tab3" type="radio"> <label @@ -242,7 +242,7 @@ </ul> <ul class="endfooter"> <li><h4>Other</h4></li> - <li><a href="https://es.fbk.eu/">Fondazione Bruno Kessler - Embedded System Unit</a></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>