Opendata, web and dolomites

ASTRail SIGNED

SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "ASTRail" data sheet

The following table provides information about the project.

Coordinator
ISTITUTO SUPERIORE MARIO BOELLA SULLE TECNOLOGIE DELL'INFORMAZIONE E DELLE TELECOMUNICAZIONI ASSOCIAZIONE 

There are not information about this coordinator. Please contact Fabio for more information, thanks.

 Coordinator Country Italy [IT]
 Project website http://www.astrail.eu/
 Total cost 1˙797˙307 €
 EC max contribution 1˙797˙307 € (100%)
 Programme 1. H2020-EU.3.4.8.2. (Innovation Programme 2: Advanced traffic management and control systems)
 Code Call H2020-S2RJU-OC-2017
 Funding Scheme Shift2Rail-RIA
 Starting year 2017
 Duration (year-month-day) from 2017-09-01   to  2019-10-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    FONDAZIONE LINKS - LEADING INNOVATION & KNOWLEDGE FOR SOCIETY IT (TORINO) coordinator 431˙500.00
2    ISTITUTO SUPERIORE MARIO BOELLA SULLE TECNOLOGIE DELL'INFORMAZIONE E DELLE TELECOMUNICAZIONI ASSOCIAZIONE IT (TORINO) coordinator 0.00
3    SIRTI - SOCIETA PER AZIONI IT (MILANO) participant 346˙495.00
4    ARDANUY INGENIERIA SA ES (MADRID) participant 339˙562.00
5    ECOLE NATIONALE DE L AVIATION CIVILE FR (TOULOUSE) participant 303˙625.00
6    CONSIGLIO NAZIONALE DELLE RICERCHE IT (ROMA) participant 245˙750.00
7    UNION DES INDUSTRIES FERROVIAIRES EUROPEENNES - UNIFE BE (BRUXELLES) participant 130˙375.00

Map

 Project objective

The ASTRail project falls within the scope of the topic S2R-OC-IP2-01-2017 – Operational conditions of the signalling and automation systems; signalling system hazard analysis and GNSS SIS characterization along with Formal Method application in railway field, which is connected with the complementary topics S2R-CFM-IP2-01-2015 and S2R-CFM-IP2-01-2017. The ASTRail project will act to enhance the signalling and automation system by searching innovative solutions that exploit cutting edge technologies already present in sectors different from the rail such as the avionics or the automotive sector. Investigation of such technologies and assessment of their reusability in the railway field will be done taking in particular care all issues related to safety and performance in the rail system. Some ASTRail Partners have already participated in S2R projects, while others have been specifically involved to cope with some vertical tasks. From a different point of view, the Consortium is well balanced with both research organizations and industrial stakeholders of the rail domain.

 Deliverables

List of deliverables.
Proposed GNSS Minimum Performance Requirements Documents, reports 2020-02-07 15:40:55
Validation Report Documents, reports 2020-02-07 15:40:58
GNSS Solutions Report Documents, reports 2020-02-07 15:40:57
Report on the project results/achievements for future S2R activities Documents, reports 2020-01-13 17:52:23
Dissemination and Exploitation activities Documents, reports 2020-01-13 17:52:23
Preliminary Trial Report Documents, reports 2019-10-03 18:12:58
Report on Preliminary Analysis and on Rankingof Formal Methods Documents, reports 2019-10-03 18:12:53
Modelling of the moving block signalling system Documents, reports 2019-10-03 18:11:09
Automatic Train Operations: implementation, operation characteristics and technologies for the Railway field Documents, reports 2019-10-03 18:13:07
GNSS algorithms design Documents, reports 2019-10-03 18:13:02
Moving Block signalling system Hazard Analysis Documents, reports 2019-10-03 18:11:06
State of the Art of Automated Driving technologies Documents, reports 2019-10-03 18:11:15
The ERTMS hazards associated with GNSS faults Documents, reports 2019-10-03 18:13:02
Aeronautical Standards Review Documents, reports 2019-10-03 18:13:10
Local GNSS Effects Documents, reports 2019-10-03 18:13:04
Set up public website Websites, patent fillings, videos etc. 2019-08-30 16:08:56
Set up a dissemination and exploitation plan for the project Documents, reports 2019-08-30 16:08:56

Take a look to the deliverables list in detail:  detailed list of ASTRail deliverables.

 Publications

year authors and title journal last update
List of publications.
2018 Alessio Ferrari, Gloria Gori, Benedetta Rosadini, Iacopo Trotta, Stefano Bacherini, Alessandro Fantechi, Stefania Gnesi
Detecting requirements defects with NLP patterns: an industrial experience in the railway domain
published pages: 3684-3733, ISSN: 1382-3256, DOI: 10.1007/s10664-018-9596-7
Empirical Software Engineering 23/6 2019-12-16
2018 Franco Mazzanti, Alessio Ferrari
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
published pages: 104-149, ISSN: 2075-2180, DOI: 10.4204/EPTCS.268.4
Electronic Proceedings in Theoretical Computer Science 268 2019-08-30
2018 Maurice H. ter Beek, Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi, Riccardo Scopigno
Formal Methods for the Railway Sector
published pages: 44-45, ISSN: 0926-4981, DOI:
ERCIM News 112 2019-08-30
2018 Franco Mazzanti, Alessio Ferrari, Giorgio O. Spagnolo
Towards formal methods diversity in railways: an experience report with seven frameworks
published pages: 263-288, ISSN: 1433-2779, DOI: 10.1007/s10009-018-0488-3
International Journal on Software Tools for Technology Transfer 20/3 2019-08-30

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "ASTRAIL" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "ASTRAIL" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.3.4.8.2.)

4SECURAIL (2019)

FORMAL METHODS AND CSIRT FOR THE RAILWAY SECTOR

Read More  

GATE4RAIL (2018)

GNSS Automated Virtualized Test Environment for RAIL

Read More  

EMULRADIO4RAIL (2018)

EMULATION OF RADIO ACCESS TECHNOLOGIES FOR RAILWAY COMMUNICATIONS

Read More