Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

DOI10.1007/s00165-015-0340-4zbMath1328.68108OpenAlexW966662723MaRDI QIDQ903501

M. A. Reynolds, Tim French, Omar Al-Bataineh

Publication date: 6 January 2016

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-015-0340-4

zbMATH Keywords

timed automatamodel checkingworst-case execution time (WCET)zone abstraction

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Uses Software

• FLATA
• Uppaal
• opaal
• Algorithm 97

Cites Work

• How to stop time stopping
• Accelerating worst case execution time analysis of timed automata models with cyclic behaviour
• A theory of timed automata
• Forward analysis of updatable timed automata
• Exact Acceleration of Real-Time Model Checking
• Automatic Generation of Invariants for Circular Derivations in SUP(LA)
• Fast Acceleration of Ultimately Periodic Relations
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Automated Technology for Verification and Analysis
• Formal Methods for the Design of Real-Time Systems
• Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices
• Lectures on Concurrency and Petri Nets
• Formal Modeling and Analysis of Timed Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Accelerating worst case execution time analysis of timed automata models with cyclic behaviour