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

 
CHESS State-Based Analysis (CHESS-SBA) PDF Print E-mail
Tools

The CHESS "State-Based Analysis" plugin is part of PolarSys CHESS, an open source methodology and tool for the development of high-integrity embedded systems. The CHESS methodology was devised and implemented initially in the CHESS project, later extended in the CONCERTO project, and then further developed within other projects.

This plugin performs Quantitative Dependability Analysis using a variant of the Stochastic Petri Nets formalism, starting from models specified in the CHESS ML language. The plugin is able to automatically compute system-level dependability metrics, based on dependability properties of individual components, and a description of the system, software, and/or hardware architecture.  

The whole CHESS Framework is released as open source and it is now an Eclipse project under the PolarSys Working Group. CHESS-SBA is also available on GitHub, jointly with an extensive wiki as documentation.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
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.      
 
RCL Welcomes a New PhD Student PDF Print E-mail
Announcements

A new PhD Student, Atif Muhammad, has joined the RCL group!

He introduced himself with a dissertation entitled "Machine Learning Applications in Data Mining and Image Processing". Good Luck Atif!

20191216 152316

 
CHESS Statistical Trace Analyzer PDF Print E-mail
Tools

This software is used to analyze the statistical properties of run-time execution traces of different variables. Its application domain is real-time safety-critical systems. Key variables like release jitter, execution time, etc. are analyzed to devise probabilistic upper bounds, which are guaranteed to be respected with a given given coverage. This tool is part of the CHESS Framework, and it has been developed within the CONCERTO project.

The tool is released as open source, and available on GitHub:
https://github.com/montex/it.unifi.rcl.chess.traceanalysis

A precompiled binary is also available here, packaged as a runnable jar.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
<< 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