CHESS Statistical Trace Analyzer PDF Print E-mail
Tools

This software is used to analyze the statistical properties of run-time execution traces of different variables. Its application domain is real-time safety-critical systems. Key variables like release jitter, execution time, etc. are analyzed to devise probabilistic upper bounds, which are guaranteed to be respected with a given given coverage. This tool is part of the CHESS Framework, and it has been developed within the CONCERTO project.

The tool is released as open source, and available on GitHub:
https://github.com/montex/it.unifi.rcl.chess.traceanalysis

A precompiled binary is also available here, packaged as a runnable jar.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
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.

 
TENACE D1 on the Italian National Security Website PDF Print E-mail
TENACE

The WP1 report of the TENACE project is now available on the website of Italy’s Intelligence System for the Security of the Republic.

Italy’s Intelligence System for the Security of the Republic is the collective name given to the authorities and organizations responsible for intelligence policies, intelligence coordination and intelligence operations. Further details on the organization and its role in Italy are available here.

 
Results of the CHESS project are online PDF Print E-mail
CHESS

Research and development within the CHESS project was completed in April 2012. The results produced within the project are now online on the website of the project.

Read more...
 
Accomodation PDF Print E-mail
Logistics

Many websites can be used to find an accommodation in Florence, see e.g. http://en.firenze-online.com/

In the following you can find a short list of hotels with special rates for guests of "Dipartimento di Matematica e Informatica U.Dini". The full list is available here.
For your reservation, please contact DIRECTLY the hotel of your choice mentioning "Dipartimento di Matematica e Informatica U.Dini".

Near Florence city center

  • Residenza Fiorentina ***
    Via Dei Fossi, 12 - 50123 Firenze
    Tel: +39 055-282980 Fax 055.286882 
    Website: http://www.laresidenzafiorentina.it
    E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
  • B&B HOTEL FIRENZE*** 
    V.LE AMENDOLA 34  Firenze 
  • Tel: +39 055-2343201
    Website: www.hotel-bb.com/it/hotel/firenze-city-center.htm 
    E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
  • HOTEL CIMABUE *** 
    VIA BONIFACIO LUPI, 7 
    Tel: +39 055-475601,055-471989
    Website: www.hotelcimabue.it
    E-mail:  This e-mail address is being protected from spambots. You need JavaScript enabled to view it

Near the department

  • Hotel Raffaello ****
    Viale Morgagni, 19 - 50134 FIRENZE
    Phone. +39.055.4224141 (10 lines)-
    Reservation +39.055.4369725
    Web-site: http://www.raffaellohotel.it/
    E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
  • Hotel Corolle ***
    Via Giulio Caccini 24 I - 50141 Firenze
    Tel. +39.055-4221992
    Web-site: http://hotelcorolle.it
    E-Mail : This e-mail address is being protected from spambots. You need JavaScript enabled to view it
 
Where Is RCL PDF Print E-mail

RCL Research Group
c/o Dipartimento di Matematica e Informatica (DiMaI)
Viale Morgagni, 65 
50134 - Firenze
Italy.

Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 9 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web