Diese Website verwendet Cookies, um das Angebot nutzerfreundlicher und effektiver zu machen. Bitte stimmen Sie der Verwendung von Cookies zu, um alle Funktionen der Website nutzen zu können.Weitere Informationen

26. - 28. Februar 2019 // Nürnberg, Germany

Druckansicht einstellen

Welche Informationen sollen in der Druckansicht angezeigt werden?

Druckansicht erstellen
Aussteller & Produkte embedded world 2018
Produkt vergrößern LOGO_Timing-Analyse für Echtzeitsoftware

Timing-Analyse für Echtzeitsoftware

LOGO_Timing-Analyse für Echtzeitsoftware

Timing-Analyse für Echtzeitsoftware

Infos anfordern Infos anfordern

Kontaktieren Sie uns

Bitte geben Sie Ihre persönlichen Informationen und Ihren Terminwunsch an. Gerne können Sie uns auch eine Nachricht hinterlassen.

Ihre persönlichen Informationen

Ihre Nachricht an uns

Ihr Terminwunsch während der Messe

* Pflichtfelder, die von Ihnen eingegeben werden müssen.
Senden
Ihre Nachricht wurde erfolgreich versendet.

Sie haben noch keine Anmeldedaten? Registrieren Sie sich jetzt und nutzen Sie alle Vorteile der Aussteller-Plattform.

Es ist ein Fehler aufgetreten.

Damit ein Echtzeitsystem stets korrekt funktioniert, muss sichergestellt werden, dass alle Tasks innerhalb von fest vorgegebenen Zeiten beendet werden. Dazu muss die längstmögliche Ausführungszeit der Tasks (engl. worst-case execution time, oder kurz WCET) bestimmt werden. AbsInt liefert drei Softwarewerkzeuge zur WCET-Analyse, die auf unterschiedliche Anwendungsszenarien zugeschnitten sind. Alle drei unterstützen Batch-Mode Ausführung und können in Systemen zur kontinuierlichen Integration eingesetzt werden.

aiT WCET Analyzer - Statische Laufzeitgarantien

aiT berechnet durch statische Analyse präzise obere Schranken der längstmöglichen Ausführungszeit von Tasks für zeitvorhersagbare Single- und Multicore-Prozessoren. aiT analysiert direkt ausführbare Binärdateien und berücksichtigt das Cache- und Pipeline-Verhalten des Zielprozessors.

aiT basiert auf der Technik der Abstrakten Interpretation, einer formalen Methode für semantik-basierte statische Analyse, die Soundness-Beweise ermöglicht: Es gibt keine Programmausführung, bei der die berechnete Laufzeitschranke überschritten wird.

Eine graphische Benutzeroberfläche visualisiert den kritischen Programmpfad und ermöglicht unter anderem die interaktive Untersuchung aller Cache- und Pipelinezustände an beliebigen Programmpunkten.

aiT ist für eine Vielzahl von Mikroprozessoren verfügbar, von einfachen Prozessoren wie dem Infineon C16x bis hin zu komplexen superskalaren Prozessoren wie Freescale MPC755, MPC7448 und Multicore-Prozessoren wie Freescale MPC5777M und Infineon AURIX TC27x.

TimeWeaver - Nicht-invasive Hybride WCET-Analyse

TimeWeaver kombiniert statische Pfadanalyse mit Echtzeit-Tracing auf Instruktionsebene zur Berechnungen von Abschätzungen der längstmöglichen Ausführungszeit. TimeWeaver unterstützt viele moderne Hochleistungsprozessoren, z.B. alle PowerPC Boards mit Nexus Program Trace Messages (IEEE-ISTO 5001, Class 2 und höher) oder ARM mit zyklengenauen ETM-Traces.

TimeWeaver analysiert alle möglichen Programmpfade und berechnet den längsten Pfad basierend auf den Ausführungszeiten von Trace-Segmenten der ermittelten Echtzeit-Traces. Die Trace-Information beinhaltet Interferenz-Effekte, z.B. durch Zugriffe auf gemeinsam genutzte Ressourcen von verschiedenen Cores, und wird nicht durch Probe Effects verzerrt, da keine Code-Instrumentierung benötigt wird. Die berechneten Zeitschranken erfüllen Anforderungen von Sicherheitsnormen wie der ISO-26262.

Die Analyseergebnisse beinhalten die berechnete Laufzeitschranke mit dem zeitkritischen Pfad sowie Informationen über die erreichte Trace-Abdeckung. Sie liefern einen wertvollen Beitrag zum Nachweis der Systemsicherheit, zur Optimierung der Trace-Abdeckung und zur Optimierung der Worst-Case Performance.

TimingProfiler - Abschätzung der längstmöglichen Ausführungszeit in frühen Entwicklungsphasen

TimingProfiler hilft Entwicklern beim Aufspüren von Programmteilen mit unzufriedenstellenden Ausführungszeiten und dient zur entwicklungsbegleitenden Überwachung des Timingverhaltens, insbesondere bei modellbasierter Entwicklung. TimingProfiler kann eingesetzt werden, sobald ausführbarer Code vorliegt – also bereits sehr früh in der Entwicklung, wenn Messungen an der Hardware zu kostspielig oder unmöglich sind. Die Analyse ist rein statisch. Weder Zugriff auf die physikalische Hardware noch Code-Instrumentierung werden benötigt.

TimingProfiler liest ausführbaren Binärcode und simuliert die Ausführung jeder einzelnen Task auf einer generischen Prozessorarchitektur mit einem vorgegebenen Instruktionssatz, z. B. PowerPC. Alle möglichen Ausführungspfade werden erforscht und der Worst-Case-Pfad für die Ausführungszeit identifiziert. Benutzerinteraktion ist nicht erforderlich. Das Analyseergebnis ist ein realistisches Worst-Case-Szenario, wenngleich keine Garantie, wie sie aiT bietet.

Engpässe und Schwachstellen können sehr früh in der Entwicklung erkannt und somit typische Integrationsprobleme in späteren Phasen vermieden werden.

Analyse des maximalen Stackverbrauchs

LOGO_Analyse des maximalen Stackverbrauchs

Statische Quellcodeanalyse

LOGO_Statische Quellcodeanalyse

CompCert

LOGO_CompCert

Timing-Analyse für Echtzeitsoftware ist folgenden Produktgruppen zugeordnet:

top

Der gewählte Eintrag wurde auf Ihre Merkliste gesetzt!

Wenn Sie sich registrieren, sichern Sie Ihre Merkliste dauerhaft und können alle Einträge selbst unterwegs via Laptop oder Tablett abrufen.

Hier registrieren Sie sich, um Daten der Aussteller- und Produkt-Plattform sowie des Rahmenprogramms dauerhaft zu speichern. Die Registrierung gilt nicht für den Ticket- und Aussteller-Shop.

Jetzt registrieren

Ihre Vorteile auf einen Blick

  • Vorteil Sichern Sie Ihre Merkliste dauerhaft. Nutzen Sie den sofortigen Zugriff auf gespeicherte Aussteller oder Produkte: egal wann und wo - inkl. Notizfunktion.
  • Vorteil Erhalten Sie auf Wunsch via Newsletter regelmäßig aktuelle Informationen zu neuen Ausstellern und Produkten - abgestimmt auf Ihre Interessen.
  • Vorteil Rufen Sie Ihre Merkliste auch mobil ab: Einfach einloggen und jederzeit darauf zugreifen.