The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

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.

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.

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)

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.

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.