Tools and Methods for Validation and Verification as requested by ISO26262

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.
  • Vollständige Referenz
  • BibTeX
Gebhardt, M. & Kaske, A., (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..
@inproceedings{mci/Gebhardt2011,
author = {Gebhardt, Markus AND Kaske, Axel},
title = {Tools and Methods for Validation and Verification as requested by ISO26262},
booktitle = {Softwaretechnik-Trends Band 31, Heft 3},
year = {2011},
editor = {},
publisher = {Geselllschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
4-Gebhardt-Kaske-Tool-Validation.pdf306.4Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISSN: 0720-8928
Datum: 2011
Sprache: en (en)
Typ: Journal Articles
Sammlungen

Zur Langanzeige