RCL ADVANCEs in its research domain PDF Print E-mail
Announcements

RCL joins the RISE2018 program with the ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems - project, along with the other partners, namely

  • RCL: CINI, Italy
  • UNIVERSIDADE DE COIMBRA, Portugal
  • BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM, Hungary
  • UNIVERSIDAD DE LOS ANDES FUNDACION, Colombia
  • RESILTECH SRL, Italy
  • UNIVERSIDADE ESTADUAL DE CAMPINAS, Brazil
  • INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS, Brazil

The abstract of the project (H2020-MSCA-RISE-2018, number 823788) is as follows.

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyze data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project's scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and video courses, on the topic of Verification & Validation of Cyber-Physical Systems. These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation
(V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the
system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process.
In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing
on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and
analyze data of the system under analysis (focusing on data analysis, requirements management, traceability).
The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs.
Besides allowing the consortium to reach the project’s scientific objectives, the established interactions would allow the
training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards
a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in
the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication
Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and
video courses, on the topic of Verification & Validation of Cyber-Physical Systems.
These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds,
and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference


 
Mário Rui Baptista seminar PDF Print E-mail
CECRIS

Mário Rui had a seminar at RCL last Thursday, entitled "Towards cyber-security challenges in Smart Grids and viable solutions".

Mário works at Critical Software in Portugal, and he is currently visiting CINI - Firenze for two months, as part of the CECRIS project. Further information, as well as a pdf version of the slides presented at the talk, is available on the CECRIS website.

 
Third issue of the newsletter of FP7 Projects on Systems of Systems PDF Print E-mail
AMADEOS

The third issue  of the newsletter of the Cluster of FP7 Projects on Systems of Systems, September 2015, has been published:

You will find there the information about the past, ongoing and upcoming activities of the SoS cluster. This includes activites carried out by members of the AMADEOS project, coordinated by the Resilient Computing Lab. In this issue includes, among the other topics, an overview of the AMADEOS Architectural Framework for evolvable SoS design.

Previous issues of the newsletter can be found here: http://www.cpsos.eu/news-events/newsletters/
If you have not done it yet, do not forget to subscribe to the mainling list, to make sure you will receive the upcoming issues!

 
RCL in Brazil PDF Print E-mail
DEVASSES

A rendezvous of RCL researchers has recently happened in Brasil!

Enrico, Leonardo and Tommaso arrived in Campinas in the beginning of May, for a three-months secondment as part of the DEVASSES project. Enrico and Leonardo are spending three months at the Universidade Estadual de Campinas (UNICAMP) to collaborate with local researchers; Tommaso after a short period in Campinas is now continuing his research at the Universidade Federal de Alagoas (UFAL) in Maceió.

Enrico, Leonardo, and Tommaso at UNICAMP

Then, the RCL group has been reinforced by Andrea B. and Andrea C., which spent a short but busy period in Brasil as well. Besides attending the DSN'15 conference and the RADIANCE workshop in Rio, they were in Campinas for the 4th DEVASSES ToK Workhsop, and spent additional time there in which they had seminars and discussions with the local UNICAMP team.

Andrea B., Andrea C., Enrido, and Leonardo at UNICAMP

We are now looking forward to host UNICAMP and UFAL researchers in Firenze!

 
NekoC PDF Print E-mail
Tools

NekoC is an extension of the Neko framework that allows to simply integrate in the Java tool legacy algorithms written in C/C++ as Neko layers.

The tool is described in this paper: Qualitative and Quantitative Validation of Legacy Distributed Algorithms through NekoC

From here you can download the sources of NekoC with the case of study depicted in the paper. To use NekoC you need to install also the Neko tool and Jace. Some piece of code are specific for gcc compiler on Linux, but could be quite easily portable to other OSs and compilers.

The persons involved in the NekoC project are:

  • Giuseppina Bastone
  • Lorenzo Falai
  • Andrea Bondavalli

If you want more informations about the NekoC project, please write to Lorenzo Falai.

 
Former and Current RCL people involved at LADC PDF Print E-mail
Announcements

 

phoca thumb_l_dscn2359

Both former and current RCL people were strongly involved in the organization and as speakers at the Latin-American Dependable Computing (LADC) Conference. More in detail, the conference was co-chaired by Andrea Ceccarelli, while Enrico Schiavone joined the conference as a speaker. It is worth noticing also the contribute of Leonardo Montecchi (Workshop Co-Chair), former member of RCL and now assistant professor at UNICAMP. The conference was a great success; in addition, the attendees were prized with a guided tour of the Iguassu Falls!

IMG 20181007_125837

 
<< Start < Prev 11 12 13 14 Next > End >>

Page 11 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web