RCL at ISSRE19 PDF Print E-mail
Announcements

Andrea and Tommaso just spent 4 days in Berlin attending to the ISSRE 19 Conference.

It was an interesting meetup and an opportunity to present the paper "Evaluation of Anomaly Detection algorithms made easy with RELOAD", a Tool and Artifacts (TAR) Paper.

Information about RELOAD can also be found in the Tools Section of the website.

tz issre

 
RCL Welcomes a new Visiting Student from UNICAMP PDF Print E-mail
ADVANCE

RCL welcomes Eldèr Junior, Master student from UNICAMP. Elder comes to UNIFI for 4 months within the ADVANCE project, to sharpen and refine his Master Thesis entitled "Towards a Structured Specification of Coding Conventions". Nice to have you here Elder!

WhatsApp Image_2019-10-18_at_15.19.07

 
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
 
RFI - Safety-Critical Architectures PDF Print E-mail
RFI - Safety-Critical Architectures

 

The project 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 - Rete Ferroviaria Italiana -, 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.

 
SISTER: SIgnaling & Sensing TEchnologies in Railway applications PDF Print E-mail
SISTER

alt

Involvment type: participantalt
Project website:http://www.progetto-sister.com/
Project contract: POR FESR Toscana 2014-2020
Start date: 2017-02-01
End date: 2018-12-31

 

Goals and Objectives

In the context of integration of traditional tramway systems with metropolitan hybrid solutions tram-train type (Light Rail Transit, LRT), the SISTER project aims at combining the concepts of rail safety with a higher operative automation level, guaranteed by innovative signaling solutions. The solutions developed within the SISTER project will allow significant improvements in capacity in LRT systems together with the assurance of fast, safe and efficient journeys.

Design of a solution that will improve safety in LRT mode by the development, integration and validation of three innovative actions:
- An innovative signaling system;
- A new remote sensing radar with a high reliability level;
- An innovative communication system based on radio broadband resilient to interferences.

The maturity level of the solution will be evaluated in a partner gate in order to make the necessary corrections to develop a final demonstrator.

Consortium

  • THALES ITALIA S.P.A.
  • IDS INGEGNERIA DEI SISTEMI S.P.A.
  • GENESY SRL
  • UNIVERSITA’ DEGLI STUDI DI FIRENZE
  • UNIVERSITA’ DI PISA
  • RESILTECH SRL
 
TOSCA-FI: Tool Optoelettronico per Strutture in Calce cemento Acciaio - Ferrovie Italiane PDF Print E-mail
TOSCA-FI

Involvment type: participant
Project contract: FAR-FAS 2014
Start date: 2017-01-01
End date: 2018-12-31

Goals and Objectives

Develop an innovative diagnostic methodology for inspection and control of railway infrastructure such as bridges built in concrete, steel, or masonry,  in order to improve the current systems based only on visual examination.

High-resolution photography and thermography will be integrated with innovative remote-sensing technologies as 3D laser scanner, and fluorescence lidar.

The consortium will study data fusion methodologies necessary to correlate and merge two-dimensional and three-dimensional images aiming at strengthen the information content. Data coming from these different sources will flow into an ICT platform (i.e. a OLAP database) for analysis and historical archiving.

Consortium

  • Te.Si.Fer. S.r.l.
  • DiMaI - Università degli Studi di Firenze
  • IFAC - CNR
  • Durazzani S.r.l. - Territorio e Ambiente
  • IAC - CNR
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 1 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web