Alexander Romanovsky: information about research


Alexander (Sascha) Romanovsky is a Professor in the CSR.  He is leading School’s Dependability Research group.

 

He received a M.Sc. degree in Applied Mathematics from Moscow State University and a PhD degree in Computer Science from St. 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, the University of Newcastle upon Tyne. In 1992-1998 he was involved in the Predictably Dependable Computing Systems (PDCS) ESPRIT Basic Research Action and the Design for Validation (DeVa) ESPRIT Basic Project. In 1998-2000 he worked on the Diversity in Safety Critical Software (DISCS) EPSRC/UK Project.

 

Prof. Romanovsky was a co-author of the Diversity with Off-The-Shelf Components (DOTS) EPSRC/UK Project and was involved in this project in 2001-2004. In 2000-2003 he was in the executive board of Dependable Systems of Systems (DSoS) IST Project. He has been the Coordinator of the Rigorous Open Development Environment for Complex Systems (RODIN) IST Project (2004-2007).

 

He is now the Coordinator of the major FP7 DEPLOY Integrated Project (2008-2012) on Industrial Deployment of System Engineering Methods Providing High Dependability and Productivity and of the new EPSRC/RSSB SafeCap project (2011-2013) on Overcoming the railway capacity challenges without undermining rail network safety.

 

Research interests:

-       fault-tolerance software: system structuring, error recovery

-       rigorous development of fault tolerant systems (RODIN, CORRECT and DEPLOY projects)

-       refinement and modelling patterns (DEPLOY, RODIN and TrAmS projects)

