Parametric timing analysis for real-time systems
From MaRDI portal
Publication:675050
DOI10.1006/INCO.1996.0086zbMATH Open0872.68041OpenAlexW2034124289MaRDI QIDQ675050FDOQ675050
Authors: Farn Wang
Publication date: 13 October 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/725bb390b74480eb2d11d2ff2f5b52f0cc6e46c5
Recommendations
- Timing parameter characterization of real-time systems
- Specification and timing analysis of real-time systems
- Analyzing real-time systems: Theory and tools
- Toward parametric timed interfaces for real-time components
- scientific article; zbMATH DE number 1001709
- scientific article; zbMATH DE number 1041071
Cited In (29)
- A survey of timed automata for the development of real-time systems
- Cutting-edge timing analysis techniques
- Title not available (Why is that?)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability
- Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
- Decision problems for lower/upper bound parametric timed automata
- Reachability solution characterization of parametric real-time systems
- Timing parameter characterization of real-time systems
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Language emptiness of continuous-time parametric timed automata
- Parametric schedulability analysis of a launcher flight control system under reactivity constraints
- A TIMED FAILURE EQUIVALENCE PRESERVING ABSTRACTION FOR PARAMETRIC TIME-INTERVAL AUTOMATA
- Parameter synthesis for probabilistic timed automata using stochastic game abstractions
- INDUCTIVE COMPOSITION OF NUMBERS WITH MAXIMUM, MINIMUM, AND ADDITION: A New Theory for Program Execution-Time Analysis
- Counter automata for parameterised timing analysis of box-based systems
- A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems
- Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP
- Toward parametric timed interfaces for real-time components
- Parametric dispatching of hard real-time tasks
- Parameter synthesis for hierarchical concurrent real-time systems
- Parametric metric interval temporal logic
- A Graph-Theoretic Approach for Timing Analysis and its Implementation
- An inverse method for parametric timed automata
- Title not available (Why is that?)
- Shrinking of time Petri nets
- Sensitivity analysis of complex embedded real-time systems
- Title not available (Why is that?)
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Title not available (Why is that?)
This page was built for publication: Parametric timing analysis for real-time systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q675050)