Call for Papers- Special Issue on Resilient Cyber-Physical Systems PDF Print E-mail
Announcements

Resilient CPS_horizontal_light_banner













Message from the Guest Editors

This Special Issue “Resilient Cyber-Physical Systems” aims to discuss innovative methodologies and techniques for improving resilience in the broad spectrum of cyber physical systems, presenting new research advances as well as their application in relevant case studies, especially welcoming industrial applications. New ideas proposing disruptive approaches are also welcome. Topics of interest include, but are not limited to, the following areas:

  • Design and assessment methodologies, techniques, and tools for secure and dependable cyber-physical systems
  • Modelling and experimenting with resilient cyber-physical systems
  • Threat and hazard assessment and mitigation
  • Artificial Intelligence solutions for cyber-physical resiliency
  • Model-Driven Engineering for resilient cyberphysical systems
  • Validation and certification issues in cyber-physical systems
  • Industrial applications and case studies

 

 
RELOAD - Rapid EvaLuation Of Anomaly Detectors PDF Print E-mail
Tools

RELOAD (Rapid EvaLuation Of Anomaly Detectors) is a tool that allows to easily compare different algorithms for anomaly detection. It is written in Java, wrapping algorithms coming from other Java-based frameworks such as ELKI or WEKA.

For further information, please refer to the Github WIKI.

Information about the tool can be found in the following papers:

  • Zoppi, T., Ceccarelli, A., & Bondavalli, A. (2019). Evaluation of Anomaly Detectors Made Easy with RELOAD. To appear at 30th International Symposium on Software Reliability Engineering (ISSRE 2019), Oct 2019.
  • Zoppi, T., Ceccarelli, A., & Bondavalli, A. (2019). MADneSs: a Multi-layer Anomaly Detection Framework for Complex Dynamic Systems. IEEE Transactions on Dependable and Secure Computing, DOI: 10.1109/TDSC.2019.2908366 (2019, May)
  • Falcão, F., Zoppi, T., Silva, C. B. V., Santos, A., Fonseca, B., Ceccarelli, A., & Bondavalli, A. (2019, April). Quantitative comparison of unsupervised anomaly detection algorithms for intrusion detection. In Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing (pp. 318-327), ACM. DOI: 10.1145/3297280.3297314
 
Farewell to "Brazilian" Researchers PDF Print E-mail
People

To celebrate the two visiting "Brazilians", RCL organized a social lunch with some delicious middle-east food thanks to the chef of the group!

WhatsApp Image_2019-02-11_at_18.13.55

This was the perfect time to celebrate the farewell of Leandro Dias da Silva (Universidade Federal do Alagoas - UFAL - Brazil) and Leonardo Montecchi, a former RCL member which now has a position at UNICAMP, the Universidade Estadual do Campinas, in Brazil.

We hope to see you again in Florence, it was a pleasure working with you!

 
RCL receives brazilian researchers PDF Print E-mail
DEVASSES

Starting from the middle of November, the Resilient Computing Lab is hosting three brazilian students as part of the DEVASSES project. All of them are coming from Universidade Federal de Alagoas (UFAL), in Maceió, Alagoas, and are supervised by professor Baldoino Neto.

Anderson Santos is a graduate student working on Anomaly Detection Benchmarks, and he will stay in Firenze for six months. Caio Barbosa and Felipe Falcão are both undergraduate students visiting Firenze for three months: Caio is studying an Anomaly Detector Framework and Felipe is addressing the Classification of Anomaly Detection Algorithms.

2016.11.24

 
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 9 10 Next > End >>

Page 8 of 16

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web