ARINC661 part 2 project defines a language that can be used by any airframe manufacturer to formally specify modern graphical user interface (tactile support, animation, ...).
PolarSys CHESS implements the CHESS UML profile, a specialization of the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile, by producing extensions to Papyrus that provide com
Latest release: 0.10.0
ArCon is a tool for architecture conformance validation of systems modelled in UML/SysML.
The early-bird deadline is July 1 and final submission is July 15.