Published February 21, 2024
| Version v1
Model
Open
Integrating Formal Verification and Model-based Development in Railways using UMC and Sparx Enterprise Architect - Complementary Data
Creators
- 1. ISTI CNR Pisa
- 2. ISTI CNR Pisa, Italy
Description
This repository contains the UMC and SPARX EA data used in the paper entitled:
"Integrating Formal Verification and Model-based Development in Railways using UMC and Sparx Enterprise Architect"
by Davide Basile, Franco Mazzanti and Alessio Ferrari.
Files
README.pdf
Files
(25.1 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c58bc426996c7c9d237e7ed9f332410c
|
17.4 MB | Download |
|
md5:09e3d4235d0c27cd0d6098bd825630e4
|
148.5 kB | Preview Download |
|
md5:dc68c45ddc8ce3f0c2d92060f74f0d0a
|
940.4 kB | Preview Download |
|
md5:e59d3080b8ee1f562b86bc2abd42106f
|
112.8 kB | Preview Download |
|
md5:7473903fff224f488f375da149854cfd
|
5.9 MB | Download |
|
md5:c1aee6c33b2c453a05b406f4ad681b20
|
337.4 kB | Download |
|
md5:ae7f19b009f2d88fa618fbc210aa4d92
|
5.6 kB | Preview Download |
|
md5:1952c212658a20a40e6998bb26440e94
|
122.1 kB | Preview Download |
|
md5:213b97b7ef3e8b0fea5e6af999804d99
|
26.7 kB | Preview Download |
|
md5:537a78c62173ecb55595d353e764a972
|
26.0 kB | Preview Download |
|
md5:1ccd12560f4565485e3a18b7fc2c3494
|
25.4 kB | Preview Download |
|
md5:5e0f86ca0d1f95cb451a5b36ce373d8f
|
25.8 kB | Preview Download |
Additional details
Funding
- European Union
- MUR PRIN 2022 PNRR P2022A492B project ADVENTURE (ADVancEd iNtegraTed evalUation of Railway systEms) 2023-2025 P2022A492B
- European Union
- MOST Sustainable Mobility National Research Center 2022-2025 and received funding from the European Union Next-Generation EU (PIANO NAZIONALE DI RIPRESA E RESILIENZA (PNRR) MISSIONE 4 COMPONENTE 2 INVESTIMENTO 1.4 D.D.1033 17/06/2022, CN00000023 CN00000023