{"id":411,"date":"2021-01-30T16:04:31","date_gmt":"2021-01-30T15:04:31","guid":{"rendered":"https:\/\/es-wordpress.fbk.eu\/?p=411"},"modified":"2023-05-09T10:29:29","modified_gmt":"2023-05-09T09:29:29","slug":"chess","status":"publish","type":"post","link":"https:\/\/es.fbk.eu\/index.php\/tools\/chess\/","title":{"rendered":"CHESS"},"content":{"rendered":"[et_pb_section admin_label=&#8221;section&#8221;]\n\t\t\t[et_pb_row admin_label=&#8221;row&#8221;]\n\t\t\t\t[et_pb_column type=&#8221;4_4&#8243;][et_pb_text admin_label=&#8221;Text&#8221;]\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/start.html\" target=\"_blank\" rel=\"noreferrer noopener\">CHESS&nbsp;<\/a>(Composition with Guarantees for High-integrity Embedded Software Components Assembly) tool is a open source software project that supports the design phases of safety-critical systems, combining the model-driven architecture design with formal methods.<\/p>\n\n\n\n<p>CHESS enable the interaction with external backend tools to perform different analysis. These external tools include&nbsp;<a href=\"https:\/\/ocra.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">OCRA<\/a>&nbsp;for contract-based analysis,&nbsp;<a href=\"https:\/\/nuxmv.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">nuXmv<\/a>&nbsp;for model checking,&nbsp;<a href=\"https:\/\/xsap.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">xSAP<\/a>&nbsp; for model-based safety analysis. They run in background or remotely via OSLC and the user does not interact with them directly.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Useful Links<\/h2>\n\n\n\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/publis\/CHESS_ToolsetGuide.pdf\">CHESS user guide<\/a><\/p>\n\n\n\n<p><a href=\"https:\/\/es.fbk.eu\/wp-content\/uploads\/2021\/02\/chess_functionalities.mov\">Video&nbsp;<\/a>showing the main CHESS functionalities in the context of the AMASS project.<\/p>\n\n\n\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/start.html\" target=\"_blank\" rel=\"noreferrer noopener\">CHESS project website<\/a>&nbsp;for further information.<\/p>\n\n\n\n<h2 class=\"wp-block-heading\">Related Projects<\/h2>\n\n\n\n<p>List of projects related to CHESS:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><a href=\"https:\/\/www.amass-ecsel.eu\/\">AMASS<\/a>: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. In this project, CHESS was extended and connected to other tools for the design of safety-critical systems.<\/li>\n\n\n\n<li><a href=\"http:\/\/www.chess-project.org\/\">CHESS<\/a>: EU Project in which the CHESS software was created.<\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\">Contributions<\/h2>\n\n\n\n<p>The Embedded System unit is contributing to the design and development of the project.<\/p>\n\n\n\n<p>Current contributors:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Braghieri Pietro<\/li>\n\n\n\n<li>Cristoforetti Luca<\/li>\n\n\n\n<li>Debiasi Alberto<\/li>\n\n\n\n<li>Dylan Trenti<\/li>\n\n\n\n<li>Tonetta Stefano<\/li>\n<\/ul>\n\n\n\n<p>Past contributors:<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>Irfan Ahmed<\/li>\n<\/ul>\n[\/et_pb_text][\/et_pb_column]\n\t\t\t[\/et_pb_row]\n\t\t[\/et_pb_section]","protected":false},"excerpt":{"rendered":"<p>[et_pb_section admin_label=&#8221;section&#8221;] [et_pb_row admin_label=&#8221;row&#8221;] [et_pb_column type=&#8221;4_4&#8243;][et_pb_text admin_label=&#8221;Text&#8221;] CHESS&nbsp;(Composition with Guarantees for High-integrity Embedded Software Components Assembly) tool is a open source software project that supports the design phases of safety-critical systems, combining the model-driven architecture design with formal methods. CHESS enable the interaction with external backend tools to perform different analysis. These external tools include&nbsp;OCRA&nbsp;for [&hellip;]<\/p>\n","protected":false},"author":5,"featured_media":4487,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"<!-- wp:paragraph -->\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/start.html\" target=\"_blank\" rel=\"noreferrer noopener\">CHESS&nbsp;<\/a>(Composition with Guarantees for High-integrity Embedded Software Components Assembly) tool is a open source software project that supports the design phases of safety-critical systems, combining the model-driven architecture design with formal methods.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>CHESS enable the interaction with external backend tools to perform different analysis. These external tools include&nbsp;<a href=\"https:\/\/ocra.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">OCRA<\/a>&nbsp;for contract-based analysis,&nbsp;<a href=\"https:\/\/nuxmv.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">nuXmv<\/a>&nbsp;for model checking,&nbsp;<a href=\"https:\/\/xsap.fbk.eu\/\" target=\"_blank\" rel=\"noreferrer noopener\">xSAP<\/a>&nbsp; for model-based safety analysis. They run in background or remotely via OSLC and the user does not interact with them directly.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:heading -->\n<h2 class=\"wp-block-heading\">Useful Links<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/publis\/CHESS_ToolsetGuide.pdf\">CHESS user guide<\/a><\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/es.fbk.eu\/wp-content\/uploads\/2021\/02\/chess_functionalities.mov\">Video&nbsp;<\/a>showing the main CHESS functionalities in the context of the AMASS project.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p><a href=\"https:\/\/www.eclipse.org\/chess\/start.html\" target=\"_blank\" rel=\"noreferrer noopener\">CHESS project website<\/a>&nbsp;for further information.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:heading -->\n<h2 class=\"wp-block-heading\">Related Projects<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>List of projects related to CHESS:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li><a href=\"https:\/\/www.amass-ecsel.eu\/\">AMASS<\/a>: Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems. In this project, CHESS was extended and connected to other tools for the design of safety-critical systems.<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li><a href=\"http:\/\/www.chess-project.org\/\">CHESS<\/a>: EU Project in which the CHESS software was created.<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:heading -->\n<h2 class=\"wp-block-heading\">Contributions<\/h2>\n<!-- \/wp:heading -->\n\n<!-- wp:paragraph -->\n<p>The Embedded System unit is contributing to the design and development of the project.<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:paragraph -->\n<p>Current contributors:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li>Braghieri Pietro<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Cristoforetti Luca<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Debiasi Alberto<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Dylan Trenti<\/li>\n<!-- \/wp:list-item -->\n\n<!-- wp:list-item -->\n<li>Tonetta Stefano<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->\n\n<!-- wp:paragraph -->\n<p>Past contributors:<\/p>\n<!-- \/wp:paragraph -->\n\n<!-- wp:list -->\n<ul><!-- wp:list-item -->\n<li>Irfan Ahmed<\/li>\n<!-- \/wp:list-item --><\/ul>\n<!-- \/wp:list -->","_et_gb_content_width":"","footnotes":""},"categories":[8],"tags":[],"class_list":["post-411","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-tools","et-has-post-format-content","et_post_format-et-post-format-standard"],"_links":{"self":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/411","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/comments?post=411"}],"version-history":[{"count":36,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/411\/revisions"}],"predecessor-version":[{"id":9237,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/posts\/411\/revisions\/9237"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media\/4487"}],"wp:attachment":[{"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/media?parent=411"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/categories?post=411"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/es.fbk.eu\/index.php\/wp-json\/wp\/v2\/tags?post=411"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}