|
|
Re: New Project Proposal : CHESS [message #1159609 is a reply to message #1140603] |
Mon, 28 October 2013 17:04 |
Leonardo Montecchi Messages: 10 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
Instituto de Computação, UNICAMP
http://ic.unicamp.br/~leonardo
http://laser.ic.unicamp.br/
|
|
|
Re: New Project Proposal : CHESS [message #1176642 is a reply to message #1138810] |
Fri, 08 November 2013 13:12 |
Antonio Cicchetti Messages: 17 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
|
|
|
Powered by
FUDForum. Page generated in 0.03716 seconds