Formal Methods && Tools Group

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
projects:start [2018/11/08 11:51]
Giorgio Oronzo Spagnolo [Current and Recent Projects]
projects:start [2018/11/09 13:04] (current)
Giorgio Oronzo Spagnolo [Current and Recent Projects]
Line 3: Line 3:
 <WRAP round box> <WRAP round box>
  
-  * **[[http://​stingray.isti.cnr.it|STINGRAY]]** : SmarT INtelliGent RAilwaY. ECM, an industry leader in high-speed rail control system is the project coordinator. Participate as research bodies: FMT LAB (ISTI-CNR) DINFO of UNIFI (BUR2017, cofounded by Tuscany Region).+  * **[[http://​stingray.isti.cnr.it|STINGRAY]]** : SmarT INtelliGent RAilwaY. ECM, an industry leader in high-speed rail control system is the project coordinator. Participate as research bodies: FMT LAB (ISTI-CNR) DINFO of UNIFI (POR FESR Toscana 2014-2020 ASSE 1 - AZIONE 1.1.5 – Sub-azione a1 “Progetti strategici di ricerca e sviluppo"​ (Bando 1) - Decreto 24.05.2017 n. 7165, cofounded by Tuscany Region).
   * **[[http://​www.astrail.eu/​|ASTRail]]**:​ SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation. \\ //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-CFMIP2-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.//   * **[[http://​www.astrail.eu/​|ASTRail]]**:​ SAtellite-based Signalling and Automation SysTems on Railways along with Formal Method and Moving Block validation. \\ //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-CFMIP2-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.//
   * **[[http://​traceit.isti.cnr.it|TRACE-IT]]**:​ Train Control Enhancement via Information Technology. ECM, an industry leader in high-speed rail control system is the project coordinator. Participate as research bodies: FMT LAB (ISTI-CNR) DIEF and DISIT-DSI of UNIFI (PAR FAS 2007-2013 Azione 1.1 P.I.R. 1.1.B, 2011-2013, cofounded by Tuscany Region).   * **[[http://​traceit.isti.cnr.it|TRACE-IT]]**:​ Train Control Enhancement via Information Technology. ECM, an industry leader in high-speed rail control system is the project coordinator. Participate as research bodies: FMT LAB (ISTI-CNR) DIEF and DISIT-DSI of UNIFI (PAR FAS 2007-2013 Azione 1.1 P.I.R. 1.1.B, 2011-2013, cofounded by Tuscany Region).