Modelle und Traces

摘要

Komplett integrierte Versionen (3.0) seiner Toolsuites »SymTA/S« und »TraceAnalyzer« für modellbasiertes Timing-Design und tracebasierte Timing-Verifikation auf Systemebene hat Symtavision herausgebracht. Die Kombination soll die effiziente Dimensionierung, Optimierung und Verifikation von Controllern und Netzwerken ermöglichen. Besonderes Augenmerk liegt dabei auf Ressourcenauslastung, Task- und Nachrichtenlatenzen, System-Schedulability, Ende-zu-Ende-Timing, Datenkonsistenz und anderen Echtzeiteigenschaften, die ein fehlerfreies Systemverhalten gewährleisten.