Testing Real-Time Systems With Runtime Enforcement

IEEE Design and Test - United States
doi 10.1109/mdat.2018.2791801
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Deterministic Runtime Adaptation for Hard Real-Time Embedded Systems With Processing Constraints

2011English

Runtime Enforcement of Reactive Systems Using Synchronous Enforcers

2017English

Real-Time TTCN for Testing Real-Time and Multimedia Systems

1997English

A Theory of Runtime Enforcement, With Results

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Towards Systematic Testing of Distributed Real-Time Systems

English

Runtime Enforcement of Timed Properties Revisited

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2014English

Runtime Enforcement of Web Service Message Contracts With Data

IEEE Transactions on Services Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsManagementArchitecture
2012English

Performance Stress Testing of Real-Time Systems Using Genetic Algorithms

English

Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy