Workshop Session

Name of the workshop:
Model-based analysis for cooperative transportation
under uncertainty and threats

Workshop Organizers

Cinzia Bernardeschi

Department of Information Engineering, University of Pisa, Italy

Cinzia Bernardeschi is currently Associate Professor with the Department of Information
Engineering, University of Pisa. Her main research interests are in the area of
dependable systems and application of formal methods for modeling and verification of
safety critical systems. Recent work is on the integration of formal methods with
simulation for cooperative cyber-physical systems (CPS); security issues and neural
networks in CPS.

Gloria Gori

Department of Information Engineering, University of Florence,Italy

Gloria Gori is currently Assistant Professor at the Department of Information
Engineering, University of Florence. She received her Ph.D. in Information Engineering
from the University of Florence in 2018. Her research focuses on quantitative methods
for dependability evaluation of safety critical systems, applications of formal methods to
the railway domain, natural language processing applied to requirement engineering. .

Workshop Speaker

Title: Virtual Coupling: the railway dialect for platooning

Abstract:

Car platooning is paralleled in the railway domain by the Virtual Coupling concept: the principle is the same, that is, two or more vehicles that closely follow one after the other, at a distance substantially less than the traditional safety distance, leveraging suitable cooperative control algorithms and advanced communication capabilities.

The implementation of the same principle broadly differs however in the automotive and railway domains, due to the marked differences of the movement dynamics: the implementation is therefore based on different principles, hence suggesting different technologies. The different legislative frameworks, especially for what concerns safety, contribute to widen the gap between the two domains.

Bio:

Alessandro Fantechi is Full Professor at the School of Engineering of the University of Florence since 2005. His main research activity is in the area of formal modelling and verification of safety-critical systems, and in particular on industrial applications of model checking. Due to several industrial collaborations he has acquired a significant experience on dependability of railway signalling systems. He has research interests also in the areas of requirements engineering, software product lines and variability modelling. He is member of AICA (Associazione Italiana per l’Informatica e il Calcolo Automatico), FME (Formal Methods Europe), IFIP WG 6.1, and has been chair of the ERCIM FMICS (Formal Methods for Industrial Critical Systems) Working Group from 2008 to 2011. He is member of the Scientific Committee of the Italian Railway Technology District DITECFER.

Scope

As society increasingly evolves, the impact of Intelligent Transport Systems (ITS) becomes more and more visible. ITS can make transport more efficient, and more sustainable by applying information and communication technologies to all transportation modes helping to face nowadays challenges. In particular, considering the automotive and railway domain common challenges can be identified and similar strategies can be implemented for connected vehicles in motion.

Topics

Standardization efforts and best practices in modeling frameworks
Intra/inter-vehicular and Train to Train Communication
Cyber-physical systems for co-operative transportation
Modeling, detection and mitigation of threats in transportation system
Data analysis for co-operative transportation systems
Quantitative models for dependability evaluation taking into account uncertainty
measures (e.g., of on-board systems)
Enhancing transportation systems with formal methods for explainability
Case studies and real-world applications of common models in ITS

TPC Members

Adriano Fagiolini, University of Palermo, Italy

Alessandro Fantechi, University of Florence, Italy

Davide Basile, CNR, Pisa, Italy

Federico Rossi, University of Pisa, Italy

Francesco Flammini, SUPSI, Lugano, Switzerland

Christian Quadri, University of Milan, Italy

Laura Carnevali, University of Florence, Italy

Stefania Santini, University of Naples, Italy

Vittoria Nardone, University of Molise, Italy

Publication

All registered papers will be submitted for publishing by Springer – LNICST series and made available through SpringerLink Digital Library: INTSYS Conference Proceedings.

Proceedings will be submitted for inclusion in leading indexing services, such as Web of Science, Compendex, Scopus, DBLP, EU Digital Library, Google Scholar, IO-Port, MathSciNet, Inspec, and Zentralblatt MATH.

Available journals

Authors of selected best accepted and presented papers will be invited to submit an extended version to:
– Mobile Networks and Applications (MONET) Journal [IF: 3.8 (2022)]

All accepted authors are eligible to submit an extended version in a fast track of:
– EAI Endorsed Transactions on Industrial Networks and Intelligent Systems (Scopus, Compendex)

Additional publication opportunities:
– EAI Transactions series (Open Access)
– EAI/Springer Innovations in Communications and Computing Book Series
(titles in this series are indexed in Ei Compendex, Web of Science & Scopus)