Analyse und Verifikation von Echtzeitsystemen

Anbieter zum Thema

Precoplat Präzisions-Leiterplatten-Technik GmbH

Auf dieser Basis bestimmt SymTA/S Last, Antwortzeiten und Jitter und verifiziert die Echtzeitfähigkeit des Systems. Dabei werden alle relevanten Integrationseffekt berücksichtigt, insbesondere Unterbrechungen, Blockierungen, Hand-Over und Busarbitrierung. Darauf aufbauend können weitere Analysen durchgeführt werden, z.B. zum Vermeiden von Datenverlust oder zur Sicherung der Datenkonsistenz.

Das Explorations-Modul ist ein Optimierer, der die optimale Nutzung von Prozessorleistung und Übertragungskapazität ermöglicht. Das Sensitivitäts-Modul bestimmt die Engpässe und Reserven im System.

Timingrelevante Größen zur Laufzeit überwachen

Die Mess-Software T1 von Gliwa erlaubt es, timingrelevante Größen zur Laufzeit im realen Zielsystem zu erfassen und zu überwachen, also z.B. im Kfz. So kann T1 unter anderem die WCETs von Tasks und Runnables messen und bei Überschreitung einer frei definierbaren Grenze entsprechende Callbacks aufrufen. Die auszumessenden Objekte (Tasks, Interrupts, Funktionen, beliebige Codeabschnitte) können zur Laufzeit ausgewählt werden, ohne dass ein erneuter Compilier-, Link- und Flashvorgang erforderlich ist. Das spart Zeit und ermöglicht eine hohe Abdeckung der Software.

Die Anbindung an den PC unterstützt neben CAN und Nexus verschiedene Debugger und Standarddiagnose-Schnittstellen. Doch nicht nur für Tests und Laufzeitmessungen ist T1 ein leistungsstarkes Werkzeug. Auch und gerade beim Debugging von Timing leistet es mit verschiedenen Visualisierungsmöglichkeiten einen wichtigen Beitrag im Entwicklungsprozess.

Zusammenfassend lässt sich sagen: Von Konzeption und früher Abschätzung über Modellanalyse, Messung, Debugging und Optimierung sowie die kontinuierliche Überwachung der Entwicklung bis hin zum Verfügbarkeitsnachweis für sicherheitsrelevante Systeme wirddas Thema Timing durchgängig abgedeckt.

*Peter Gliwa ist CEO der Firma Gliwa, Daniel Kästner ist CTO von AbsInt und Marek Jersak ist CEO von Symtavision.

(ID:332678)