Where Is RCL PDF Print E-mail

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

Brain Drain Hits RCL: Good Luck Leo! PDF Print E-mail

The RCL group is proud to announce that Dr. Leonardo Montecchi is going to become an Assistant Professor at the University of Campinas, Brazil. Leo successfully participated in a public examination some months ago, and now is time for him to reach UNICAMP and begin his new adventure.

We are going to miss him, as well as the entire Chianti area, where the media have already released that to the public.

Good luck Leo!

chiantisette   chiantisette2

WDES 2016 PDF Print E-mail

RCL is involved in the organization of the Workshop on Dependability in Evolving Systems (WDES 2016), co-located with the Latin American Dependable Computing Conference (LADC 2016). The workshop will take place in October 19-21, 2016 in Cali, Colombia.

Submissions are open!

Further information and instructions on how to submit your paper can be found on the WDES 2016 and LADC 2016 websites.

WDES 2016

Alexandre Esper seminar PDF Print E-mail

On December 11th, Alexandre Esper had a seminar at RCL last Thursday, entitled "Mixed-Criticality Systems: A Review".

Alexandre works at Critical Software in Portugal, and he has been visiting CINI - Firenze for two weeks, as part of the CECRIS project.

Andrea's webinar at INCOSE PDF Print E-mail

On September 25th Andrea held a webinar of the INCOSE webinar series, on the work developed within the AMADEOS project. The International Council on Systems Engineering (INCOSE) is a not-for-profit membership organization founded to develop and disseminate the interdisciplinary principles and practices that enable the realization of successful systems.

The title and abstract of the talk are as follows. The slides presented during the webinar are available here.

Architecture for Multi-­‐criticality Agile Dependable Evolutionary Open System-­‐of-­‐Systems (AMADEOS)
The AMADEOS project goal is to bring time awareness and evolution into the design of Cyber Physical System-­‐of-­‐Systems (CPSoS), 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 CPSoS with possible emergent behaviors. This seminar will discuss some basic challenges taken by the Project and some advances in three directions. i) Time Management: the design and prototyping of a resilient master clock to provide a sound global time base to the CPSoS. ii) Management of the Physical interactions of the CPSoS: definitions of physical interfaces and interaction of stigmergic channels with usual cyber message flows. iii) AMADEOS conceptual model of CPSoS with associated SySML profile supporting the design of a CPSoS considering different system's view-­‐points, namely structure, dynamicity, evolution, dependability and security, time, emergence and multi-­‐criticality.

Slides (PDF)

Architecture       for       Multi-­‐criticality       Agile       Dependable       Evolutionary       
Open       System-­‐of-­‐Systems       (AMADEOS)       
The        AMADEOS        project        goal        is        to        bring        time        awareness        and        evolution        into        the        design        of        Cyber       
Physical        System-­‐of-­‐Systems        (CPSoS),                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       CPSoS       with       possible       emergent       behaviors.       
This       seminar       will       discuss       some       basic       challenges       taken       by       the       Project       and       some       advances       in       three       
directions.       i)       Time       Management:       the       design       and       prototyping       of       a       resilient       master       clock       to       provide       
a        sound        global        time        base        to        the        CPSoS.        ii)        Management        of        the        Physical        interactions        of        the        CPSoS:       
definitions        of        physical        interfaces        and        interaction        of        stigmergic        channels        with        usual        cyber       
message        flows.        iii)        AMADEOS        conceptual        model        of        CPSoS        with        associated        SySML        profile       
supporting       the       design       of       a       CPSoS       considering       different       system's       view-­‐points,       namely       structure,       
dynamicity,       evolution,       dependability       and       security,       time,       emergence       and       multi-­‐criticality.      
NekoStat PDF Print E-mail

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:

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

Page 9 of 11

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web