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

 

 
May 28th: Open Workshop on Achievements in Systems of Systems Research and Innovation PDF Print E-mail
AMADEOS

The European Systems of Systems Research and Innovation Cluster, which includes the AMADEOS project, organizes an Open Workshop on Achievements in Systems of Systems Research and Innovation on May 28th, 2015 in Florence, Italy. Logistics for the event will be organized by the Resilient Computing Lab, and hosted at the Auditorium al Duomo, in the hearth of Firenze historical city center.

The workshop will include presentations from past and ongoing European Projects in the areas of

  • Systems of Systems Dynamics, Management and Control
  • Models and Tools for Systems of Systems Engineering
as well as a presentation and discussion of the European Roadmap on Cyber-physical Systems of Systems, with participation of representatives from the European Commission.

You can consult a preliminary version of the agenda here.

Please note that the participation in the event is free of charge, but seats are limited. Registration is therefore required and participation subject to availability of seats. If you are interested to participate, please fill in the registration form and send it by mail to This e-mail address is being protected from spambots. You need JavaScript enabled to view it

Please find hereafter some information to help you organize your travel:

We are looking forward to meeting you in Florence soon!

 
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.

 
Second issue of the newsletter of FP7 Projects on Systems of Systems PDF Print E-mail
AMADEOS

The second issue  of the newsletter of the Cluster of FP7 Projects on Systems of Systems, October 2014, has been published: http://www.cpsos.eu/news-events/newsletters/

You will find there the information about the past, ongoing and upcoming activities of the SoS cluster. This includes activites carried out by members of the AMADEOS project, coordinated by the Resilient Computing Lab.

If you have not done it yet, do not forget to subscribe to the mainling list, to make sure you will receive the upcoming issues!

 
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
 
AMADEOS Plenary Meeting in Ischia PDF Print E-mail
AMADEOS

During September RCL participated to the plenary meeting of the AMADEOS EU FP7 project in Ischia to coordinate the activities following the second EU review which has been successfully passed in May.

RCL members involved in the project meeting were prof. Andrea Bondavalli, Paolo Lollini, Andrea Ceccarelli and Marco Mori. During the plenary meeting, the consortium discussed the progress in implementing EU reviewers' comments related to each work package and the activities to be completed for the currently starting third and last year of the AMADEOS project. Among others, the discussion held at the project meeting focused on conceptual modeling System-of-Systems (SoS), architectural aspects and building blocks to be exploited in a design methodology for SoS, simulation of SoS in the Smart Grid domain, management concerns and finally dissemination and exploitation activities such as the organization of a workshop on SoS emergence to foster discussion within the SoS EU project cluster.

The AMADEOS project consists of 6 academic and industrial partners from 4 different european countries and it focuses on Architectures for Multi-criticality Agile, Dependable, Evolutionary and Open System-of-Systems. The project's objective is to bring time awareness and evolution into the design of System-of- Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology, supported by some prototype tools, for the modeling, development and evolution of time-sensitive SoSes with possible emergent behaviors.






 

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

Page 13 of 14

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web