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.

 
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://www.firenze-online.com/florence/

In the following you can find a short list of hotels with special rates for guests of "Dipartimento di Sistemi e Informatica".
For your reservation, please contact DIRECTLY the hotel of your choice mentioning "Dipartimento di Sistemi e Informatica".

Near Florence city center

  • Hotel De La Pace ***
    Via Lamarmora 28 - 50121 Firenze
    Tel. +39.055.577343
    Fax +39.055.577576
    Website: http://www.hoteldelapace.com/it/
    E-mail: This e-mail address is being protected from spambots. You need JavaScript enabled to view it
  • Hotel La Fortezza ***
    Viale Milton, 95 - 50129 Firenze
    Tel: +39.055.46391 (15 lines)
    Telefax: +39.055.46391388
    Website: http://www.hotelfortezza.com/
    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
    Fax +39.055.434374
    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.4221991
    Fax. +39.055.4221993
    Web-site: http://hotelcorolle.it
    E-Mail : This e-mail address is being protected from spambots. You need JavaScript enabled to view it
 
NekoC PDF Print E-mail
Tools

NekoC is an extension of the Neko framework that allows to simply integrate in the Java tool legacy algorithms written in C/C++ as Neko layers.

The tool is described in this paper: Qualitative and Quantitative Validation of Legacy Distributed Algorithms through NekoC

From here you can download the sources of NekoC with the case of study depicted in the paper. To use NekoC you need to install also the Neko tool and Jace. Some piece of code are specific for gcc compiler on Linux, but could be quite easily portable to other OSs and compilers.

The persons involved in the NekoC project are:

  • Giuseppina Bastone
  • Lorenzo Falai
  • Andrea Bondavalli

If you want more informations about the NekoC project, please write to Lorenzo Falai.

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

Page 8 of 11

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web