Logo des Repositoriums
 
Zeitschriftenartikel

Tools and Methods for Validation and Verification as requested by ISO26262

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Journal Article

Zusatzinformation

Datum

2011

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Geselllschaft für Informatik e.V.

Zusammenfassung

The following article will have a look on methods for validation and verification of software requested for safety related systems by ISO26262 (or similar standards) and will point out how some dedicated tools from ETAS may help to fulfill and implement these. A brief introduction into the underlying technology will be given in order to discuss the aspects/use cases where these tools can be used either for simulation purpose or in combination with the final target.

Beschreibung

Gebhardt, Markus; Kaske, Axel (2011): Tools and Methods for Validation and Verification as requested by ISO26262. Softwaretechnik-Trends Band 31, Heft 3. Bonn: Geselllschaft für Informatik e.V.. PISSN: 0720-8928. Berichte aus den Fachgruppen und Arbeitskreisen

Schlagwörter

Zitierform

DOI

Tags