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

 

 
Brazilians researchers in Firenze! PDF Print E-mail
DEVASSES

Starting from mid January, a group of researchers from Brazil have arrived in Firenze to fulfill their secondments for the DEVASSES project. An intense period of collaboration is starting: currently a total of five researchers are visting the Resilient Computing Lab. Seminars were organized in different days, to have the initial presentations of the starting secondments, and further discussions on collaboration topics.

Cecilia Rubira and Ariadne Carvalho are professors at the Universidade Estadual de Campinas (UNICAMP), in Campinas, São Paulo, Brazil. They arrived in the middle of January and are staying in Firenze for one month. Felipe Gaia and Sheila Venero are PhD students at UNICAMP, and they will stay for two and three months, respectively. Baldoino Neto is a professor at the Universidade Federal de Alagoas (UFAL), in Maceió, Alagoas, Brazil. Baldoino is also staying one month, to then pass the token to his student Marcus Piancó, which is arriving in the middle of February for a six-months secondment.

Read more...
 
Newsletter of the Cluster of EU FP7 Projects on Systems of Systems PDF Print E-mail
AMADEOS

The four recently approved EU projects on Systems of Systems interact in various ways. Representatives of the projects AMADEOS, Local4Global and DYMASOS contribute to the three Working Groups set up by the CPSoS Support Action. Mutual participation in workshops and events as well as specific cluster meetings are planned. Further interactions will be organised around synthesis reports and strategic policy documents.

Last but not least, the first issue of the Newsletter of the Cluster of EU FP7 Projects on SoS is available here. Also, do not forget to subscrive to the mailing list here, in order to receive the upcoming issues!

 
DEEM PDF Print E-mail
Tools

DEpendability Modeling and Evaluation of Multiple Phased SystemsDEEM Logo


DEEM is a software package for model-based evaluation of dependability attributes of Multiple Phased Systems (MPS), a quite general class of systems including Phased Mission Systems (PMS) and Scheduled Maintenance Systems (SMS).

To get more info, please visit the DEEM web site.

 
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.

 
AMADEOS booth at ARTEMIS-IA Co-summit in Berlin PDF Print E-mail
AMADEOS

Delegates from the AMADEOS consortium have attended the ARTEMIS-IA co-summit in Berlin on 10-11 March 2015.  

The AMADEOS project was showcasing its advancement through a booth, where a poster, leaflets and running slides were available to be discussed with UNIFI and TUW researchers. The event was the occasion to show the project advancements to the ARTEMIS community, and the other people attending the meeting."

AMADEOS Booth

Further detials on the event can be found on the ARTEMIS-IA website.

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

Page 11 of 13

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web