Mail 0340

1996-1997-1998-1999-2000-2001-2002

Contents		Title From Date		History Content Links to V-Model

Title

From

Date

History

Content

[Anfrage eines V-Modell-Anwenders]

Sehr geehrte Damen und Herren,

Für die weiteren Betrachtungen gehe ich von folgendem Beispiel aus:
	Das Segment S bestehe aus den 3 SW-Einheiten A, B und C.
	SWE A besteht aus den Moduln Ax, Ay, Az.
	SWE B besteht aus den Moduln Bx.
	SWE C besteht aus den Moduln Cx.
	Das Modul Ax habe die Kritikalität "hoch", alle anderen Elemente
	sollen Kritikalität "niedrig" besitzen.

Gem. der Vererbungsregeln des AU250 muß auch S die Kritikalität "hoch"
erhalten.
Sind nun den Kritikalitätsstufen gem. ITSEC die Qualitätsstufen Q1 bis
Q7 zugeordnet, so hätte das zur Folge, daß S mindestens die Q-Stufe Q6
hat. Somit müßte S in seiner Gesamtheit formal analysiert werden.

Ist diese meine Überlegung richtig?
Oder ist es eher so, daß nur der "kritische Pfad" (also alle Wege, die
zur Ansteuerung des Moduls Ax führen) mit Q6 belegt wird?

In einem komplexen Segment kann die formale Analyse unmöglich oder zumindest
nicht mit vertretbarem Aufwand durchführbar sein. Es ist mir schwer vorstellbar,
daß eine so umfassende Prüfung für ein gesamtes System erfolgen soll. Zudem wäre 
dadurch der Einsatz von kommerzieller Software nahezu ausgeschlossen, da diese,
wie die tägliche Arbeit mit ihnen belegt, nicht mit Q6 zertifiziert sind.

Schon jetzt bedanke ich mich für die Beantwortung meiner Fragen.
MfG

Links to V-Model

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster