Successful EDCC chaired by RCL member! PDF Print E-mail
Announcements

 

EDCC 2018 took place in Iaşi, Romania, between 10-14 September 2018. Located in the North-East of Romania, the city is the main academic, cultural and economic center of the region. EDCC 2018 was organized by the Alexandru Ioan Cuza University of Iaşi (UAIC) with the support of the Horizon 2020 EBSIS project, and, more importantly, had Paolo Lollini as Program Chair!

Alexandru Ioan_Cuza_University_of_Iasi

 

 
CECRIS Project: Book Available! PDF Print E-mail
Announcements

The book originating from the CECRIS project is now available!

The book is published in open access form by RiverPublisher, meaning that it is freely available for download.

 

 

 River L05SdJwGHa17nhQH7YR1Publishers Series in Information Science and Technology  

 Certifications of Critical Systems - The CECRIS Experience

 Editors:
 Andrea Bondavalli, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), and University of Florence, Italy
 Francesco Brancati, ResilTech Srl, Italy

 ISBN: 9788793519565

 doi: 10.13052/rp-9788793519558

 Price : € 85.00

 Available:  September 2017

 In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the  development, validation and verification of critical systems, i.e. those systems whose malfunctions or  failures reach a critical level both in terms of risks to human life as well as having a large economic impact. 

Certifications of Critical Systems - The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools. 

Starting from 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, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases.

 
Last DEVASSES Secondments at UNIFI PDF Print E-mail
Announcements

Within the last two months, two professors from Universidade Federal de Alagoas (UFAL, in Maceió, Brazil) joined RCL as part of the DEVASSES project. Prof. Leandro Dias da Silva and prof. Tiago Figuereido Vieira shared their work through the following seminars:

  • Leandro: 

    Formal methods for system specification 

    (October 23rd)
  • Tiago: Assessing Machine Learning Techniques for Vulnerability Prediction (November 23rd)
These talks allowed to start and build collaborative works with people at UNIFI.
20171023 153050
WhatsApp Image_2017-12-20_at_15.40.03
 
EDCC 2018 PDF Print E-mail
Announcements

=========================================================

14th European Dependable Computing Conference (EDCC-2018)

=========================================================

10-14 September 2018
Iasi, Romania
---------------------------------------------------------

The European Dependable Computing Conference is a unique forum for researchers and practitioners to present and discuss their latest research results on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable and secure computing systems. In addition to original papers on research, EDCC welcomes papers dedicated to dependability in practice: industrial applications, experience in introducing dependability in industry, use of new or mature dependability approaches to new challenging problems or domains, etc. It will also provide a natural meeting place for the large number of projects in dependability, to present their state of advancement and innovative results.

EDCC 2018 will feature several tracks, including invited speakers, full paper presentations, posters, a student forum and a set of cutting-edge workshops.

Authors of regular papers and experience reports accepted and presented at EDCC will be encouraged to submit an extended and modified version of their papers to a Special issue of the International Journal of Critical Computer-Based Systems, dedicated to System Dependability, with a short cycle, to appear early 2019.
Full details are on the EDCC-2018 website.

 

 
RCL at ARES Conference PDF Print E-mail
Announcements

ARES 2017A deputation of RCL team participated in the 12th edition of ARES, the International Conference on Availability, Reliability and Security, held from August 29 to September 1st, 2017 at the Università degli Studi Mediterranea di Reggio Calabria, Reggio Calabria, Italy. ARES  aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications.

Andrea Bondavalli gave a keynote Enrico @ ARES 2017on "Anomaly Detection for Complex Dynamic Systems" at the 12th edition of FARES, the International Workshop on Frontiers in Availability, Reliability and Security, held in conjunction with ARES.

Enrico Schiavone presented the paper entitled "Continuous Biometric Verification for Non-Repudiation of Remote Services" which has been accepted as full paper for publication. The acceptance rate of full papers at ARES 2017 was 24,21%.

 
Resilient and Secure Cyber Physical Systems: Matching the Present and the Future! PDF Print E-mail
Announcements

Il giorno martedi 11 luglio 2017, alle ore 15:00 presso l'aula 303 del Centro Didattico Morgagni (V.le Morgagni 40 - Firenze), il Prof. Andrea Bondavalli terrà un seminario divulgativo dal titolo:

Resilient and Secure Cyber Physical Systems: Matching the Present and the Future!

Word cloud

Il seminario sarà organizzato in due parti:

  • Nella prima parte saranno presentate le caratteristiche principali dei Cyber Physical System, soffermandosi in particolare sugli aspetti legati alla resilienza e sicurezza di tali sistemi, e saranno presentati esempi concreti di CPS in diversi domini applicativi, dall' Internet delle cose (IoT - Internet of Things), ai Sistemi di Sistemi, alle tematiche di Industria 4.0.
  • Nella seconda parte sarà presentato il nuovo Curriculum in Resilient and Secure Cyber Physical Systems del Corso di Laurea Magistrale in Informatica, chiarendone gli aspetti caratterizzanti, gli obiettivi formativi e gli sbocchi professionali.

La partecipazione è libera per tutti, è richiesta però la prenotazione tramite il seguente form: https://docs.google.com/forms/d/e/1FAIpQLScrONY0ixHxA190hIk04g1VQjd_4btdRbXtY1GkuGQGSWQSdg/viewform

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

Page 14 of 15

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web