A new ADDS and FunDoc package has been released. This major release contains the following highlights: Enhanced Autosar support on SWCs level (Runnables, Interfaces, Ports), misc. NCheck enhancements. Moreover, several new features, enhancements, usability improvements and bugfixes are included in…

A new version of VDM Offline has been released. Improvements: Export to Excel Support of AUTOSAR Schema R20-11 Minor bugfixes and improvements (search, MDX, layout algorithm Neato) See: Download VDM Offline