Projects per year
Abstract
We present a specification theory for timed systems implemented in the ECDAR tool. We illustrate the operations of the specification theory on a running example, showing the models and verification checks. To demonstrate the power of the compositional verification, we perform an in depth case study of a leader election protocol; Modeling it in ECDAR as Timed input/output automata Specifications and performing both monolithic and compositional verification of two interesting properties on it. We compare the execution time of the compositional to the classical verification showing a huge difference in favor of compositional verification.
Original language | English |
---|---|
Journal | International Journal on Software Tools for Technology Transfer |
Volume | 14 |
Issue number | 6 |
Pages (from-to) | 703-720 |
ISSN | 1433-2779 |
Publication status | Published - 2012 |
Keywords
- Timed input/output automata
- Compositional verification
- Real-time systems
- Leader election protocol
Fingerprint
Dive into the research topics of 'Compositional verification of real-time systems using Ecdar'. Together they form a unique fingerprint.Projects
- 1 Finished
-
MT-Lab - Modelling of Information Technology
Wasowski, A. (CoI), Godskesen, J. C. (PI), Song, L. (CoI), Traonouez, L.-M. (CoI) & Biondi, F. (CoI)
01/11/2008 → 31/10/2013
Project: Research