Videos

• Support for the DDC-I SCORE compiler (PowerPC) and the Renesas CS+ compiler (RH850/V850)
• Support for Windows color schemes (dark mode)
• Relaxed license handling and general improve­ments for ValueAnalyzer
• New consistency check for stack analyses
• New running task-mode analysis in TimeWeaver
• Several improvements to the AIS2 annotation language

• Improved reporting of annotation insertion errors
• Automatic filtering of the assembler statement asm {…}
• One alarm replaced by a diagnostic rule
• Improved alarm reporting for RuleChecker C++
• Rule set T now available for C++

• GUI improvements 0:40
• TimeWeaver improvements 4:56
• Improved value analysis 10:50
• New and improved annotations 14:04

• Blacklisting/whitelisting files and folders in RuleChecker configu­rations 0:26
• C++ code metrics 2:16
• Improved alarm reporting 3:01
• Notifications removed 4:59

• Improved license management 0:22
• Cross-referencing analysis results 4:18
• Full project search 11:06
• Improved DWARF lookup 13:45
• TimeWeaver improvements 15:14
• Value analysis for all entry points 20:49

• AIS annotations 0:19:
  • New default mapping 0:26
  • New AIS functors 1:14
  • New annotation scope 4:10
• GUI improvements 7:42:
  • Interactive analyses 7:42
  • Workspace export 11:39
• Improvements to TimeWeaver 13:07:
  • Interactive MCDS tracing 15:13
  • Trace streaming demo 16:28

• AIS annotations 0:18:
  • Value partitioning 0:18
  • Annotating call targets from DWARF view 11:36
• Trace-iterative decoding 15:28
• GUI improvements 20:42
• Improvements to TimeWeaver 26:08

• Rule checks for C++ code 0:14
• CompCert integration 3:04
• macOS support 4:09

• Floating licenses 0:31
• Concurrent analyses 3:01
• C++ Virtual Call Target Analyzer 5:38
• C++ type inheritance graphs 13:17
• Excluding subgraphs 14:38
• Hybrid WCET analysis with TimeWeaver 16:49

• New comment mode 1:02
• Dealing with uninitialized reads 7:12
• Improved wrapper generator 9:47
• Support for GCC-extended assembly 13:29
• Improved handling of invalid function calls 16:21
• Re-categorization of MISRA rules 22:07
• Improved support for TargetLink 28:06

A two-minute introductory video.

A 15-minute introduction to finding the worst-case stack usage of tasks in embedded systems.

A short tutorial on installing the RuleChecker plugin in KEIL µVision and running RuleChecker from within your µVision environment.

An introduction to statically determining the worst-case timing behaviour of tasks in safety-critical embedded systems running on modern high-end processors.

Tool presentation and demo of static WCET analysis of an example application for the Infineon AURIX architecture.

Tool presentation and demo of hybrid WCET analysis of an example application for the Infineon AURIX architecture.