New Project for RCL Group PDF Print E-mail
Wednesday, 25 July 2018 00:00

Today is the first day of the project with RFI - Rete Ferroviaria Italiana - which explores Safe Architectures for SIL4 Railway Systems. This three-year project will see a cooperation between RCL group and the R&D department of RFI, which is managing the railway network in Italy. Main targets of the project will be:

- Definition of architectures for two future SIL4 systems: PMF, which will work onboard of the train, and SEC, which will be deployed inside stations.

- Devising coding rules for implementing SIL4 software in the railway domain, including coding rules, coding styles and quality metrics.

- V&V Plan, and definition of Safety Cases

- Preliminary Hazard Analyses

- Modeling activities for the early validation of the systems above both in terms of Safety and Security.

- Exploring mechanisms for fault-tolerance in the railway domain in accordance with standards such as ERTMS / SCMT (Italian)

- Safe Visualization of safety-critical information on commercial OTS devices (e.g., tablets)

- Implementation of the "Protocollo Vitale Standard" to allow safe communications among subsystems.

Overall, the aim of the project is to devise architectures and mechanisms for SIL4 systems, along with prototypes of specific subsystems.

Train-Transparent-Background

We also report the Italian name of the project, that is: "Progetto di Ricerca: Specificazione, analisi e valutazione di architetture per applicazioni safety-critical - Architetture Fail-Safe e Fault-Tolerant delle Piattaforme SEC e PMF con Dimostratori della Piattaforma IRM e del Protocollo PVS".

 
EDCC 2018 PDF Print E-mail
Tuesday, 30 January 2018 12:32

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

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.

 

 
Last DEVASSES Secondments at UNIFI PDF Print E-mail
Wednesday, 20 December 2017 15:43

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
 
<< Start < Prev 1 2 Next > End >>

Page 2 of 2
Joomla SEO powered by JoomSEF