Software

Maintained

• 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

Discontinued

• (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