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.      
SOA Testing Service PDF Print E-mail

Service Oriented Architectures (SOAs) are increasingly being used to support the information infrastructures of organizations. SOAs are dynamic and evolve after deployment in order to adapt to changes in the requirements and infrastructure. Consequently, traditional validation approaches based on offline testing conducted before deployment are not adequate anymore, demanding for new approaches that allow testing the SOA during its whole lifecycle. We present a SOA testing approach based on a composite service that is able to trace SOA evolution and automatically test the various services according to specific testing policies.

You can download here a prototypal implementation of the SOA testing service presented in the paper "A Testing Service for Lifelong Validation of Dynamic SOA" (submitted).

To install and use the testing service, please refer to the readme file contained in the archive.

For information and comments, please contact Andrea Ceccarelli .

RCL Welcomes a new Visiting Student from UNICAMP PDF Print E-mail

RCL welcomes Eldèr Junior, Master student from UNICAMP. Elder comes to UNIFI for 4 months within the ADVANCE project, to sharpen and refine his Master Thesis entitled "Towards a Structured Specification of Coding Conventions". Nice to have you here Elder!

WhatsApp Image_2019-10-18_at_15.19.07

Mário Rui Baptista seminar PDF Print E-mail

Mário Rui had a seminar at RCL last Thursday, entitled "Towards cyber-security challenges in Smart Grids and viable solutions".

Mário works at Critical Software in Portugal, and he is currently visiting CINI - Firenze for two months, as part of the CECRIS project. Further information, as well as a pdf version of the slides presented at the talk, is available on the CECRIS website.

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

Page 10 of 15

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web