The model can be simulated and can be exported to model checking tools. Based on ITU-T Z.109 UML profile, SDL-RT, SDL. Generated code can be integrated on the following RTOS: VxWorks, FreeRTOS, ThreadX, CMX, OSE Delta, OSE epsilon, uITRON 3, uITRON 4, Nucleus, posix, win32.ĭedicated to modeling and testing of communicating systems. Model simulator integrated with any FMI 2.0 supporting tool. Integration with Reqtify traceability tool. Windows Vista SP2 and later, OS X Mountain Lion and later, or Linux Ĭommunity & Express editions: Registerware Enterprise, Professional & Others editions: TrialwareĬore tool: GPL, Extensions: Apache License, Commercial Ĭommissariat à l'Énergie Atomique, Atos OriginĬommercial, Freeware for non-commercial use Windows (supports Linux and macOS installation)Ĭhrome, Safari, Firefox, Internet Explorer 9+ Free education edition, subscription modelįree from v7.0, Commercial starting from v5.0 up to v6.12,GPL before v5.0
