Literaturtip: Software Validierung für Embedded Systems

[Stefan (Gast)]

Guten Tag

Wir programmieren auf Eingebetteten Systemen (STM32F4 etc.) in c und 
unterstehen dem standard 60335-1. Wir sind auf der suche nach einem 
praxisorientierten Buch, welches sich z.B an das V-Modell anlehnt. Was 
uns oftmals fehlt ist sind konkrete Beispiele wie die Ansätze des 
V-Modells umzusetzen sind.

Interessant wäre sicherlich auch mal eine komplette Dokumentation. Von 
der Anforderungsanalyse bis zu den Tests und der Abnahme.

Es gibts sehr viele Infos im Netz, aber vieleicht verwendet kann uns 
jemand einen Tip geben der schon ein paar jährchen mehr Erfahrung auf 
dem Buckel hat ;)

Für einen Tip wäre ich euch sehr Dankbar.

Freundliche Grüsse
Stefan

[A. S. (Gast)]

Stefan schrieb:
> 60335-1

V-Modell meint quasi nur, dass jeder Ebene des linken, absteigenden 
Zweigs ein Pendant zum Testen/Validieren gegenüber steht.

Ich habe beim Tüv für 61508 mal ein Zertifikat dazu gemacht und meine 
Erfahrung (und der dringende Rat der Tüvler):

Tragt nicht zu Dick auf.

Sorgt dafür, dass die Dokumente einen eindeutigen Namen haben, Datum und 
Version und dann kümmert Euch um die Inhalte.

Nichts ist schlimmer als 3 Seiten Kopfinformationen und nebenher pflegt 
jemand woanders die eigentliche Information, weil sie im Formalismus 
nicht mehr lesbar ist.

Fang mit einem Anforderungsdokument an, überlegt euch die Verifizierung 
und geht dann 1-2 Schritte in die Tiefe.

Legt einfach los. Macht es auf Eure Art. Aber Minimalistisch. Erst dann 
versteht ihr, was die Dokumente und Bücher eigentlich wollen.

Lest die für Euch relevanten Normen und versucht, deren Bergriffe für 
Euch zu verwenden. Wenn dort ein RS-Dokument gefordert ist, dann macht 
ein RS-Dokument und kein Lastenheft (und umgekehrt)