Explaining safety violations in real-time systems

DOI10.1007/978-3-030-85037-1_7OpenAlexW3195992302MaRDI QIDQ832041FDOQ832041

Authors: Thomas Mari, Thao Dang, Gregor Gössler 

Publication date: 24 March 2022

Full work available at URL: https://hal.inria.fr/hal-03348046/file/RR-9420.pdf

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Kronos: A verification tool for real-time systems
• Uppaal in a nutshell
• A theory of diagnosis from first principles
• Title not available (Why is that?)
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Dynamic program slicing
• Analysis of timed systems using time-abstracting bisimulations
• Program Slicing
• Explaining counterexamples using causality
• Title not available (Why is that?)
• Program repair without regret
• Causality analysis and fault ascription in component-based systems
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Clock bound repair for timed systems

Cited In (1)

• Explaining safety failures in NetKAT

Uses Software

• Kronos
• Uppaal
• CADP
• TarTar

This page was built for publication: Explaining safety violations in real-time systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832041)