Results 101 to 110 of about 8,146 (201)

Checking Temporal Constraints of Events in EBS at Runtime

Cybernetics and Information Technologies
As a kind of software system, the Event-Based Systems (EBS) respond to events rather than executing a predefined sequence of instructions. Events usually occur in real time, so it is crucial that they are processed in the correct order and within ...
Trinh Thanh-Binh, Nguyen Hanh-Phuc, Nguyen Dinh-Hai, To Van-Khanh, Truong Ninh-Thuan   +4 more
doaj   +1 more source

Combining testing and runtime verification [PDF]

, 2012
Testing and runtime verification are intimately related: runtime verification enables testing of systems beyond their deployment by monitoring them under normal use while testing is not only concerned with monitoring the behaviour of systems but also ...
Colombo, Christian, Computer Science Annual Workshop CSAW’12   +1 more
core  

Runtime Verification of Component-Based Systems

, 2011
International audienceVerification of component-based systems still suffers from limitations such as state space explosion since a large number of different components may interact in an heterogeneous environment.
Mohamad Jaber, Jaber, Mohamad, Falcone, Yliès, Marius Bozga, Saddek Bensalem, Bozga, Marius, Nguyen, Thanh-Hung, Thanh-hung Nguyen, Bensalem, Saddek, Yliès Falcone   +9 more
core   +1 more source

Privacy-Preserving Runtime Verification

Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
42 pages, 12 figures, 2 ...
Thomas A. Henzinger, Mahyar Karimi 0001, K. S. Thejaswini   +2 more
openaire   +2 more sources

INTEGRATION OF DECENTRALIZED PERFORMANCE VERIFICATION IN HYBRID ARCHITECTURES EDGE-FOG-CLOUD TO INCREASE IoT SYSTEMS RELIABILITY

Електроніка та інформаційні технології
Background. The rapid growth of Internet of Things (IoT) systems has increased the demand for scalable and low-latency data processing architectures.
Roman Diachok, Halyna Klym
doaj   +1 more source

Automated test-trace inspection for microcontroller binary code

, 2011
This paper presents a non-intrusive framework for runtime verification of executable microcontroller code. A dedicated hardware unit is attached to a microcontroller, which executes the program under scrutiny, to track atomic propositions stated as ...
Reinbacher, Thomas, Schachinger, Daniel, Steininger, Andreas, Brauer, Jörg, Kowalewski, Stefan   +4 more
core  

Deterministic Dual-Role I²C Verification via Bus Ownership Invariants and Bounded Runtime Switching

IEEE Access
Dual-role I2C endpoints have become a practical necessity in modern system-on-chip (SoC) architectures, where a single IP must alternate between master and slave roles across boot, recovery, and power-management phases.
Wei-Tzer Huang, Yu-Cheng Liao, Wei-Chen Lin   +2 more
doaj   +1 more source

Adding runtime verification to the Proteus language

, 2021
Runtime Verification is a broad technique for evaluating the behavior of a system by analyzing a single run of execution as a series of events. This project adds basic runtime verification features to Proteus, a prototype programming language being ...
McClelland, Brian
core  

Using SMT for dealing with nondeterminism in ASM-based runtime verification

, 2014
In runtime verification, operational models describing the expected system behavior offer some advantages with respect to declarative specifications of properties, especially when designers are more accustomed to them.
GARGANTINI, Angelo Michele, ARCAINI, Paolo   +1 more
core   +1 more source

A Unified Approach for Static and Runtime Verification: Framework and Applications [Elektronisk resurs]

, 2012
Static verification of software is becoming ever more effective and efficient. Still, static techniques either have high precision, in which case powerful judgements are hard to achieve automatically, or they use abstractions supporting increased ...
Schneider, Gerardo,, Pace, Gordon J., Ahrendt, Wolfgang,   +2 more
core