NekoC PDF Print E-mail
Tools

NekoC is an extension of the Neko framework that allows to simply integrate in the Java tool legacy algorithms written in C/C++ as Neko layers.

The tool is described in this paper: Qualitative and Quantitative Validation of Legacy Distributed Algorithms through NekoC

From here you can download the sources of NekoC with the case of study depicted in the paper. To use NekoC you need to install also the Neko tool and Jace. Some piece of code are specific for gcc compiler on Linux, but could be quite easily portable to other OSs and compilers.

The persons involved in the NekoC project are:

  • Giuseppina Bastone
  • Lorenzo Falai
  • Andrea Bondavalli

If you want more informations about the NekoC project, please write to Lorenzo Falai.

 
New Project for RCL Group PDF Print E-mail
Announcements

Today is the first day of the project with RFI - Rete Ferroviaria Italiana - which explores Safe Architectures for SIL4 Railway Systems. This three-year project will see a cooperation between RCL group and the R&D department of RFI, which is managing the railway network in Italy. Main targets of the project will be:

- Definition of architectures for two future SIL4 systems: PMF, which will work onboard of the train, and SEC, which will be deployed inside stations.

- Devising coding rules for implementing SIL4 software in the railway domain, including coding rules, coding styles and quality metrics.

- V&V Plan, and definition of Safety Cases

- Preliminary Hazard Analyses

- Modeling activities for the early validation of the systems above both in terms of Safety and Security.

- Exploring mechanisms for fault-tolerance in the railway domain in accordance with standards such as ERTMS / SCMT (Italian)

- Safe Visualization of safety-critical information on commercial OTS devices (e.g., tablets)

- Implementation of the "Protocollo Vitale Standard" to allow safe communications among subsystems.

Overall, the aim of the project is to devise architectures and mechanisms for SIL4 systems, along with prototypes of specific subsystems.

Train-Transparent-Background

We also report the Italian name of the project, that is: "Progetto di Ricerca: Specificazione, analisi e valutazione di architetture per applicazioni safety-critical - Architetture Fail-Safe e Fault-Tolerant delle Piattaforme SEC e PMF con Dimostratori della Piattaforma IRM e del Protocollo PVS".

 
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.

 
Third issue of the newsletter of FP7 Projects on Systems of Systems PDF Print E-mail
AMADEOS

The third issue  of the newsletter of the Cluster of FP7 Projects on Systems of Systems, September 2015, has been published:

You will find there the information about the past, ongoing and upcoming activities of the SoS cluster. This includes activites carried out by members of the AMADEOS project, coordinated by the Resilient Computing Lab. In this issue includes, among the other topics, an overview of the AMADEOS Architectural Framework for evolvable SoS design.

Previous issues of the newsletter can be found here: http://www.cpsos.eu/news-events/newsletters/
If you have not done it yet, do not forget to subscribe to the mainling list, to make sure you will receive the upcoming issues!

 
RCL in Brazil PDF Print E-mail
DEVASSES

A rendezvous of RCL researchers has recently happened in Brasil!

Enrico, Leonardo and Tommaso arrived in Campinas in the beginning of May, for a three-months secondment as part of the DEVASSES project. Enrico and Leonardo are spending three months at the Universidade Estadual de Campinas (UNICAMP) to collaborate with local researchers; Tommaso after a short period in Campinas is now continuing his research at the Universidade Federal de Alagoas (UFAL) in Maceió.

Enrico, Leonardo, and Tommaso at UNICAMP

Then, the RCL group has been reinforced by Andrea B. and Andrea C., which spent a short but busy period in Brasil as well. Besides attending the DSN'15 conference and the RADIANCE workshop in Rio, they were in Campinas for the 4th DEVASSES ToK Workhsop, and spent additional time there in which they had seminars and discussions with the local UNICAMP team.

Andrea B., Andrea C., Enrido, and Leonardo at UNICAMP

We are now looking forward to host UNICAMP and UFAL researchers in Firenze!

 
NekoStat PDF Print E-mail
Tools

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 10 of 13

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web