Auflistung nach Schlagwort "Statische Analyse"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- TextdokumentEntwicklungsunterstützende Analysen und Tests für AUTOSAR Systeme(INFORMATIK 2017, 2017) Englisch, Norbert; Hardt, WolframDurch die Einführung des AUTOSAR Standards in der Automobilindustrie ist es möglich funktionsorientiert und hardwareunabhängig Software zu entwickeln und wieder zu verwenden. Realisiert wird das in AUTOSAR durch ein horizontales Schichtenmodell, welches die Bereiche Basissoftware, Runtime Environment und Applikation definiert. Durch diese klare Trennung hat sich eine Vielzahl von heterogenen Werkzeugketten mit unterschiedlich spezialisierten Produkten etabliert. Das führt zu neuen Herausforderungen in der Automobilindustrie, da die Softwarequalität und die Suche nach einer optimalen Konfiguration für ein Steuergerät nun immer wichtiger werden. Unser Ansatz bietet während der Entwicklung eines AUTOSAR Steuergerätes Unterstützung zur Sicherung der Softwarequalität und der Konformität zum Standard durch statische Analysen. Des Weiteren können semi-automatisch dynamische Tests generiert und auf der Zielplattform ausgeführt werden, um die Basissoftware und die Runtime Environment auf ihre Funktionstüchtigkeit zu überprüfen. Unser Ansatz greift auf AUTOSAR konforme Mechanismen zurück und ist versions-und herstellerunabhängig.
- KonferenzbeitragPrädiktive, statische Energieverbrauchsanalyse basierend auf experimentell ermittelten Energiemodellen(SE 2024 - Companion, 2024) Krebs, MaximillianDie Bestimmung des Energieverbrauchs moderner Rechensysteme stellt Entwickler:innen vor neue Herausforderungen. Bisherige Verfahren verlangen komplizierte Messaufbauten und lassen sich schwer in bestehende Workflows einbetten. Im Rahmen meiner Bachelorarbeit wurde daher ein Tool entwickelt, dass den Energieverbrauch eines Eingabeprogramms statisch approximiert und für die ausführende CPU beschreibt. Der Prozessor wird dazu mithilfe von Intel RAPL und LLVM auf seinen charakteristischen Energieverbrauch untersucht. Eine Analyse berechnet anschließend näherungsweise auf Grundlage der charakteristischen Energiewerte die Energie, die das Eingabeprogramm verbrauchen würde. Die Evaluation der bestimmten Energiewerte zeigt das Potenzial der statischen Analyse des zu erwartenden Energieverbrauchs, legt aber nahe, dass das verwendete Programmmodell noch erweitert und verbessert werden sollte.