Software Cost Reduction (SCR)

Ziel:

Methode und Notation zur Anforderungsspezifikation

Beschreibung:

Die SCR-Anforderungsmethode, die auf einer tabellarischen Notation beruht, ist eine formale Methode zur Spezifizierung der Anforderungen von eingebetteten Echtzeitsystemen. In SCR wird das geforderte Systemverhalten mittels einer mathematischen Beziehung zwischen monitorierten Variablen (Umgebungsquantitäten, die das System beobachtet) und kontrollierten Variablen (Umgebungsquantitäten, die das System kontrolliert) beschrieben. Um diese Beziehung präzise zu spezifizieren, verwendet SCR Bedingungen, Ereignisse und Tabellen.

Eine Bedingung ist ein Prädikat, das für eine oder mehrere der Variablen in der Spezifikation definiert wird. Ein Ereignis tritt ein, wenn eine beliebige Variable ihren Wert ändert. Die Umgebung ändert monitorierte Quantitäten, was zu Input-Ereignissen führt. Als Reaktion darauf kann das System den Wert einer oder mehrerer der kontrollierten Quantitäten ändern.

Jede SCR-Tabelle spezifiziert den erforderlichen Wert einer Variablen als mathematische Funktion, die auf den Bedingungen und Ereignissen definiert ist. Zu den Tabellen in SCR-Spezifikationen gehören Bedingungstabellen, Ereignistabellen und Zustandsübergangstabellen. Die Tabellen erleichtern die industrielle Anwendung der SCR-Methode. Es ist nicht nur so, dass Ingenieure Tabellen für relativ einfach zu verstehen und zu entwickeln halten; Tabellen können auch große Mengen von Anforderungsinformationen präzise beschreiben.

Um eine genaue und detaillierte Semantik für die SCR-Methode bereitzustellen, stellt das Anforderungsmodell das zu erstellende System als einen endlichen Zustandsautomaten dar. Danach beschreibt es die monitorierten und kontrollierten Variablen, Bedingungen, Ereignisse und anderen Konstrukte, die zusammen eine SCR-Spezifikation im Sinne eines Automaten ergeben. Das Automatenmodell stellt alle monitorierten und kontrollierten Quantitäten, sogar diejenigen, die von Natur aus kontinuierlich sind, als diskrete Variablen dar.

Diese Technik erfüllt folgende Praktiken:

Anforderungen formal überprüfen
Formal modellieren

Literaturverweis:

The SCR Method