Die Anzahl Software-basierter Funktionen in Fahrzeugen nimmt stetig zu. Viele der Funktionen müssen strikte zeitliche Anforderungen erfüllen. Die Software-Komponenten solcher Funktionen sind zunehmend über kommunizierende Steuergeräte verteilt. Wegen der für die Automobilindustrie typischen verteilten Entwicklung, in der Zulieferer verschiedene Steuergeräte oder Software-Komponenten liefern, müssen zeitliche Anforderungen während der Entwicklung zwischen dem Automobilhersteller und den Zulieferern koordiniert werden. Diese Arbeit stellt einen neuen Ansatz vor, um zeitliche Anforderungen von Funktionen auf Subsysteme abzubilden und während der Entwicklung Zeitbudgets für Subsysteme zu koordinieren. Basis des Ansatzes ist das in der Arbeit eingeführte Modell für zeitliche Anforderungen Timex. Die Regeln zur Abbildung von Funktions- auf Subsystemanforderungen werden mittels Prädikatenlogik formalisiert und deren Anwendung an einer typischen Automobilfunktion demonstriert.
«
Die Anzahl Software-basierter Funktionen in Fahrzeugen nimmt stetig zu. Viele der Funktionen müssen strikte zeitliche Anforderungen erfüllen. Die Software-Komponenten solcher Funktionen sind zunehmend über kommunizierende Steuergeräte verteilt. Wegen der für die Automobilindustrie typischen verteilten Entwicklung, in der Zulieferer verschiedene Steuergeräte oder Software-Komponenten liefern, müssen zeitliche Anforderungen während der Entwicklung zwischen dem Automobilhersteller und den Zuliefere...
»