5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2012)

15-18 October 2012 Amirandes, Heraklion, Crete
Part of the ISoLA Week, 13-20 October 2012

Thematic track on

Formal Methods for Intelligent Transportation Systems

The term Intelligent Transportation Systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience. Safety-critical ITS include the so called X-by-wire (where 'X' can stand for 'fly', 'brake', 'accelerate, 'steer', etc.) systems used in domains like aerospace, automotive and railways. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This track addresses the application of formal methods to model and analyze complex systems in the context of ITS. In fact, modeling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards.
At this regard, several approaches suggest a specification methodology based on the Unified Modeling Language (UML), together with its extensions/profiles, to generate analyzable formal models. Methodologies integrating the requirements of incremental and modular development are especially challenging.
Both qualitative and quantitative evaluations can be performed on formal models, including model-checking and stochastic simulations. Finally, on-line model-checking (e.g. for adaptive route planning) issues are also very important in the context of ITS, when objects exchange information about their states to reach consistency among their decisions.

The track will feature invited talks, but there will be room for other contributions as well. Therefore unsolicited proposals are very welcome!

In particular, applications and case studies with a conceptual message, surveys on the state of the art on the application of formal methods on specific domains within ITS, and experience papers with a clear link to tool construction are particularly sought."

All accepted contributions will be published in the Symposiums'LNCS Proceedings (Springer-Verlag).
Selected contributions from the Symposium Proceedings will be invited to the Innovations in Systems and Software Engineering: A NASA Journal (Springer-Verlag, London), and to STTT (Springer Verlag,- Heidelberg).

Contributions (up to 15 pages LNCS style) are subject to the following deadlines:

Abstract Submission: March 27th
Paper Upload: April 9nd
Decision on the basis of review: May 7th
Final version due: June 7th

and should be submitted using the conference submission site:

The Track organizers:

Alessandro Fantechi - DSI - Univ. of Florence
Francesco Flammini - Ansaldo STS
Stefania Gnesi - ISTI - CNR - Pisa