DMCA
A.: Ecdar: An environment for compositional design and analysis of real time systems (2010)
| Venue: | In: ATVA. Volume 6252 of LNCS |
| Citations: | 11 - 6 self |
BibTeX
@INPROCEEDINGS{David10a.:ecdar:,
author = {Re David and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wąsowski},
title = {A.: Ecdar: An environment for compositional design and analysis of real time systems},
booktitle = {In: ATVA. Volume 6252 of LNCS},
year = {2010},
pages = {365--370},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. We present Ecdar a new tool for compositional design and verification of real time systems. In Ecdar, a component interface de-scribes both the behavior of the component and the component’s assump-tions about the environment. The tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quo-tient, consistency/satisfaction checking, and refinement. The operators can be used to combine basic models into larger specifications to con-struct comprehensive system descriptions from basic requirements. Algo-rithms to perform these operations have been based on a game theoretical setting that permits, for example, to capture the real-time constraints on communication events between components. The compositional ap-proach allows for scalability in the verification. 1
Keyphrases
real time system compositional design game theoretical setting important operation basic requirement communication event consistency satisfaction checking component interface basic model present ecdar real-time constraint new tool comprehensive system description compositional ap-proach allows
