There is a newer version of the record available.

Published September 30, 2021 | Version 2
Software Open

Formal models of the SAI /CSL systems of the 4SECURail case study

Creators

  • 1. ISTI-CNR

Description

This compresses document contains several formal models of the SAI /CSL systems modelling the 4SECURail case study ans used in the 4SECURail demonstrator. And several architectural scenarios mentioned in the paper  "Formal Modelling and Analysis of the 4SECURail Case Study" submitted to the ETAPS worksop MARS-2022.

These models describe several scenarios used to model and analyse the system requirements specification document described in the 4SECURail Deliverable D2.3.
The overall approach used for their generation and analysis is described 4SECURail Deliverable D2.5.

Related Links:

The 4SECURAIL project: https:4securail.eu
The $SECURAIL WorkStream-1 Deliverables: https://doi.org/10.5281/zenodo.5807738

Files

MARS-MODELS.zip

Files (7.8 MB)

Name Size Download all
md5:a6c5b952a535e25a45a35c1c6c9e6135
243.7 kB Preview Download
md5:e4822ac3c6450581e370850f3c0ae32c
7.2 MB Preview Download
md5:641efaefa51c879442f39bb100d5e9cb
45.9 kB Preview Download
md5:aff12063b72d828514e1a12f8b04827f
338.2 kB Preview Download

Additional details

Funding

European Commission
4SECURAIL - FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR 881775