ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems

@inproceedings{David2010ECDARAE,
  title={ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems},
  author={A. Fernandez G. David and Kim G. Larsen and Axel Legay and Ulrik Mathias Nyman and Andrzej Wasowski},
  booktitle={ATVA},
  year={2010}
}
We present Ecdar a new tool for compositional design and verification of real time systems. In Ecdar, a component interface describes both the behaviour of the component and the component’s assumptions about the environment. The tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction checking, and refinement. The operators can be used to combine basic models into larger specifications to construct… CONTINUE READING
BETA

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 39 CITATIONS, ESTIMATED 33% COVERAGE

119 Citations

0102030'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 119 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…