Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/28186
Full metadata record
DC FieldValueLanguage
dc.date.accessioned2018-03-23T07:13:06Z
dc.date.available2018-03-23T07:13:06Z
dc.date.issued2016-06
dc.identifier.citationDe Cataldo, G., Colombo, C., Franco, A., Pace, G. J., Valentino, G., & Vella, K. (2016). Run-time monitoring for the diagnosis and recovery of complex physical systems. Trends, Wishes and Dreams Symposium on Detection and Imaging Technologies, Barcelona.en_GB
dc.identifier.urihttps://www.um.edu.mt/library/oar//handle/123456789/28186
dc.description.abstractRuntime verification focuses on techniques to check the dynamic (runtime) behaviour of a system typically with the aim of ensuring that the system is working correctly. In lining property checks via assertions or similar techniques has been standard practice since the dawn of programmable machines. Such in lined approaches result in the interweaving of the executable system specification (the program) with the specification of properties which it should satisfy. Separation of concerns has long been identified as an important principle, and the possibility of separating these two aspects of a system is one of the objectives of most modern runtime verification approaches — allowing for (i) having different teams working on the different aspects i.e. development and quality assurance; (ii) the use of the specification across different versions, instances or even systems. Another issue with in lined assertion checking arises as the complexity of the properties increases. Although in lining a property such as ‘the gas leak variable should be low when the induce Spark method is called’ is straightforward, a property such as ‘the open Valve method should have been called before induce Spark is called’ results with the developer having to introduce additional state to remember whether open Valve was called in the past. More complex properties, such as ‘The gas leak variable may not have been true for more than 1 minute in the last 30 minutes just before induce Spark is called’, results in more complex additional state and logic to handle it, which may, in turn result in more new errors being introduced into the system. The role of the runtime verification tool is twofold: (i) it modifies the system instrumenting code to be able to capture points of interest during its execution which are of interest with respect to the specification; and (ii) it converts the specification into a monitor, which reacts whenever a point of interest is reached, checking that the behaviour of the system does not violate the specification. Using such an approach, a specialised language can be used to write the specifications, which allows the adoption of domain specific languages which can be used to describe the behaviour more succinctly and precisely. Runtime verification would lend itself well to complex and critical environments such as detector and accelerator control systems, where loss of detector sub-systems could hinder it from data taking, or errors in control systems of high-energy particle accelerators with highly-destructive beams such as LHC could damage the machine, leading to months of costly downtime.en_GB
dc.language.isoenen_GB
dc.publisherATTRACTen_GB
dc.rightsinfo:eu-repo/semantics/restrictedAccessen_GB
dc.subjectComputer scienceen_GB
dc.subjectComputer software -- Verificationen_GB
dc.subjectIntelligent control systemsen_GB
dc.titleRun-time monitoring for the diagnosis and recovery of complex physical systemsen_GB
dc.typepresentationen_GB
dc.rights.holderThe copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder.en_GB
dc.bibliographicCitation.conferencenameTrends, Wishes and Dreams Symposium on Detection and Imaging Technologiesen_GB
dc.bibliographicCitation.conferenceplaceBarcelona, Spain, June 2016en_GB
dc.description.reviewedN/Aen_GB
dc.contributor.creatorDe Cataldo, Giacinto
dc.contributor.creatorColombo, Christian
dc.contributor.creatorFranco, Antonio
dc.contributor.creatorPace, Gordon J.
dc.contributor.creatorValentino, Gianluca
dc.contributor.creatorVella, Kevin
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
2016 - TWD - RuntimeMonitoring.pdf
  Restricted Access
570.13 kBAdobe PDFView/Open Request a copy


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