- 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.
- 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