• Light-CCSL
    • Light implementation of the Clock Constraint Specification Language (CCSL, a formal companion language for MARTE
    • A set of tools for simulation, symbolic verification and solving.
  • TimeSquare
    • Eclipse-framework dedicated to the timing analysis of MARTE models
    • Agence de Protection des Programmes: IDDN.FR.170007.000.S.P.2009.000.10600


  • (Java) HASE / SimJava
    • Simulation of hardware architectures.
    • Used in Education at Edinburgh University, Institute for System Level Integration, and Université Nice Sophia Antipolis.
  • SEP: Simulation and Performance evaluation of computer architectures
    • European Patent EP12090588, Philips Semiconductors, May 2000, Enhancements to object-oriented electronic circuit design modeling and simulation environment