WDES 2016 PDF Print E-mail
DEVASSES

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
CECRIS

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
AMADEOS

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.      
 
Results of the CHESS project are online PDF Print E-mail
CHESS

Research and development within the CHESS project was completed in April 2012. The results produced within the project are now online on the website of the project.

Read more...
 
Adversarial Attack Injection in Carla PDF Print E-mail
Tools

The tool is a custom version of the LearningByCheating autonomous driving agent and related suite, which has been integrated with the IBM Adversarial Robustness Toolbox (ART) for the injection of 4 attacks on the RGB camera:

  • Spatial Transformation (STA),
  • HopSkipJump (HSJ),
  • Basic Iterative Method (BIM),
  • NewtonFool (NF).
The software is available at https://github.com/piazzesiNiccolo/myLbc

The software is included in the "awesome carla" repo:  https://github.com/Amin-Tgz/awesome-CARLA

 Reference:
Niccolò Piazzesi, "Attacchi verso sistemi di apprendimento in ambito autonomous driving: studio e implementazione in ambienti simulati (in Italian)", Bachelor Thesis at the University of Florence. Supervisor: Andrea Ceccarelli. Link to the Thesis: http://rcl.dimai.unifi.it/publication/show/912-2

 
Mário Rui Baptista seminar PDF Print E-mail
CECRIS

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 16

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web