Videos

Zurzeit sind alle Videos nur in Englisch verfügbar.


Release 17.10: Webinar für a³

  • Floating-Lizenzen 0:31
  • Parallel laufende Analysen 3:01
  • Call-Target-Analyse für C++ 5:38
  • Type-Inheritance-Graphen 13:17
  • Herausziehen von Untergraphen 14:38
  • Hybride WCET-Analyse mit TimeWeaver 16:49

Release 17.10: Webinar für Astrée und RuleChecker

  • New comment mode 1:02
  • Arbeiten mit nichtinitialisierten Lesezugriffen 7:12
  • Verbesserter Wrapper-Generator 9:47
  • Unterstützung für GCC-erweiterten Assembler 13:29
  • Verbesserte Behandlung von ungültigen Funktionsaufrufen 16:21
  • Rekategorisierung von MISRA-Regeln 22:07
  • Verbesserte Unterstützung für TargetLink 28:06

Release 17.04: Webinar für a³

  • Kontextsensitive Hilfe 0:30
  • Neue Ansicht für AIS-Dateien 3:27
  • Statistiken zu Timing-Beiträgen einzelner Code-Abschnitte 6:13
  • AIS2-Standard-Mode und AIS1-Kompatibilitätsmode 10:29
  • Verbessertes Packen von Projekten für Supportanfragen 12:27
  • Lokal verlängerbare Call-Strings 14:12
  • Unrolling für rekursive Funktionen 16:54
  • Nichtreduzierbare Schleifen und Rekursionen 17:40
  • Unterstützung für C++-Namespaces 19:58

Release 16.10: Webinar für a³

  • Workspaces 0:03
  • Annotationen-Assistent 6:02
  • Projektdateiengenerator 16:18
  • Stack-Area-Spezifikationen 19:30
  • Jenkins-Plugin 21:28
  • Erweiterte AIS-Annotationen 25:59:
    • Sammeln von Initialisierungen 26:03
    • Annotieren von Tail-Calls 27:56
    • Neue Funktoren end und offset 28:38

Release 16.04: Webinar für a³

  • Automatische Variableninitialisierungsanalyse
  • Erweiterte Unterstützung für C++
  • Neue AIS2-Features
  • Dynamische Anzeige des Speicherverbrauchs
  • Import von ORTI-Dateien (OSEK/AUTOSAR)