News and information related to current and past RCL projects are listed in the following.
To filter the information by project, please use the links on the left column.




DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS PDF Print E-mail
DEVASSES

devasses-logo-websiteInvolvment type: participant
Project website: http://www.devasses.eu
Project contract: PIRSES-GA-2013-612569 (FP7-PEOPLE-2013-IRSES n.612569)
Start date: 01-01-2014
End date: 31-12-2017

The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design-time and run-time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually.

Read more...
 
CECRIS: CErtification of CRItical Systems PDF Print E-mail
CECRIS

rsz cecris logo blue

Involvment type: participant
Project website: http://www.cecris-project.eu/
Start date: 01-01-2013
End date: 31-12-2016

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

 

Read more...
 
CHESS training material is now available! PDF Print E-mail
CHESS

The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

 
Prof. Davi Bibiano Brito Seminars PDF Print E-mail
DEVASSES

On March 30th and 31st, Prof. Davi Bibiano Brito had two seminars, entitled:

  • Automatic and Self Sustaining Precision Irrigation System
  • Projects for Excellence in Microelectronics - PEM

Davi is an assistant professor at Universidade Federal de Alagoas (UFAL), in Maceió, Brazil.

He is visiting the Resilient Computing Lab as part of the DEVASSES project, and will stay in Firenze for one month.

Davi Brito_seminar

 
RCL hosted the 5th IRENE F2F meeting PDF Print E-mail
IRENE

RCL hosted the 5th face-to-face meeting of the project IRENE (now at month 19/30), which involved attendees from all the partners of the consortium. In particular, the meeting was directed to discuss the novel architectures and the modeling tool that are being developed within WP3 and WP4 of the project.

During the meeting, RCL promoted the discussion about the integration of the tools that are being developed in the context of the project (modeling, threat analysis, load prediction), aiming to find the best way to connect them. In addition, a presentation about model-based evaluation of the IRENE methods and framework was shown, to support and complement the analysis including evaluations related to dependability and security assessment. These evaluations will be conducted using techniques such as extensions of SAN (Stochastic Activity Networks).

For some of the participants this was the first time in Firenze. Consequently the session of the 26th April ended in a dinner in one of the most famous restaurants of the city centre. Moreover, a brief Firenze-by-night tour was performed before coming back to the hotels.

Meeting Attendees

 
DEVASSES/CECRIS Joint Seminars and Prof. Henrique Madeira visit PDF Print E-mail
CECRIS

Very enjoyable international collaboration is happening in these days at RCL!

Today we had a seminar joining together people with both the DEVASSES and the CECRIS projects. Beáta Hergovics and Máté Tóth are testing engineers from Prolan in Budapest, Hungary, and are currently visiting RCL for a short period to work on the CECRIS project.

Lucas Leal is a Master's student at the Universidade Estadual de Campinas, in Brazil, and he will stay in Florence for a three-months secondment to work in the DEVASSES project. During his secondment he will work on "Model-Based Online Testing for Dynamic SOA"; this seminar was the opportunity to present the initial idea and discuss the topic with the other researchers.

Prof. Henrique Madeira, from the University of Coimbra in Portugal was also attending the workshop. In this period Prof. Madeira is visiting University of Florence, where he is also holding a set of seminars on "Design of experiments for resilience assessment and benchmarking". The goal is to use real data from concrete resilience/dependability assessment experiments, particularly raw data from fault injection experiments, to provide a comprehensive set of examples on how to design and perform correct experiments. The course is covering basic concepts on fault injection for dependability and resilience assessment, steps of designing an experiment, how to perform correct measurements, and hypothesis testing.

 
<< Start < Prev 1 2 3 4 5 6 7 8 Next > End >>

Page 5 of 8

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web