ECDAR swMATH ID: 2824 Software Authors: David, Alexandre; Larsen, Kim.G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej Description: ECDAR: an environment for compositional design and analysis of real time systems. 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. Homepage: http://ecdar.cs.aau.dk/ Related Software: MIO Workbench; UPPAAL TIGA; Motras; PyEcdar; Uppaal; JML; LiQuor; PRISM; PPL; SPIN Cited in: 8 Publications Standard Articles 1 Publication describing the Software Year ECDAR: an environment for compositional design and analysis of real time systems David, Alexandre; Larsen, Kim. G.; Legay, Axel; Nyman, Ulrik; Wąsowski, Andrzej 2010 all top 5 Cited by 21 Authors 4 Larsen, Kim Guldstrand 3 Legay, Axel 3 Wąsowski, Andrzej 2 Křetínský, Jan 2 Kwiatkowska, Marta Z. 2 Nyman, Ulrik 2 Sickert, Salomon 2 Traonouez, Louis-Marie 1 Beneš, Nikola 1 Bourke, Timothy 1 Chilton, Chris 1 David, Alexandre 1 Gundersen, Tobias R. 1 Lime, Didier 1 Lorber, Florian 1 Møller, Mikael Harkjær 1 Norman, Gethin 1 Ovesen, Christian 1 Qu, Hongyang 1 Srba, Jiří 1 Wang, Xu Cited in 3 Serials 1 Acta Informatica 1 Theoretical Computer Science 1 Information and Computation Cited in 2 Fields 8 Computer science (68-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year