Offline runtime verification with real-time properties : a case study

Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/24086

Title:	Offline runtime verification with real-time properties : a case study
Authors:	Colombo, Christian Pace, Gordon J. Abela, Patrick
Keywords:	Aspect-oriented programming Computer software -- Development Real-time data processing Computer security
Issue Date:	2009
Publisher:	University of Malta. Faculty of Information and Communication Technology
Citation:	Colombo, C., Pace, G. J., & Abela, P. (2009). Offline runtime verification with real-time properties: a case study. 2nd WICT National Workshop in Information and Communication Technology (WICT 2009), Valletta. 1-4.
Abstract:	Online monitoring of software systems has lately been gaining popularity. Yet, such monitoring interferes with the system under observation, possibly causing unexpected repercussions such as system slowdown. In various cases, such as the financial sector, it is still worth detecting a problem late. The awareness of the problem might be useful to avert similar problems from reoccurring in the future. The LARVA monitoring framework has been adapted to support offline monitoring of systems and has been applied to an industrial case study — a financial transaction system. Various interesting issues emerge: initialisation of monitors, and the implementation of timestamp-driven clocks.
URI:	https://www.um.edu.mt/library/oar//handle/123456789/24086
Appears in Collections:	Scholarly Works - FacICTCS

Files in This Item:

File	Description	Size	Format
Offline_Runtime_Verification_with_Real-Time_Proper.pdf		48.71 kB	Adobe PDF	View/Open