Results 91 to 100 of about 8,146 (201)
Incrementally Predictive Runtime Verification
, 2021 Runtime Verification is a lightweight formal verification technique used to verify the runtime behaviour of software (resp. hardware) systems. Given a formal property, one or more monitors are synthesised to verify the latter against a system execution ...
Ferrando, A +3 more
core
Proof-Carrying Hardware: Concept and Prototype Tool Flow for Online Verification
International Journal of Reconfigurable Computing, 2010 Dynamically reconfigurable hardware combines hardware performance with software-like flexibility and finds increasing use in networked systems. The capability to load hardware modules at runtime provides these systems with an unparalleled degree of ...
Stephanie Drzevitzky +2 more
doaj +1 more source
Real-Time Runtime Verification on Chip
, 2012 We present an algorithmic framework that allows on-line monitoring of past-time MTL specifications in a discrete time setting. The algorithms allow to be synthesized into efficient observer hardware blocks, which take advantage of the highly-parallel ...
Reinbacher, Thomas +2 more
core
Unified Monitor and Controller Synthesis for Securing Complex Unmanned Aircraft Systems
DronesUnmanned Aircraft Systems (UASs) have undergone rapid development over recent years, but have also became vulnerable to security attacks and the volatile external environment.
Dong Yang +4 more
doaj +1 more source
Runtime Verification of C Programs [PDF]
, 2008 We present in this paper a framework, Rmor , for monitoring the execution of C programs against state machines, expressed in a textual (non-graphical) format in files separate from the program. The state machine language has been inspired by a graphical state machine language Rmor recently developed at the Jet Propulsion Laboratory, as an alternative
openaire +1 more source
Assumption-based Runtime Verification with Partial Observability and Resets
, 2019 We consider Runtime Verification (RV) based on Propositional Linear Temporal Logic (LTL) with both future and past temporal operators. We generalize the framework to monitor partially observable systems using models of the system under scrutiny (SUS) as ...
Chun Tian +2 more
core +1 more source
Statistics and runtime verification [PDF]
, 2009 The importance of correctness of systems is becoming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such correctness, with one of the more promising ones ...
Pace, Gordon J. +3 more
core
International Journal of Reconfigurable Computing, 2018 With the increasing design and production costs and long time-to-market for Application Specific Integrated Circuits (ASICs), implementing digital circuits on reconfigurable hardware is becoming a more common practice.
Bahram N. Uchevler, Kjetil Svarstad
doaj +1 more source
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis [PDF]
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the program execute and thereby read the important dynamic configuration data ...
Kneuss, Etienne +2 more
core +1 more source
Runtime verification of programs using rule-based active system [PDF]
Journal of Mahani Mathematical Research, 2012 Seyed Morteza Babamir
doaj +1 more source