Formal Modeling and Analysis of Timed Systems
From MaRDI portal
Recommendations
- A hybrid performance analysis technique for distributed real-time embedded systems
- An approach to module distribution for the design of embedded distributed software systems
- Analytic performance evaluation of distributed systems
- scientific article; zbMATH DE number 5080923
- Rapid performance re-engineering of distributed embedded systems via latency analysis and k-level diagonal search
- A framework for modular analysis and exploration of heterogeneous embedded systems
- scientific article; zbMATH DE number 1706364
- Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.
Cited in
(10)- A hybrid performance analysis technique for distributed real-time embedded systems
- Designing end-to-end resource reservations in predictable distributed embedded systems
- Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.
- scientific article; zbMATH DE number 5080923 (Why is no real title available?)
- On the modular integration of abstract semantics for WCET analysis
- Performance debugging of heterogeneous real-time systems
- Multiprocessor extensions to real-time calculus
- Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
- Equivalence relations for modular performance evaluation in dtsPBC
- Quantitative characterization of event streams in analysis of hard real-time applications
This page was built for publication: Formal Modeling and Analysis of Timed Systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5897949)