-       engineering of dependable mobile systems (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 (a complete list of papers and reports, which I keep) in the DeVa and DSoS Projects, and beyond

-       dependability of systems employing legacy code and of complex systems of systems (DOTS and DSoS projects)

-       dependability in the component-based system development and protective wrapping (DOTS project)


Software to download:

-       WS-Mediator Elite – an architectural solution for improving dependability of WSs (developed by Yuhui Chen)

-       WSsDAT - a Web Service monitoring tool (developed by Yuhui Chen)

-       CAMA middleware supporting development of ambient agent systems (developed by Alexei Iliasov)

-       Finer plugin: refinement pattern support in Event-B (developed by Alexei Iliasov)

 


Projects (ongoing):

-       DEPLOY FP7 Integrated Project (Industrial deployment of advanced system engineering methods for high productivity and dependability) 2008-2012. I am the Coordinator of this project

-       TrAmS – Trustworthy Ambient Systems. (2007-2011). I am a co-investigator of this EPSRC platform grant

-       EPSRC/RSSB SafeCap project (2011-2013) on Overcoming the railway capacity challenges without undermining rail network safety. I am coordinating this project

-       ERCIM Working group SERENE - Software Engineering for Resilient Systems

-       MiNEMA - Middleware for Network Eccentric and Mobile Applications. An ESF Network

-       ERCIM Working Group RISE - Rapid Integration of Software Engineering Techniques

 

Projects (completed):

-       Rigorous Stepwise Development of Complex Fault Tolerant Distributed Systems: from Architectural Description to Java Implementation (CORRECT) Luxemburg National Project (2004-2007). I was a co-author and a co-investigator of this project

-       Rigorous Open Development Environment for Complex Systems (RODIN) IST FP6 project (2004-2007). I coordinated this project

-       European IST Network of Excellence in Distributed and Dependable Computing Systems CaberNet (1996-2004)

o   CaberNet Vision of Research and Technology Development in Distributed and Dependable Systems. Edited by A. Romanovsky and R. Snow. Network of Excellence in Distributed and Dependable Computing Systems. IST-2000-25088. July 2004. (the main text and the appendix)

-       EPSRC/UK Diversity with Off-The-Shelf Components (DOTS) Project. I am a co-author of this project. 2000-2004

-       AgentLink III. Co-ordination Action for Agent Based Computing. IST FP6. 2003-2005

-       European IST Dependable Systems of Systems project (DSoS) (IST-1999-11585) (my web page). 2000-2003

-       EPSRC/UK Diversity in Safety Critical Software (DISCS) Project (a list of papers and reports) 1998-2001

-       European IST Design for Validation (DeVa project). 1996-1999

 


Current PhD student

-       Ilya Lopatkin (Refinement patterns for fault tolerance)

Former PhD students

-       Alexei Iliasov (Design Components - 2008)

-       Yuhui Chen (WS-Mediator for Improving Dependability of Service Composition - 2008)

-        


Invited talks:

1.   On the Way to Cheap Software Fault Tolerance. Daimler-Benz AG, Research and Technology (Berlin). April 1996. Germany.

2.   N-version Programming in Concurrent Object-Oriented Systems. EPFL (Lausanne), January 2000. Switzerland.

3.   Building Fault Tolerant Component Based Systems. University Urbana Champaign. Illinois. October 2001. USA.

4.   On Structuring Complex Distributed Java Applications for Fault Tolerance. The 1st FIDJI closed workshop, November 30, 2001. Institut Supurieur de Technologie, Luxembourg University of Applied Sciences. (project FIDJI Project). Luxemburg.

5.   Looking Ahead in Distributed Atomic Actions with Coordinated Exception Handling. EPFL (Lausanne), March 19, 2002. Switzerland.

6.   Looking Ahead in Distributed Atomic Actions with Coordinated Exception Handling. South Bank University (London). Centre for Applied Formal Methods. May 13, 2002.

7.   Rigorous Development of Dependable Web Applications. LIASIT and University of Luxembourg Workshop at RE 2002. Essen. September 10. 2002. Germany.

8.   Coordinated Atomic Actions and Developing Complex Web Applications. Nokia Research. Helsinki. 7 October. 2002. Finland.

9.   Coordinated Atomic Actions and Developing Complex Web Applications. Aabo Academy. TUCS. Turku. 10 October. 2002. Finland.

10.  Designing Fault-Tolerant Mobile Systems (with G. Di Marzo). FIDJI 2002 Int. Workshop on scientific engineering of distributed Java applications. November 28. 2002. Luxemburg.

11.  Coordinated Atomic Actions and BPEL. Workshop on process compensation. MS Research - Cambridge. 25-26 September 2003.

12.  Coordinated Atomic Actions and Software Fault Tolerance. Rutgers University. Department of Computer Science. February 9. 2004. NJ. USA.

13.  Fault Tolerance through Exception Handling in Ambient and Pervasive Systems. SBES 2005 - 19th Brazilian Symposium on Software Engineering. Invited talk. October 6, 2005. Brazil.

14.  Dependability-Explicit Computing. SBES 2005 - 19th Brazilian Symposium on Software Engineering. Invited mini-tutorial. October 6, 2005. Brazil.

15.  Fault Tolerance through Exception Handling in Ambient and Pervasive Systems. Pontifical Catholic University of Rio de Janeiro. October 13, 2005. Brazil.

16.  Dependability-Explicit Computing. Pontifical Catholic University of Rio de Janeiro. October 14, 2005. Brazil.

 

Awards:

AdaEurope 2000 - the best paper and the best presentation awards for the paper J. Kienzle and A. Romanovsky: "On Persistent and Reliable Streaming in Ada",

I am the winner of the 2001 British Computer Society Brendan Murphy Prize for the work with Brian Randell and Jie Xu on Concurrent Exception Handling and Resolution in Distributed Object Systems.


Publications in DBLP.

 

Publications in the ACM Portal.

 

Books:

1.   A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi (Eds). Advances in Exception Handling Techniques. LNCS. 2022, 289 p. 2001.

2.   P. Ezhilchelvan, A. Romanovsky (Eds.). Concurrency in Dependable Computing. Kluwer Academic Publishers, Boston. 310 p. 2002.

3.   R. de Lemos, C. Gacek, A. Romanovsky (Eds). Architecting Dependable Systems. LNCS. 2677. 309 p. 2003

4.   A. Romanovsky, C. Dony, J. L. Knudsen, A. Tripathi. Proceedings of the ECOOP 2003 Workshop on Exception Handling in Object-Oriented Systems: Towards Emerging Application Areas and New Programming Paradigms. TR 03-028, Department of Computer Science, University of Minnesota, Minneapolis, MN 55455. July 2003

5.   C. Lucena, A. Garcia, A. Romanovsky, J. Castro, P. S. C. Alencar. Software Engineering for Multi-Agent Systems II. Springer. LNCS 2940. 2004.

6.   R. de Lemos, C. Gasek, A. Romanovsky. ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third Workshop on Architecting Dependable Systems. 25th May 2004. ISBN 0-86341-434-6. Published by IEE. 2004

7.   R. Choren, A. Garcia, C. Lucena, M. Griss, D. Kung, N. Minsky, A. Romanovsky. ICSE 2004. 26th International Conference on Software Engineering. Scotland. Third International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04) May 24-25.  155 p. ISBN 0-86341-431-1. Published by IEE. 2004

