A new FunDoc version has been released. This major release contains the following highlights: Autosar SWC library documentation, new ASCET access via WebService, new PACES access, introduction of "LuaTeX" as new PDF compiler for FunDoc TeX output, misc. For details,…

A new ADDS package has been released. This major release contains the following highlights: ADD/PACES tool lock, improved ARXML SWC interface checks, new SWC requirements check, VDM enhancements: signal filter & signal names, many PACES-UI improvements, misc. Moreover, several new…