Please use this identifier to cite or link to this item:
|Title:||Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges|
Pace, Gordon J.
|Keywords:||Finance -- Computer programs|
Transaction systems (Computer systems)
Real-time data processing
Computer systems -- Verification
|Publisher:||Springer International Publishing AG|
|Citation:||Colombo, C., & Pace, G. J. (2018). Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges. In: E. Bartocci, & Y. Falcone (Eds.), Lectures on runtime verification : introductory and advanced topics (pp. 211-232). Cham: Springer International Publishing AG.|
|Abstract:||The chapter will focus on experiences the authors had in applying runtime verification in industrial settings, in particular on financial transaction systems. We discuss how runtime verification can be introduced in the software development lifecycle and who are the people to be involved and when. Furthermore, we investigate what kind of properties have been found useful in practise and how these were monitored to keep intrusion to a minimum. Next, we describe two significant case studies which have been successfully carried out in the past, and conclude by outlining a number of challenges which we believe still need to be addressed for runtime verification to become more mainstream in industrial settings.|
|Appears in Collections:||Scholarly Works - FacICTCS|
Files in This Item:
|124.28 kB||Adobe PDF||View/Open Request a copy|
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.