NekoStat PDF Print E-mail
Tools

NekoStat Logo

NekoStat is an extension to the Neko tool that allows to perform quantitative evalutation of distributed algorithms.

To use NekoStat, download the latest version (NekoStat 0.8) and recall that you have to install also the Neko tool.

For NekoStat install guide and tutorial, please refer to the following documents:


 
Head of RCL Invited at CyberSecurity Day in Pisa PDF Print E-mail
Announcements

Andrea Bondavalli was invited to the Cybersecurity Day to share his personal experience and view on startups. Since he is the co-founder of Resiltech s.r.l, a company that works on V&V of critical systems, he was able to provide the audience with some interesting suggestions and opinions.

The talk was really appreciated, and many attendees asked more details about his experience as both an academic and industrial individual.

 

 
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!

 
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.

 
... and comes back with a Prize! PDF Print E-mail
Announcements

We are glad to present here our brand new Honoris Causa Doctor, awarded by the Technical and Scientific University of Budapest.

Well done Andrea!

IMG-20190525-WA0001       IMG-20190525-WA0003

 
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 15 16 Next > End >>

Page 13 of 16

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web