Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/27606
Title: Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges
Authors: Colombo, Christian
Pace, Gordon J.
Keywords: Finance -- Computer programs
Transaction systems (Computer systems)
Real-time data processing
Computer systems -- Verification
Issue Date: 2018
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.
URI: https://www.um.edu.mt/library/oar//handle/123456789/27606
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
BookchapteronRV.pdf
  Restricted Access
124.28 kBAdobe PDFView/Open Request a copy


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.