Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Newcomers » Proposals » New Project Proposal : CHESS
New Project Proposal : CHESS [message #1138810] Tue, 15 October 2013 10:45 Go to next message
Lei Pi is currently offline Lei PiFriend
Messages: 3
Registered: October 2013
Junior Member
I am glad to announce the CHESS project proposal:

http://eclipse.org/proposals/polarsys.chess

Please use this forum topic if you have any questions or feedback on this project proposal.

Best regards,

Lei


Re: New Project Proposal : CHESS [message #1140603 is a reply to message #1138810] Wed, 16 October 2013 13:24 Go to previous messageGo to next message
wenceslas godard is currently offline wenceslas godardFriend
Messages: 1
Registered: October 2013
Junior Member
Good news!

CHESS is tailored for the systems design/verification of non-functional; for properties of multiple domains complex systems (including aerospace).

Industrials, tool providers and researchers work on to go keep improving and facing future challenges.

Try it!
Re: New Project Proposal : CHESS [message #1159609 is a reply to message #1140603] Mon, 28 October 2013 17:04 Go to previous messageGo to next message
Leonardo Montecchi is currently offline Leonardo MontecchiFriend
Messages: 3
Registered: September 2013
Junior Member
Dear all,

these are indeed great news!

As contributor to the CHESS framework, the Resilient Computing Lab at University of Firenze is looking forward to support this project by sharing the technologies we developed within the ARTEMIS CHESS project.

Our contribution to the CHESS framework concerns with the modeling and analysis of dependability properties. Dependability (including reliability, safety, availability) is a fundamental aspect in the development of embedded systems in domains like defense, energy, transportation, etc, which are being targeted by Polarsys. The work we developed within CHESS provides a model-transformation toolchain for automated quantification of some dependability properties (mainly reliability and availability). In a certification process, these activities are typically known as RAMS analysis.

All the toolchain is based on open source tools within the Eclipse Modeling framework, with the exception of the final analysis tool (a simulator for Stochastic Petri Nets).

Overall, the Polarsys initiative is of interest for us, since our research group is actively working on this topic. Within the ongoing ARTEMIS CONCERTO project we are going to refine and extend our approach and toolchain for better application in industrial context, and improve the consistency of safety-related information within the development process. Other activities in our research group involve the certification of safety-critical systems, and new analysis techniques for addressing new safety standards like ISO26262, which in the future could further contribute to Polarsys objectives.

Best regards,
Leonardo Montecchi

(on behalf of the "Resilient Computing Lab" research group - University of Firenze, Italy)


Leonardo Montecchi, PhD Student
Università degli Studi di Firenze
Re: New Project Proposal : CHESS [message #1176642 is a reply to message #1138810] Fri, 08 November 2013 13:12 Go to previous message
Antonio Cicchetti is currently offline Antonio CicchettiFriend
Messages: 1
Registered: November 2013
Junior Member
Dear all,
we at MDH are glad to hear such a news!

As part of the development team of the CHESS editor first and additional features of the framework later on, we at Mälardalen University (MDH), Sweden, feel deeply involved in this effort and hence willing to support it by sharing the features realized in the context of the ARTEMIS CHESS project.

We contributed to the CHESS framework first by working on the editor (already released in the current version of the CHESS project under Eclipse) and then providing additional features, both cross domain and domain-specific. In particular, we developed support for modelling and analysis of dependability property through Failure Propagation Transformation Calculus (FPTC) and one of its extensions, called FI4FA. Moreover, we provided automated generation of complete telecommunication applications ready to run on ENEA OSE and Linux operating systems. Furthermore, we provided mechanisms supporting deployment choices and features for application monitoring and back-propagation of measured values at design level. In this way we were able to disclose chances of deployment optimization.

All the features mentioned above have been developed as open source and freely accessible. Given the effort of Ericsson in Polarsys and our involvement in the ARTEMIS CONCERTO we pursue deep interest in extending the current technique to multicore target platforms and to address additional analysis.

Regards,
Antonio Cicchetti, Federico Ciccozzi, Barbara Gallina
Previous Topic:New Project proposal: Krikkit
Next Topic:New project proposal: Franca
Goto Forum:
  


Current Time: Fri Dec 19 13:53:06 GMT 2014

Powered by FUDForum. Page generated in 0.02418 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software