SwePub
Sök i LIBRIS databas

  Utökad sökning

WFRF:(Bartocci M.)
 

Sökning: WFRF:(Bartocci M.) > A survey of challen...

  • Sanchez Perez, Cesar,1981IMDEA Software Institute (författare)

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

  • Artikel/kapitelEngelska2019

Förlag, utgivningsår, omfång ...

  • 2019-11-11
  • Springer Science and Business Media LLC,2019
  • electronicrdacarrier

Nummerbeteckningar

  • LIBRIS-ID:oai:research.chalmers.se:7ce72ddc-276b-49a2-96a2-83e1c0261d42
  • https://research.chalmers.se/publication/536730URI
  • https://doi.org/10.1007/s10703-019-00337-wDOI
  • https://gup.ub.gu.se/publication/285889URI

Kompletterande språkuppgifter

  • Språk:engelska
  • Sammanfattning på:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:art swepub-publicationtype
  • Ämneskategori:ref swepub-contenttype

Anmärkningar

  • 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.

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Schneider, Gerardo,1967Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)(Swepub:gu)xschge (författare)
  • Ahrendt, Wolfgang,1967Chalmers tekniska högskola,Chalmers University of Technology(Swepub:cth)ahrendt (författare)
  • Bartocci, EzioTechnische Universität Wien,Vienna University of Technology (författare)
  • Bianculli, DomenicoUniversité du Luxembourg,University of Luxembourg (författare)
  • Colombo, ChristianUniversity of Malta (författare)
  • Falcone, YliésUniversité Grenoble Alpes,Grenoble Alpes University (författare)
  • Francalanza, AdrianUniversity of Malta (författare)
  • Krstic, SrdanEidgenössische Technische Hochschule Zürich (ETH),Swiss Federal Institute of Technology in Zürich (ETH) (författare)
  • Lourenco, Joao MNova University of Lisbon, Portugal (författare)
  • Nickovic, DejanAIT Austrian Institute of Technology GmbH (författare)
  • Pace, Gordon J.University of Malta (författare)
  • Rufino, J.M.M.Universidade de Lisboa,University of Lisbon (författare)
  • Signoles, Julien (författare)
  • Traytel, DmitriyEidgenössische Technische Hochschule Zürich (ETH),Swiss Federal Institute of Technology in Zürich (ETH) (författare)
  • Weiss, Alexander (författare)
  • IMDEA Software InstituteInstitutionen för data- och informationsteknik (GU) (creator_code:org_t)

Sammanhörande titlar

  • Ingår i:Formal Methods in System Design: Springer Science and Business Media LLC54:3, s. 279-3351572-81020925-9856

Internetlänk

Hitta via bibliotek

Till lärosätets databas

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy