IDCM Tool

IDCM FOR LINUX or MAC OS X

IDCM U1.0  performs liveness  analyses of UML components during their incremental development such as: conformance, extension, refinement and substitution.

IDCM U1.0 transforms UML models into BIP language in order to use DFinder tool for safety analysis.

Required configuration and tools :

  • LINUX or MAC OS X
  • Java jre 1.7,
  • CADP is required  for composite component transformation,
  • DFinder and its associated tools (Yices, Omega, JAVABDD) is required for safety analysis.

Download IDCMU1.0. Unzip and double click on IDCM1.0.jar to run the application.

Download Mutex project to test IDCM. This archive includes a UML model and its sub- directories: LTS, BIP, EXP generated by the transformation tool of IDCM. A directory YICES has been added in order to visualize files generated by Dfinder from BIP files generated by IDCM.  Files with extension .aut, exp and .ys are textual files and can be opened with any text editor.

For modeling your own system, use TopCased or Papyrus modelling tools. UML2.1 or any upper version is required.

 

IDCM FOR WINDOWS OS

IDCM W1.0 –  liveness analysis of UML components, including conformance, extension, refinement and substitution relations. This version does not include transformation of composite components which requires CADP toolbox and safety analysis which requires DFinder tool. A UML model is provided to avoid TopCased or Papyrus installation.

See Owerview of IDCM for more information

Required configuration : Windows 7. Java jre 1.6.

Download IDCMW1.0 . Unzip and complete idcm.properties. Double click on IDCM1.0.jar to run the application.

Download Mutex project to test IDCM. This archive includes a UML project and its sub- directories: LTS, EXP generated by the transformation tool of IDCM.Files of these three directories are textual and can be open with any text editor.

See overview of liveness analysis to  analyse the project with IDCM.

For modeling your own system, use TopCased or Papyrus modelling tool. UML2.1 is required.