Sökning: onr:"swepub:oai:research.chalmers.se:7ce72ddc-276b-49a2-96a2-83e1c0261d42" >
A survey of challen...
A survey of challenges for runtime verification from advanced application domains (beyond software)
-
- Sanchez Perez, Cesar, 1981 (författare)
- IMDEA Software Institute
-
- Schneider, Gerardo, 1967 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för data- och informationsteknik (GU),Department of Computer Science and Engineering (GU)
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
visa fler...
-
- Bartocci, Ezio (författare)
- Technische Universität Wien,Vienna University of Technology
-
- Bianculli, Domenico (författare)
- Université du Luxembourg,University of Luxembourg
-
- Colombo, Christian (författare)
- University of Malta
-
- Falcone, Yliés (författare)
- Université Grenoble Alpes,Grenoble Alpes University
-
- Francalanza, Adrian (författare)
- University of Malta
-
- Krstic, Srdan (författare)
- Eidgenössische Technische Hochschule Zürich (ETH),Swiss Federal Institute of Technology in Zürich (ETH)
-
- Lourenco, Joao M (författare)
- Nova University of Lisbon, Portugal
-
- Nickovic, Dejan (författare)
- AIT Austrian Institute of Technology GmbH
-
- Pace, Gordon J. (författare)
- University of Malta
-
- Rufino, J.M.M. (författare)
- Universidade de Lisboa,University of Lisbon
-
Signoles, Julien (författare)
-
- Traytel, Dmitriy (författare)
- Eidgenössische Technische Hochschule Zürich (ETH),Swiss Federal Institute of Technology in Zürich (ETH)
-
Weiss, Alexander (författare)
-
visa färre...
-
(creator_code:org_t)
- 2019-11-11
- 2019
- Engelska.
-
Ingår i: Formal Methods in System Design. - : Springer Science and Business Media LLC. - 1572-8102 .- 0925-9856. ; 54:3, s. 279-335
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://link.springe...
-
https://research.cha...
-
https://doi.org/10.1...
-
https://gup.ub.gu.se...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- Computer science
- Formal methods
- Runtime verification
- Formal verification
- Computer science
- Formal methods
- Formal verification
- Runtime verification
Publikations- och innehållstyp
- art (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas
- Av författaren/redakt...
-
Sanchez Perez, C ...
-
Schneider, Gerar ...
-
Ahrendt, Wolfgan ...
-
Bartocci, Ezio
-
Bianculli, Domen ...
-
Colombo, Christi ...
-
visa fler...
-
Falcone, Yliés
-
Francalanza, Adr ...
-
Krstic, Srdan
-
Lourenco, Joao M
-
Nickovic, Dejan
-
Pace, Gordon J.
-
Rufino, J.M.M.
-
Signoles, Julien
-
Traytel, Dmitriy
-
Weiss, Alexander
-
visa färre...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Programvarutekni ...
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Datavetenskap
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Datorsystem
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
- Artiklar i publikationen
-
Formal Methods i ...
- Av lärosätet
-
Chalmers tekniska högskola
-
Göteborgs universitet