Till sidans topp

Sidansvarig: Webbredaktion
Sidan uppdaterades: 2012-09-11 15:12

Tipsa en vän
Utskriftsversion

A survey of challenges fo… - Göteborgs universitet Till startsida
Webbkarta
Till innehåll Läs mer om hur kakor används på gu.se

A survey of challenges for runtime verification from advanced application domains (beyond software)

Artikel i vetenskaplig tidskrift
Författare César Sánchez
Gerardo Schneider
Wolfgang Ahrendt
Ezio Bartocci
Domenico Bianculli
Christian Colombo
Yliés Falcone
Adrian Francalanza
Srđan Krstić
Joa̋o M. Lourenço
Dejan Nickovic
Gordon J. Pace
Jose Rufino
Julien Signoles
Dmitriy Traytel
Alexander Weiss
Publicerad i Formal Methods in System Design
Volym 54
Nummer/häfte 3
Sidor 279–335
ISSN 0925-9856
Publiceringsår 2019
Publicerad vid Institutionen för data- och informationsteknik (GU)
Sidor 279–335
Språk en
Länkar https://doi.org/10.1007/s10703-019-...
Ämnesord Computer science, Formal methods, Formal verification, Runtime verification
Ämneskategorier Data- och informationsvetenskap

Sammanfattning

Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.

Sidansvarig: Webbredaktion|Sidan uppdaterades: 2012-09-11
Dela:

På Göteborgs universitet använder vi kakor (cookies) för att webbplatsen ska fungera på ett bra sätt för dig. Genom att surfa vidare godkänner du att vi använder kakor.  Vad är kakor?