2.1 KiB
2.1 KiB
Bei der Änderung der Eingabewerte manuell einen Wert ändern um Zustandsübergang zu garantieren; zugrunde liegt die Geschwindigkeit des Prozessors selbst – diese ist erheblich größer als die Reaktionsgeschwindigkeit eines sterblichen Menschen
Zeitgesteuerte Verarbeitung
- festlegung des laufenden Tasks nach Plan durch Scheduler
- Zeitplan zur Kompilierung bereitgestellt
Berechnungsphase
- Berechnet endl. Automat
Einsatz zeitgesteuerte Verarbeitung
Kriterien
Tasks
- Synonym zu Funktionen kann man tasks aufteilen um den Zeitplan zu vereinfachen
Warum ist die Antwortzeit nicht immer gleich?
- Prozessor-Verzweigung kann zu unterschiedlichen Strecken; somit die dT
- Verarbeitungsdauer durch Prozessor kann variabel sein
Unterschied: Ausführungszeit und Antwortzeit
- Antwortzeit: Freigabepunkt bis Fertigstellung
- Ausführungszeit: Zeit für das Rechnen
Bestimmung des längsten Berechnungspfads
WCET = Worst Case Execution Time Software-Muster Endlicher Automat:
- Trennung von Eingabe, Ausgabe und Verarbeitung
Vorgehensweise anhand von Testlingen und Betrachtung
- Vollständige Anweisungsabdeckung
C_0- Jeder ausführbare Code einmal ausgeführt
- Vollständige Verzweigungsabdeckung
C_1 - Vollständige Pfadabdeckung
C_2Werkzeug im Labor kann keine vollständige Pfadabdeckung - Gegenprüfung ob die Testfolge richtig aufgestellt wurde
Wenn zu viele Testfälle existieren kann man folgendes machen:
- Ausführungszeiten der einzelnen Code-Snippets und Addierung aller um zu schauen ob diese unter der Schranke liegen.
Obere Schranke so klein wie möglich und so groß wie nötig
- Cache Zugriffe deutlich deutlich schneller und können Messungen fälschen
Praktische Bestimmung der längst möglichen Antwortzeit
Eine obere Schranke ist... anstelle von DIE obere Schranke
Schedulability
Organisatorisches
Teilaufgabe A Zustandsübergangsgraphen mitnehmen und Testfolge gleich auch
- Steuerung der Leuchtdioden und Schiebeschalter
- Port 4 danach?
- Echtzeitnachweis für die geschriebene Software
- Einhaltung der Deadline, Abdeckung usw. Dokumentieren
- Redaktion eines Berichts