#	Pagina
attuale pagina	/open-h2020/projects/211567/index.html
-1	/open-h2020/projects/221072/index.html
-2	/open-h2020/projects/217768/index.html
-3	/open-h2020/projects/211826/index.html
-4	/open-h2020/projects/199846/index.html
-5	/open-h2020/projects/193694/index.html
-6	/open-h2020/projects/210362/index.html
-7	/open-h2020/projects/227178/index.html
-8	/open-h2020/projects/198802/index.html
-9	/open-h2020/projects/220023/index.html
-10	/open-h2020/projects/220695/index.html

Opendata, web and dolomites

ASTRail SIGNED

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

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

ASTRail project word cloud

Explore the words cloud of the ASTRail project. It provides you a very rough idea of what is the project "ASTRail" about.

oc complementary view domain gnss astrail rail hazard cope technologies ip2 characterization industrial reusability innovative falls stakeholders balanced cutting investigation participated 01 2017 sectors s2r vertical sis automotive railway cfm formal safety signalling performance care avionics scope 2015 point act automation searching connected solutions edge

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 FONDAZIONE LINKS - LEADING INNOVATION & KNOWLEDGE FOR SOCIETY Organization address address: VIA PIER CARLO BOGGIO 61 city: TORINO postcode: 10138 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TORINO)	coordinator	431˙500.00
2	ISTITUTO SUPERIORE MARIO BOELLA SULLE TECNOLOGIE DELL'INFORMAZIONE E DELLE TELECOMUNICAZIONI ASSOCIAZIONE ISTITUTO SUPERIORE MARIO BOELLA SULLE TECNOLOGIE DELL'INFORMAZIONE E DELLE TELECOMUNICAZIONI ASSOCIAZIONE Organization address address: VIA PIER CARLO BOGGIO 61 city: TORINO postcode: 10138 website: www.ismb.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TORINO)	coordinator	0.00
3	SIRTI - SOCIETA PER AZIONI SIRTI - SOCIETA PER AZIONI Organization address address: VIA STAMIRA ANCONA 9 city: MILANO postcode: 20127 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (MILANO)	participant	346˙495.00
4	ARDANUY INGENIERIA SA ARDANUY INGENIERIA SA Organization address address: AVDA DE EUROPA 34 EDIF B city: MADRID postcode: 28023 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ES (MADRID)	participant	339˙562.00
5	ECOLE NATIONALE DE L AVIATION CIVILE ECOLE NATIONALE DE L AVIATION CIVILE Organization address address: AVENUE EDOUARD BELIN 7 city: TOULOUSE postcode: 31400 website: www.enac.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (TOULOUSE)	participant	303˙625.00
6	CONSIGLIO NAZIONALE DELLE RICERCHE CONSIGLIO NAZIONALE DELLE RICERCHE Organization address address: PIAZZALE ALDO MORO 7 city: ROMA postcode: 185 website: www.cnr.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (ROMA)	participant	245˙750.00
7	UNION DES INDUSTRIES FERROVIAIRES EUROPEENNES - UNIFE UNION DES INDUSTRIES FERROVIAIRES EUROPEENNES - UNIFE Organization address address: AVENUE LOUISE 221 city: BRUXELLES postcode: 1050 website: www.unife.org contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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

EMULRADIO4RAIL (2018)

EMULATION OF RADIO ACCESS TECHNOLOGIES FOR RAILWAY COMMUNICATIONS

X2Rail-3 (2018)

Advanced Signalling, Automation and Communication System (IP2 and IP5) – Prototyping the future by means of capacity increase, autonomy and flexible communication