8.   Guelfi, N.; Reggio, G.; Romanovsky, A. (Eds.). Scientific Engineering of Distributed Java Applications. 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers. LNCS. 3409. 2005

9.   Choren, R.; Garcia, A.; Lucena, C.; Romanovsky, A. (Eds.) Software Engineering for Multi-Agent Systems III. Research Issues and Practical Applications. LNCS. 3390. 2005, 291 p.

10.  Lemos, Rogério de; Gacek, Cristina; Romanovsky, Alexander (Eds.). Architecting Dependable Systems III. LNCS. 3549. 2005, 343 p.

11.  Garcia, A.; Choren, R.; Lucena, C.; Giorgini, P.; Holvoet, T.; Romanovsky, A. (Eds.)Software Engineering for Multi-Agent Systems IV. Research Issues and Practical Applications. LNCS. 3914. 2006.

12.  Dony, C., Knudsen, J.L., Romanovsky, A., Tripathi, A. (Eds.) Advanced Topics in Exception Handling Techniques.), LNCS. 4119, 2006.

13.  Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (Eds.),  Rigorous Development of Complex Fault-Tolerant Systems. LNCS. 4157, 2006.

14.  P Pelliccione, H Muccini, N Guelfi  & A Romanovsky. Editors. SOFTWARE ENGINEERING OF FAULT TOLERANT SYSTEMS. Series on Software Engineering and Knowledge Engineering - Vol. 19. World Scientific. 2007.

15.   Choren, R.; Garcia, A.; Giese, H.; Leung, H.-f.;  Lucena, C.; Romanovsky, A. (Eds.) 2007. Software Engineering for Multi-Agent Systems V. Research Issues and Practical Applications. LNCS. 4408, 233 p. 2007.

16.   Lemos, Rogério de; Gacek, Cristina; Romanovsky, Alexander (Eds.) Architecting Dependable Systems IV. LNCS. 4615. 2007, 435 p.

17.   N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky: Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007, Dubrovnik, Croatia, September 4, 2007 ACM DL, 2007.

18.   N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky. SERENE '08: Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems November, ACM DL.  2008

19.              C. Dony, A. Garcia, J. Kienzle, A. Romanovsky. WEH '08: Proceedings of the 4th international workshop on Exception handling. Publisher: ACM DL, November 2008.     

20.   M. Butler, C. B. Jones, A. Romanovsky, E. Troubitsyna. Methods, Models and Tools for Fault Tolerance, Lecture Notes in Computer Science, Vol. 5454, Springer, 2009.

 

Special Issues:

1.  D. E. Perry, A. Romanovsky, A. Tripathi. Current Trends in Exception Handling. Editorial to the Special Issue (Part 1). IEEE Trans. on Software Engineering. TSE-26, 9, pp. 817-819, 2000.

2.  D. E. Perry, A. Romanovsky, A. Tripathi. Current Trends in Exception Handling. Editorial to the Special Issue (Part 2). IEEE Trans. on Software Engineering. TSE-26, 10, pp. 921-922, 2000.

3.  A. Romanovsky, A. Wellings. Developing Fault-Tolerant Systems with Ada. Editorial to the Special Issue. Int. J. Computer Systems Science and Engineering. 15, 1, pp. 3-6. 2000.

4.  de Lemos, R., Gacek, C. and Romanovsky, A. Guest Editorial - Architecting Dependable Systems The Journal of Systems and Software Vol. 79, Issue 10, pp 1359-1360. Elsevier Inc., 2006

5.  N. Guelfi, H. Muccini, P. Pelliccione, A. Romanovsky. Guest Editorial - Engineering fault tolerant systems. Int. J. Computer Systems Science and Engineering. 23, November 2008.

6.  A. Garcia, A. Romanovsky, V. Issarny. Guest Editors' Introduction to the Special Section on Exception Handling: From Requirements to Software Maintenance. IEEE Trans. on Software Eng. 36(2): 147-149. 2010.

 

 


Links to some specific research areas:

-       open multithreaded transactions – an advanced scheme atomic transactions and exception handling

-       an object persistence framework based on design patterns

-       Using Coordinated Atomic Actions to Design Production Cell Case Study (a list of papers and reports on this topic) in DeVa Project

 


Last updated by Alexander Romanovsky on November 25, 2010 (email: alexander.romanovsky@newcastle.ac.uk)