2010 | OriginalPaper | Buchkapitel
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems
verfasst von : Alexandre David, Kim. G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wąsowski
Erschienen in: Automated Technology for Verification and Analysis
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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 comprehensive system descriptions from basic requirements. Algorithms 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 approach allows for scalability in the verification.