Ecdar is an abbreviation of Environment for Compositional Design and Analysis of Real Time Systems
This page contains an overview of research papers related to Ecdar as of the spring of 2020.
Downloads, an overview of the History of Ecdar and the Architecture can all be found on ecdar.net.
Research papers:
- SETTA 2020 Randomized Refinement Checking of Timed I/O Automata (pdf, video presentation)
- GandALF 2018 Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar (pdf)
- ICSTW 2017 Mutation-Based Test-Case Generation with Ecdar (pdf) (IEEE page)
- STTT 2013 Real-time specifications (pdf)
- STTT 2012
- Compositional verification of real-time systems using Ecdar (pdf)
- Journal paper containing compositional verification and performance experiments
- WADT 2010
- New Results on Timed Specifications (pdf, published in Recent Trends in Algebraic Development Techniques after WADT)
- This paper presents an efficient algorithm for checking Büchi objectives of timed games. This algorithm can be used to strengthen the infinite behavior of an interface, or to guarantee that the interface can indeed be implemented
- An Interface Theory for Timed Systems (pdf, very short abstract submitted to WADT)
- ATVA 2010
- ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems (pdf)
- Short tool paper with experimental comparison of monolithic and compositional verification
- HSCC 2010
- FMCO 2010
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (pdf <– small correction in figure compared to original)
- Explains different way the theory could be used in development. Contains best explanation of quotient operation
Student reports and papers about Ecdar
- Ecdar GUI
- Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
- JECDAR 0.2 – Model checking refinement relations for Timed I/O Automata
Models
Comments are closed.