A Graph-Theoretic Approach for Timing Analysis and its Implementation

DOI10.1109/TC.1987.5009519MaRDI QIDQ4728220zbMATH OpenOpenAlexFDO

Authors Farnam Jahanian, Aloysius K. Mok

Publication date 1987

Published in IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tc.1987.5009519

zbMATH Keywords

graph-theoretic algorithm for safety analysisreal time logicsafety analysissafety assertionsystem specificationtime-critical systemtiming properties in real-time systemsverification

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Parametric timing analysis for real-time systems
• Analysis and verification of real-time systems using quantitative symbolic algorithms
• Improvement of a reachability analysis algorithm for real-time systems
• Model-checking in dense real-time
• scientific article; zbMATH DE number 1507209

Cited in

(17)

• A rigorous methodology for specification and verification of business processes
• Using mappings to prove timing properties
• Temporal communication graphs: Lamport's process-time graphs augmented for the purpose of mapping and scheduling
• A theory of timed automata
• Formal timing analysis for distributed real-time programs
• A logic for reasoning about time and reliability
• A process algebra of communicating shared resources with dense time and priorities
• A temporal logic for real-time partial ordering with named transactions
• Optimizing path real-time logic for unified real-time system
• Counting for satisfiability by inverting resolution
• Steady state analysis of timed event graphs with time window constraints
• Algorithms for Extracting Timeliness Graphs
• scientific article; zbMATH DE number 744061 (Why is no real title available?)
• A temporal logic for real-time partial-ordering with named transactions
• An algebraic model for performance evaluation of timed event multigraphs
• scientific article; zbMATH DE number 969979 (Why is no real title available?)
• Integrating on-line performance visualization and real-time system design

This page was built for publication: A Graph-Theoretic Approach for Timing Analysis and its Implementation

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