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

• DOI: 10.1007/s10703-019-00337-w
• Publication Date: 2019-08-09T16:03:46Z
• Authors: 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
• Keywords: Runtime Verification; Functional verification; Software verification; Verification; TRACE (psycholinguistics); Intelligent verification; High-level verification; Instrumentation

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