On the public citation graph

The Testability of Distributed Real-Time Systems

https://doi.org/10.1007/b102510
0 signed · 65 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/spe.4380030206openalex-snapshot
Testing a multiprogramming system
inferredcites →https://doi.org/10.1002/spe.4380080607openalex-snapshot
Reproducible testing of monitors
inferredcites →https://doi.org/10.1007/bf00571421openalex-snapshot
Calculating the maximum execution time of real-time programs
inferredcites →https://doi.org/10.1007/bfb0024530openalex-snapshot
Event-triggered versus time-triggered real-time systems
inferredcites →https://doi.org/10.1109/32.67578openalex-snapshot
Debugging concurrent Ada programs by deterministic execution
inferredcites →https://doi.org/10.1109/40.16792openalex-snapshot
Distributed fault-tolerant real-time systems: the Mars approach
inferredcites →https://doi.org/10.1109/cmpeur.1990.113604openalex-snapshot
A test strategy for the distributed real-time system MARS
inferredcites →https://doi.org/10.1109/cmpsac.1989.65061openalex-snapshot
A model for monitoring and debugging parallel and distributed software
inferredcites →https://doi.org/10.1109/cmpsac.1989.65064openalex-snapshot
Deterministic execution debugging of concurrent Ada programs
inferredcites →https://doi.org/10.1109/reldis.1990.93962openalex-snapshot
Temporal uncertainties in interactions among real-time objects
inferredcites →https://doi.org/10.1109/tc.1987.5009516openalex-snapshot
Clock Synchronization in Distributed Real-Time Systems
inferredcites →https://doi.org/10.1109/tse.1984.5010304openalex-snapshot
Real-Time Execution Monitoring
inferredcites →https://doi.org/10.1109/wst.1988.5362openalex-snapshot
A formal framework for the study of concurrent program testing
inferredcites →https://doi.org/10.1145/3335772.3335934openalex-snapshot
Time, clocks, and the ordering of events in a distributed system
inferredcites →https://doi.org/10.1145/71021.71023openalex-snapshot
ARTS: a distributed real-time kernel
inferredcites →https://doi.org/10.1145/76894.76897openalex-snapshot
Debugging concurrent programs
inferredcites →https://doi.org/10.1145/98163.98167openalex-snapshot
Implementing fault-tolerant services using the state machine approach: a tutorial
inferredcites →https://doi.org/10.1201/9781420048131.axhopenalex-snapshot
Software Testing Techniques

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11423355_21openalex-snapshot
Controlled Experimentation with Agents — Models and Implementations
inferred← citeshttps://doi.org/10.1007/11925040_9openalex-snapshot
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings
inferred← citeshttps://doi.org/10.1007/3-540-49151-1_11openalex-snapshot
Supporting System-Level Testing of Applications by Active Real-Time Database Systems
inferred← citeshttps://doi.org/10.1007/978-0-387-35381-4_10openalex-snapshot
Test Architectures for Distributed Systems — State of the Art and Beyond
inferred← citeshttps://doi.org/10.1007/978-0-387-35599-3_16openalex-snapshot
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-16612-9_24openalex-snapshot
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects
inferred← citeshttps://doi.org/10.1007/bf01088802openalex-snapshot
Fundamental issues in testing distributed real-time systems
inferred← citeshttps://doi.org/10.1007/bf01200261openalex-snapshot
Verification of an active control system using temporal process algebra
inferred← citeshttps://doi.org/10.1007/bfb0056984openalex-snapshot
Conformance testing of TINA service components - The TTCN/CORBA gateway
inferred← citeshttps://doi.org/10.1016/b978-0-08-042593-1.50007-9openalex-snapshot
TEMPORAL VALIDATION OF DISTRIBUTED COMPUTER CONTROL SYSTEMS
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)44876-2openalex-snapshot
Pragmatic Aid in the Design of Real-Time System Software 1
inferred← citeshttps://doi.org/10.1016/s1474-6670(17)46662-6openalex-snapshot
Temporal Validation of Distributed Computer Control Systems
inferred← citeshttps://doi.org/10.1023/a:1008096431840openalex-snapshot
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing
inferred← citeshttps://doi.org/10.1023/a:1008185530601openalex-snapshot
Simulation-based Testing of Communication Protocols for Dependable Embedded Systems
inferred← citeshttps://doi.org/10.1109/2.248873openalex-snapshot
TTP-a protocol for fault-tolerant real-time systems
inferred← citeshttps://doi.org/10.1109/emwrts.1997.613791openalex-snapshot
Integrated validation of real-time system models
inferred← citeshttps://doi.org/10.1109/ftcs.1993.627355openalex-snapshot
TTP - A time-triggered protocol for fault-tolerant real-time systems
inferred← citeshttps://doi.org/10.1109/hicss.1996.495498openalex-snapshot
Debugging and dynamic modification of embedded systems
inferred← citeshttps://doi.org/10.1109/hipc.1998.738017openalex-snapshot
Testing concurrency and communication in distributed objects
inferred← citeshttps://doi.org/10.1109/icdcs.1992.235008openalex-snapshot
Sparse time versus dense time in distributed real-time systems
inferred← citeshttps://doi.org/10.1109/icsm.2002.1167797openalex-snapshot
Identifying test-critical dependencies
inferred← citeshttps://doi.org/10.1109/icsm.2005.96openalex-snapshot
Tracing distributed systems executions using AspectJ
inferred← citeshttps://doi.org/10.1109/icst.2008.21openalex-snapshot
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications
inferred← citeshttps://doi.org/10.1109/ipdps.2003.1213218openalex-snapshot
ConFiRM-DRTS: a certification framework for dynamic resource management in distributed real-time systems
inferred← citeshttps://doi.org/10.1109/isads.1993.262691openalex-snapshot
Real-time system development: The programming model of MARS
inferred← citeshttps://doi.org/10.1109/isorc.1998.666765openalex-snapshot
The time-triggered architecture
inferred← citeshttps://doi.org/10.1109/isorc.2004.1300357openalex-snapshot
Function test environment for embedded driver components
inferred← citeshttps://doi.org/10.1109/issre.2007.15openalex-snapshot
Generating Trace-Sets for Model-based Testing
inferred← citeshttps://doi.org/10.1109/jproc.2002.805821openalex-snapshot
The time-triggered architecture
inferred← citeshttps://doi.org/10.1109/ladc.2011.9openalex-snapshot
GENESYS - A Cross-Domain Architecture for Dependable Embedded Systems
inferred← citeshttps://doi.org/10.1109/mascots.2006.26openalex-snapshot
Holistic Debugging -- Enabling Instruction Set Simulation for Software Quality Assurance
inferred← citeshttps://doi.org/10.1109/models.2015.7338234openalex-snapshot
Process mining in software systems: Discovering real-life business transactions and process models from distributed systems
inferred← citeshttps://doi.org/10.1109/real.1998.739738openalex-snapshot
Testing the results of static worst-case execution-time analysis
inferred← citeshttps://doi.org/10.1109/rtss.2008.33openalex-snapshot
The Rationale for Time-Triggered Ethernet
inferred← citeshttps://doi.org/10.1109/tse.2006.96openalex-snapshot
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software
inferred← citeshttps://doi.org/10.1109/wfcs.2006.1704122openalex-snapshot
Pushing the limits of remote online diagnosis in flexray-based networks
inferred← citeshttps://doi.org/10.1109/wpdrts.1996.557681openalex-snapshot
One approach for generalization of real-time distributed systems benchmarking
inferred← citeshttps://doi.org/10.1109/wsc.2003.1261498openalex-snapshot
Simulation for testing software agents - an exploration based on James
inferred← citeshttps://doi.org/10.1145/1147249.1147253openalex-snapshot
Architecture-driven platform independent deterministic replay for distributed hard real-time systems
inferred← citeshttps://doi.org/10.1145/1967677.1967693openalex-snapshot
Software debugging and testing using the abstract diagnosis theory
inferred← citeshttps://doi.org/10.1145/2851613.2851978openalex-snapshot
Testability and software performance
inferred← citeshttps://doi.org/10.1201/9781439807637.ch1openalex-snapshot
Real-Time in Networked Embedded Systems
inferred← citeshttps://doi.org/10.2172/10108329openalex-snapshot
Software reliability and safety in nuclear reactor protection systems
inferred← citeshttps://doi.org/10.22215/etd/2018-13306openalex-snapshot
Bridging the Gap Between GUI Functional System Testing and Functional System Logic Testing
inferred← citeshttps://doi.org/10.3182/20020721-6-es-1901.01640openalex-snapshot
TIME-TRIGGERED REAL-TIME COMPUTING
inferred← citeshttps://doi.org/10.53846/goediss-2583openalex-snapshot
Languages, Tools and Patterns for the Specification of Distributed Real-Time Tests
inferred← citeshttps://doi.org/10.5555/1030818.1030924openalex-snapshot
Next generation modeling III - agents: simulation for testing software agents - an exploration based on James
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.