Centre for Software Reliability

Staff Profile

Professor Alexander Romanovsky

Emeritus Professor and Senior Research Investigator

Background

Alexander (Sascha) Romanovsky is Emeritus Professor and Senior Research Investigator at Newcastle.

His main research interests are system dependability, fault tolerance, safety, software architectures, exception handling, error recovery, system verification for safety, system structuring and verification of fault tolerance and safety.

He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from Saint Petersburg State Technical University. He was with this University from 1984 until 1996, doing research and teaching. In 1991 he worked as a visiting researcher at ABB Ltd Computer Architecture Lab Research Center, Switzerland. In 1993 he was a visiting fellow at Istituto di Elaborazione della Informazione, CNR, Pisa, Italy. In 1993-94 he was a post-doctoral fellow with the Department of Computing Science, University of Newcastle upon Tyne, UK.

Since 1992 Prof Romanovsky has been involved in a number of EC and UK research projects on various aspects of system dependability engineering.

In 2004-07 Prof Romanovsky was the Coordinator of the FP6 ICT Rigorous Open Development Environment for Complex Systems Project (RODIN). In 2008-12 he was the Coordinator of the major FP7 Integrated Project on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity (DEPLOY). The DEPLOY IP, that followed RODIN, developed the Rodin tooling environment for formal stepwise design of complex dependable systems using Event-B. Rodin is now widely used by companies in Europe, China, Japan, Canada and Brazil.

Prof Romanovsky is now the Principle Investigator of the EPSRC STRATA platform grant on Layers for Structuring Trustworthy Ambient Systems (2016-21).

He is now leading several projects on formal verification of railway safety supported by the UK industry. The focus of this work is to develop scalable and usable industry-strength techniques for fully automated verification of signalling and interlocking.

Prof Romanovsky is a visiting professor at the National Institute of Informatics (NII, Tokyo, Japan).


Research

My work now mainly focuses on modelling and verification of railway systems and on deploying our research results in the railway sector  - follow this on the The Formal Route Ltd. web site and on the university publication repository/Google Scholar.

General research interests: 

  • fault-tolerance software: system structuring, error recovery
  • rigorous development of fault tolerant systems (the RODIN and DEPLOY projects)
  • refinement and modelling patterns (DEPLOY, RODIN, TrAmS and TrAmS-2 projects)
  • engineering of dependable mobile systems (the RODIN project)
  • a middleware for building fault tolerant mobile systems (the CAMA system)
  • fault tolerance of service oriented architectures and web services
  • dependability-explicit and resilience-explicit computing
  • the WS-Mediator architecture for dependable WS integration
  • exception handling (a list of papers and reports on this topic )
  • fault tolerance software architectures (including a one-day tutorial – given at WICSA 2007, ISSRE 2007 and SAFECOMP 2008)
  • software diversity (DeVa, DISCS and DOTS projects)
  • fault tolerance of concurrent and distributed systems; conversations, atomic actions and atomic transactions
  • Coordinated Atomic Actions in the DeVa and DSoS Projects, and beyond
  • dependability of systems employing legacy code and of complex systems of systems (the DOTS and DSoS projects)
  • dependability in the component-based system development and protective wrapping (the DOTS project)
  • holistic fault tolerance (the PRiME project)
  • verification of railway signalling and interlocking safety

Software to download:

Projects (recent and ongoing):

  • ERCIM Working group SERENE - Software Engineering for Resilient Systems
  • EPSRC TrAmS-2 Platform Grant. PI
  • EPSRC PRiME Programme Grant on Power-efficient, Reliable, Many-core Embedded systems (2013-2018). CoI
  • FP7 COMPASS FP7 IP on Comprehensive Modelling for Advanced Systems of Systems (2011-2014). CoI.
  • EPSRC SafeCap Impact Acceleration Account Project. PI
  • EPSRC Impact Acceleration Account Project on Railway Data Analytics. PI
  • EPSRC/RSSB SafeCap for FuTRO. PI
  • EPSRCSiemens iCASE Studentship with Siemens Rail Automation on developing an advanced advisory system. PI
  • EPSRC STRATA Platform Grant (2016-2021). PI
  • EPSRC/Siemens iCASE Studentship with Siemens Rail Automation on modelling and verification of heterogeneous railway systems (2016-2021). PI

The SafeCap toolset for modelling, analysis and verification of complex railway systems: the full list of papers published in 2012-2020:

  • Paulius Stankaitis, Alexei Iliasov, Tsutomu Kobayashi, Yamine Aït Ameur, Fuyuki Ishikawa, Alexander Romanovsky. Formal Distributed Protocol Development for Reservation of Railway Sections. In Proc. Rigorous State-Based Methods – 7th International Conference, ABZ-2020, Ulm, Germany, 2020. Springer. LNCS-12071. Pp. 203-219.
  • Linas Laibinis, Alexei Iliasov, Alexander Romanovsky. Mutation Testing for Rule-Based Verification of Railway Signaling Data. IEEE Transactions on Reliability, epub, 2020.
  • Paulius Stankaitis, Guillaume Dupont, Neeraj Kumar Singh, Yamine Ait-Ameur, Alexei Iliasov and Alexander Romanovsky.  Modelling Hybrid Train Speed Controller using Proof and Refinement. In Proc. of 24th International Conference on Engineering of Complex Computer Systems (ICECCS), Guangzhou, China, 2019, pp. 107-113.
  • Simon Collart Dutilleul, Thierry Lecomte, Alexander Romanovsky. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. LNCS-11495, Springer 2019, ISBN 978-3-030-18743-9
  • Alexei Iliasov, Alexander Romanovsky, Linas Laibinis. Quantitative Validation of Formal Domain Models. In Proc of 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. HASE 2019. Pp. 17-24.
  • Paulius Stankaitis, Alexei Iliasov, Yamine Aït Ameur, Tsutomu Kobayashi, Fuyuki Ishikawa, Alexander Romanovsky. A Refinement Based Method for Developing Distributed Protocols.  In Proc of 19th IEEE International Symposium on High Assurance Systems Engineering, HASE 2019, Hangzhou, China, January 3-5, 2019. HASE 2019. Pp. 90-97.
  • Alexei Iliasov, Dominic Taylor, Linas Laibinis, Alexander Romanovsky. Formal Verification of Signalling Programs with SafeCap. In Proc. of International Conference SafeComp 2018, September 19-21, Vasteras, Sweden. Springer. LNCS. 2018.
  • Alexei Iliasov, Alexander Romanovsky, Dominic Taylor. Automated testing of SSI data. IRSE News. February 2018. Institution of Railway Signal Engineers. UK.
  • Paulius Stankaitis, Alexei Iliasov and Alexander Romanovsky. A Railway Simulation Suite For Modelling Advanced Railway Control Systems. International Journal of Transport Development and Integration, Volume 1, Issue 3, pp. 558-567. 2017
  • Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification – Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. LNCS-10598, Springer 2017.
  • Paulius Stankaitis, Alexei Iliasov. Theories, Techniques and Tools for Engineering Heterogeneous Railway Networks. In Proc. of 2nd International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification.  RSSRail 2017, LNCS-10598, pp. 241-250. Springer 2017.
  • Luke J. W. Martin, Alexander Romanovsky. Stochastic Activity Networks for the Verification of Knowledge Bases. In Software Engineering for Resilient Systems – 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. LNCS-10479, Springer 2017, pp. 37-44.
  • Alexei Iliasov, Paulius Stankaitis, Alexander Romanovsky. Proving Event-B Models with Reusable Generic Lemmas. In Formal Methods and Software Engineering – 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings. LNCS-10009, 2016, pp. 210-225.
  • Luke Martin, Alexander Romanovsky. A Formal Approach to Designing Reliable Advisory Systems. In Software Engineering for Resilient Systems – 8th International Workshop, SERENE-2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings. LNCS-9823, Springer. Pp. 28-42. 2016.
  • Paulius Stankaitis, Alexei Iliasov and Alexander Romanovsky. A Simulation Suite for Modelling Advanced Train Control Systems. 15th International Conference COMPRAIL 2016, Madrid, Spain, 18 – 21 July 2016.
  • Thierry Lecomte, Ralf Pinger, Alexander Romanovsky. Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification – First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings. LNCS – 9707, Springer 2016.
  •  Luke Martin. Predictive Reasoning and Machine Learning for the Enhancement of Reliability in Railway Systems. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France, Springer, LNCS – 9707, Pp. 178-188.
  • Paulius Stankaitis, Alexei Iliasov. Safety Verification of Heterogeneous Railway Networks. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France, Springer, LNCS – 9707, Pp. 150-159.
  • Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon – Yamoah. Static Verification of Railway Schema and Interlocking Design Data. In Proc. of 1st International Conference on Reliability, Safety, and Security of Railway Systems: Modelling, Analysis, Verification, and Certification. RSSRail 2016, June 28-30, Paris, France Springer, LNCS – 9707, Pp. 123-133.
  • Alexei Iliasov, Paulius Stankaitis and David Ebo Adjepon – Yamoah and Alexander Romanovsky. A Rodin plug-in for constructing reusable schematic lemmas. In Proc. of 6th Rodin User and Developer Workshop, May 23, Linz, Austria. 2016.
  • Alexander Romanovsky, Alexei Iliasov. Introducing SafeCap, a safety-focused tool for optimising route capacity. IRSE NEWS. Issue 223, June 2016.
  • Alexei Iliasov, Paulius Stankaitis, David Ebo Adjepon – Yamoah, Alexander Romanovsky. Rodin Platform Why3 Plug-In. In Proc. of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM and Z. ABZ 2016, May 23 – 27, Linz, Austria. Springer, LNCS – 9675, Pp. 275 – 281. 2016
  • Alexei Iliasov, Alexander Romanovsky. Formal analysis of railway signalling data. In Proc. 17th IEEE International Symposium on High Assurance Systems Engineering, HASE 2016, January 7 – 9, 2016, Orlando, Florida, USA. IEEE CS. 2016
  • Luke Martin, Alexander Romanovsky, William Blewitt. Design and development of the train advisory systems for the future. In Proc. of the 13th Conference on Railway Engineering 2015. Edinburgh. UK, June 30 – July 1, 2015.
  • Alexei Iliasov, David Ebo Adjepon – Yamoah, Paulius Stankaitis,  Alexander Romanovsky. Event – B and Cloud Provers. In Proc. of the Automated Reasoning Workshop 2015. Birmingham. UK, April 9 –  10, 2015.
  • Alexei Iliasov, Alexander Romanovsky. SafeCap: The Train Advisory System for Real-Time Traffic Management. In Proc of the Stephenson Conference: Research for Railways. London. Institution of Mechanical Engineers. April 2015.
  • Alexei Iliasov, David Adjepon-Yamoah, Paulius Stankaitis, Alexander Romanovsky. Putting Provers on the Cloud. In the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2015). Work in progress. March 4-6, 2015. Turku, Finland
  • Alexei Iliasov, Alexander Romanovsky. Formal Modelling of Railway Safety and Capacity. In Proc of the Safety-critical Systems Symposium 2015. Bristol. BAE Systems. February 2015.
  • Alexei Iliasov, Roberto Palacin, Alexander Romanovsky. Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation. In Proceedings: 6th International Workshop Software Engineering for Resilient Systems, SERENE-2014, Budapest, Hungary, October 15-16, 2014. Springer, LNCS- 8785, Pp. 131-138.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. Unified Train Driving Policy. In Formal Methods Applied to Complex Systems. J.-L. Boulanger (Ed). Wiley. July 2014. ISBN: 9781848217096. Pp.447-473.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. Practical Formal Methods in Railways – The SafeCap Approach. In Proceedings: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. LNCS. 8454, 2014.
  • Alexei Iliasov, Ilya Lopatkin, Ana Mihut, Alexander Romanovsky. Real-time ATO reconfiguration for operational stability. Computers in Railways XIV: Railway Engineering Design and Optimization 135, WIT Press. June 2014. pp. 163-173
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. The SafeCap Project on Railway Safety Verification and Capacity Simulation. In Software Engineering for Resilient Systems – 5th International Workshop, SERENE 2013, Kiev, Ukraine, October, 2013. Proceedings. LNCS 8166. Springer 2013.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. The SafeCap Platform for Modelling Railway Safety and Capacity. In Computer Safety, Reliability and Security – 32nd International Conference SAFECOMP 2013. Toulouse, France, September 2013. Proceedings. LNCS 8135. Springer.
  • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky. SafeCap: advanced computer science techniques for railways of tomorrow. EURAILmag. Issue 28. September. 2013.
  • Roger Goodall, Roger Dixon, Sam Bemment, Taku Fujiyama, T. X. Mei, John Preston, Alexander Romanovsky, Markus Roggenbach. The Future of Train Control Systems. Technical Paper. IRSE – Institute of Railway Signal Engineers. UK. February 13, 2013.
  • Alexei Iliasov, A. Romanovsky. The SafeCap toolset for improving railway capacity while ensuring its safety. In Rail Research UK Association (RRUKA) Annual Conference. November 2012. London, UK. http://rruka.org.uk/rruka-annual-conference-2012-conference-proceedings/
  • Alexei Iliasov, Alexander Romanovsky. SafeCap domain language for reasoning about safety and capacity. In Workshop on Dependable Transportation Systems at the Pacific-Rim Dependable Computing Conference (PRDC 2012). Niigata, Japan. IEEE CS. November. 2012.
 

Publications